应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

Znn3bq.jpeg
小木虫论坛-学术科研互动平台 » 学术交流区 » 论文投稿 » 交流 » 计算机方向研究形式化方法是不是比较难出sci文章啊？
51/1返回列表
查看: 4874  |  回复: 29
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

zchwyl2011

新虫 (初入文坛)

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

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

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

» 猜你喜欢

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

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

查看全部散金贴
1楼 2011-11-19 21:07:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lvyupku

木虫 (著名写手)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
非常难，我就是搞formal methods的phd，羡慕身边搞information retrieval和computer graphics的，一年发个3、4篇，我们组的两年能搞1篇SCI就已经很牛了。我们这公认好点的期刊有formal aspects of computing，theoretical computer science，和science of computer programming
赞一下 回复此楼
22楼2013-11-13 02:10:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 30 个回答

xinghe010

木虫 (正式写手)
★ ★
小木虫(金币+0.5):给个红包，谢谢回帖
秋天白云(金币+1): 鼓励交流！ 2011-11-19 23:35:45
zchwyl2011(金币+2): 2011-11-21 21:48:01
这个方向很难发文章的，适合的杂志比较少，都是偏理论基础的，譬如说逻辑，推理等。
赞一下(2人) 回复此楼
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
很难，但是一旦找到门路，文章哗哗啦啦的出。
好像清华大学的应明生。
赞一下(2人) 回复此楼
3楼2011-11-19 23:00:04
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

imdiablo1

至尊木虫 (知名作家)
★
小木虫(金币+0.5):给个红包，谢谢回帖
确实不好发，看导师的研究方向了~~
赞一下(1人) 回复此楼
5楼2011-11-20 22:30:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 30 个回答
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 国自然面上和省基金B类撒花 +14 花田半亩～白 2026-04-21 14/700 2026-04-22 21:36 by sw_as1234
[考研] 有没有学校收留 +3 蒋昌鹏qtj 2026-04-20 3/150 2026-04-22 20:25 by 学员JpLReM
[考研] 312求调剂 +3 山河似你温柔 2026-04-22 3/150 2026-04-22 20:17 by 学员JpLReM
[考博] 华师大读博 +3 xq83 2026-04-22 5/250 2026-04-22 10:42 by xq83
[教师之家] 又一批高校组建人工智能学院 师资行吗 不是骗人吗 +5 yexuqing 2026-04-19 5/250 2026-04-22 10:01 by easeheart
[论文投稿] 急需审稿人！！！ +3 陆小果画大饼 2026-04-21 3/150 2026-04-21 23:54 by jzy_123456
[考博] 申博/考博 +4 啃面包的小书虫 2026-04-17 8/400 2026-04-21 16:26 by 啃面包的小书虫
[考研] 295分求调剂 +6 ?要上岸? 2026-04-17 6/300 2026-04-21 08:18 by Equinoxhua
[考研] 一志愿中科大材料与化工，353分还有调剂学校吗 +11 否极泰来2026 2026-04-15 13/650 2026-04-20 22:31 by Equinoxhua
[考研] 085600材料与化工调剂 5+3 孜孜不倦2002 2026-04-19 6/300 2026-04-20 21:25 by babero
[考博] 申博 +3 Xyyx. 2026-04-18 3/150 2026-04-20 10:44 by YuY66
[考博] 湖南大学刘巧玲课题组2026年第二批次博士研究生招生信息 +3 南风观火 2026-04-18 5/250 2026-04-20 10:13 by 南风观火
[考研] 求计算机方向调剂 +3 Toffee2 2026-04-16 6/300 2026-04-19 22:37 by ll叶
[考研] 294求调剂 +8 淡然654321 2026-04-17 9/450 2026-04-19 19:51 by Equinoxhua
[考研] 304求调剂 +8 castLight 2026-04-16 8/400 2026-04-19 17:14 by 中豫男
[考研] 求调剂 +10 小聂爱学习 2026-04-16 12/600 2026-04-19 16:51 by 中豫男
[考研] 接受任何调剂 +6 也就是栗子 2026-04-17 7/350 2026-04-18 17:20 by 涵竹刘
[考研] 260求调剂 +4 Zyt1314520.. 2026-04-17 5/250 2026-04-18 08:28 by babysonlkd
[有机交流] 二苯甲酮酸类衍生物 50+3 小白爱主人 2026-04-17 6/300 2026-04-17 18:47 by kf2781974
[考研] 322求调剂 +6 tekuzu 2026-04-17 6/300 2026-04-17 13:48 by Espannnnnol
信息提示
关闭
请填处理意见
关闭