|
|
[交流]
计算机方向研究形式化方法是不是比较难出sci文章啊？
最近对形式化方法有点兴趣，比如模型检测，定理证明器等。但是查了国内几个牛人在这方面的文章，发现同样都是牛人，与研究机器学习和无线传感网络的牛人比起来，他们的文章不值一提，都没几篇sci，更不用谈ieee /acm transaction了。
听朋友还讲了一个故事，有一位教授研究了大概十年左右的形式化方法，因为实在没什么拿得出手的成果，所以就转到无线传感器网络了，结果三年搞下来，发了好几篇ieee /acm transaction。
所以我想请教研究形式化方法是不是发sci比较难？在现在这体制下不得不考虑这个因素啊，否则考核就麻烦了。 |
» 猜你喜欢
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有4人回复
-
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有6人回复
-
售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急
已经有6人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有8人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有8人回复
-
售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急
已经有10人回复
-
2026国自然函评费到账
已经有11人回复
-
售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有3人回复
» 本主题相关价值贴推荐，对您同样有帮助:
» 抢金币啦！回帖就可以得到:
查看全部散金贴
|
回复此楼
2026国自然函评费到账
+11
40+4