24小时热门版块排行榜

>论坛更新日志 (2647)
>虫友互识 (209)
>导师招生 (192)
>文献求助 (137)
>休闲灌水 (76)
>硕博家园 (64)
>考研 (47)
>论文投稿 (45)
>基金申请 (36)
>考博 (35)
>招聘信息布告栏 (28)
>博后之家 (27)
>无机非金属 (25)
>教师之家 (22)
>找工作 (21)
>公派出国 (18)

返回列表

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

zchwyl2011

新虫 (初入文坛)

应助: 0 (幼儿园)
金币: 57
帖子: 7
在线: 3.1小时
虫号: 1361638

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

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

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

回复此楼

» 猜你喜欢

体制内长辈说体制内绝大部分一辈子在底层，如同你们一样大部分普通教师忙且收入低已经有19人回复
【博士招生】太原理工大学2026化工博士已经有8人回复
280求调剂已经有4人回复
面上可以超过30页吧？已经有12人回复
什么是人一生最重要的？已经有6人回复
为什么中国大学工科教授们水了那么多所谓的顶会顶刊，但还是做不出宇树机器人？已经有11人回复
网上报道青年教师午睡中猝死、熬夜猝死的越来越多，主要哪些原因引起的？已经有9人回复
版面费该交吗已经有15人回复

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

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

查看全部散金贴

1楼 2011-11-19 21:07:14

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

abc22cba

铁杆木虫 (著名写手)

应助: 12 (小学生)
金币: 7204.5
帖子: 1189
在线: 880.3小时
虫号: 1073767

★
小木虫(金币+0.5):给个红包，谢谢回帖
zchwyl2011(金币+2): 2011-11-21 21:48:40

引用回帖:

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

形式化是计算机理论领域中比较好发高层次论文的，你去看看《中国科学》、《计算机学报》、《计算机研究与发展》便知。