24小时热门版块排行榜

返回列表

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

zchwyl2011

新虫 (初入文坛)

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

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

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

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

回复此楼

» 猜你喜欢

孩子确诊有中度注意力缺陷已经有9人回复
2025冷门绝学什么时候出结果已经有3人回复
天津工业大学郑柳春团队欢迎化学化工、高分子化学或有机合成方向的博士生和硕士生加入已经有4人回复
康复大学泰山学者周祺惠团队招收博士研究生已经有6人回复
AI论文写作工具：是科研加速器还是学术作弊器？已经有3人回复
2026博士申请-功能高分子，水凝胶方向已经有6人回复
论文投稿，期刊推荐已经有4人回复
硕士和导师闹得不愉快已经有13人回复
请问2026国家基金面上项目会启动申2停1吗已经有5人回复
同一篇文章，用不同账号投稿对编辑决定是否送审有没有影响？已经有3人回复

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

» 抢金币啦！回帖就可以得到:
查看全部散金贴

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

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

lvyupku

木虫 (著名写手)

应助: 2 (幼儿园)
金币: 12177.8
帖子: 2348
在线: 337.4小时
虫号: 2696149

★
小木虫: 金币+0.5, 给个红包，谢谢回帖

非常难，我就是搞formal methods的phd，羡慕身边搞information retrieval和computer graphics的，一年发个3、4篇，我们组的两年能搞1篇SCI就已经很牛了。我们这公认好点的期刊有formal aspects of computing，theoretical computer science，和science of computer programming