24小时热门版块排行榜    

查看: 5657  |  回复: 29
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

zchwyl2011

新虫 (初入文坛)


[交流] 计算机方向研究形式化方法是不是比较难出sci文章啊?

最近对形式化方法有点兴趣,比如模型检测,定理证明器等。但是查了国内几个牛人在这方面的文章,发现同样都是牛人,与研究机器学习和无线传感网络的牛人比起来,他们的文章不值一提,都没几篇sci,更不用谈ieee /acm transaction了。
听朋友还讲了一个故事,有一位教授研究了大概十年左右的形式化方法,因为实在没什么拿得出手的成果,所以就转到无线传感器网络了,结果三年搞下来,发了好几篇ieee /acm transaction。

所以我想请教研究形式化方法是不是发sci比较难?在现在这体制下不得不考虑这个因素啊,否则考核就麻烦了。
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

» 抢金币啦!回帖就可以得到:

查看全部散金贴

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

abc22cba

铁杆木虫 (著名写手)



小木虫(金币+0.5):给个红包,谢谢回帖
zchwyl2011(金币+2): 2011-11-21 21:48:40
引用回帖:
1楼: Originally posted by zchwyl2011 at 2011-11-19 21:07:14:
最近对形式化方法有点兴趣,比如模型检测,定理证明器等。但是查了国内几个牛人在这方面的文章,发现同样都是牛人,与研究机器学习和无线传感网络的牛人比起来,他们的文章不值一提,都没几篇sci,更不用谈ieee / ...

形式化是计算机理论领域中比较好发高层次论文的,你去看看《中国科学》、《计算机学报》、《计算机研究与发展》便知。
7楼2011-11-20 23:09:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 30 个回答

xinghe010

木虫 (正式写手)


★ ★
小木虫(金币+0.5):给个红包,谢谢回帖
秋天白云(金币+1): 鼓励交流! 2011-11-19 23:35:45
zchwyl2011(金币+2): 2011-11-21 21:48:01
这个方向很难发文章的,适合的杂志比较少,都是偏理论基础的,譬如说逻辑,推理等。
2楼2011-11-19 22:55:39
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

wu_tao0706

至尊木虫 (著名写手)


★ ★
小木虫(金币+0.5):给个红包,谢谢回帖
秋天白云(金币+1): 鼓励交流! 2011-11-19 23:35:51
zchwyl2011(金币+2): 2011-11-21 21:48:11
很难,但是一旦找到门路,文章哗哗啦啦的出。
好像清华大学的应明生。
3楼2011-11-19 23:00:04
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

小木虫(金币+0.5):给个红包,谢谢回帖
确实不好发,看导师的研究方向了~~
5楼2011-11-20 22:30:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 哪位老哥知道今年的国自然具体哪一天放榜? +16 Ldrop2023 2026-08-13 20/1000 2026-08-20 11:07 by xskun
[基金申请] 言之凿凿,8月21号(明天)放榜 +12 医学老男孩 2026-08-20 14/700 2026-08-20 10:53 by ran2233
[基金申请] 只有每年这种时候来逛逛小木虫 +21 yaoyewhu2008 2026-08-20 21/1050 2026-08-20 10:37 by Vivilian
[基金申请] 欢迎发来filecode的Mz6后的代码验证其规律 +55 医学老男孩 2026-08-13 125/6250 2026-08-20 09:02 by 医学老男孩
[基金申请] 今天基金会出结果吗?20260819 +14 kkkl_v 2026-08-19 15/750 2026-08-20 08:21 by sunzitan
[基金申请] filecode,4个jtjc了 +11 ziyangfang 2026-08-19 13/650 2026-08-19 21:28 by aasahr
[教师之家] 为什么余额宝的年化利率越来越低?主要原因有哪些? +5 瞬息宇宙 2026-08-15 5/250 2026-08-19 20:23 by super2002521
[基金申请] 今天放榜吗? +14 布布和一二 2026-08-19 15/750 2026-08-19 18:07 by gltch
[基金申请] filecode=后面第一个是大写字母 +10 wangze12014 2026-08-14 12/600 2026-08-19 16:56 by 苦难博士
[基金申请] 2027广东省杰青 +4 奶牛小黑 2026-08-15 10/500 2026-08-19 11:02 by wanfengnew
[基金申请] 朋友圈看到的 +6 wangzilk 2026-08-18 8/400 2026-08-19 10:55 by Haru815
[基金申请] 什么时候开奖? +6 CrisMessi 2026-08-18 6/300 2026-08-19 08:06 by Equinoxhua
[论文投稿] 投稿咨询 +4 wwm09 2026-08-17 6/300 2026-08-18 15:36 by wwm09
[基金申请] 时间戳又变了8-15 +14 archvillain 2026-08-15 26/1300 2026-08-18 13:37 by phantomgost
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
[基金申请] 93BebMhtakh前后11位开头都是大写 +4 且听虎啸 2026-08-17 5/250 2026-08-18 00:49 by 蔡棒棒菂
[基金申请] 感觉是下周放榜了 +6 angus9576 2026-08-17 11/550 2026-08-17 23:57 by angus9576
[基金申请] 今天系统多次维护,明天很可能放榜! +8 zju2000 2026-08-16 9/450 2026-08-17 12:20 by lmz0216
[精细化工] 招聘 金属平磨液,抛光液研发工程师 +3 小天0311 2026-08-14 3/150 2026-08-16 07:31 by H9PLUS
[基金申请] 各位道友,我要去昆明玩几天,回来见。 +7 Tide man 2026-08-14 8/400 2026-08-15 01:11 by arzu_hma
信息提示
请填处理意见