| 查看: 6051 | 回复: 29 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[交流]
计算机方向研究形式化方法是不是比较难出sci文章啊？
|
|||
|
最近对形式化方法有点兴趣，比如模型检测，定理证明器等。但是查了国内几个牛人在这方面的文章，发现同样都是牛人，与研究机器学习和无线传感网络的牛人比起来，他们的文章不值一提，都没几篇sci，更不用谈ieee /acm transaction了。 听朋友还讲了一个故事，有一位教授研究了大概十年左右的形式化方法，因为实在没什么拿得出手的成果，所以就转到无线传感器网络了，结果三年搞下来，发了好几篇ieee /acm transaction。 所以我想请教研究形式化方法是不是发sci比较难？在现在这体制下不得不考虑这个因素啊，否则考核就麻烦了。 |
回复此楼» 猜你喜欢
» 本主题相关价值贴推荐，对您同样有帮助:
国家自然科学基金最新申报趋势领会与感想-特别是选题与创新
已经有33人回复
- 【求助/交流】SCI从入门到精通（转载）
已经有80人回复
- 管理理论每日谈更新
已经有65人回复
- 哪个专业方向投‘SCI最容易啊？？？？？？？？
已经有46人回复
- SCI论文从入门到精通（第一版）
已经有93人回复
3楼2011-11-19 23:00:04
2楼2011-11-19 22:55:39
5楼2011-11-20 22:30:47
6楼2011-11-20 22:57:08