欢迎订阅本专栏:《CCF会议期刊推荐》
专栏介绍: 中国计算机学会(CCF)2019年发布了推荐的国际学术会议、期刊目录,共有:计算机体系结构/并行与分布计算/存储系统、计算机网络、网络与信息安全、软件工程/系统软件/程序设计语言、数据库/数据挖掘/内容检索、计算机科学理论、计算机图形学与多媒体 、人工智能、人机交互与普适计算、交叉/综合/新兴等10个分类。
本专栏收集、整理了2019年版(后续会更新2023年版)CCF推荐的国际学术会议期刊列表,欢迎 人工智能、信息安全、计算机、软件工程等相关专业 的小伙们 一键三连(收藏❤️、点赞👍、评论⭐) ,欢迎大家👉👉👉【订阅专栏】👈👈👈
CCF推荐国际学术会议、期刊列表:
CCF全称是China Computer Federation,中文意为:中国计算机学会,前身是中国电子学会计算机专业委员会,成立于1962年。CCF每年会发布一系列高水平期刊目录,从而指导科研工作者选择投稿期刊。值得注意的是,CCF推荐的期刊并非全部是SCI索引收录期刊,因此在投稿的过程中还需要仔细甄别。并且CCF推荐的期刊也并非都拥有很高的分区和影响因子。因此,在投稿的时候还需要自己仔细甄别选择。然而,CCF推荐期刊纵使没有较高的分区和影响因子,其学术水平也一定是较高的。
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/dfa65e6e277cc5d490abcebe8e792630.jpeg#pic_center)
导读:
CCF全称是China Computer Federation,中文意为:中国计算机学会,前身是中国电子学会计算机专业委员会,成立于1962年。CCF每年会发布一系列高水平期刊目录,从而指导科研工作者选择投稿期刊。值得注意的是,CCF推荐的期刊并非全部是SCI索引收录期刊,因此在投稿的过程中还需要仔细甄别。并且CCF推荐的期刊也并非都拥有很高的分区和影响因子。因此,在投稿的时候还需要自己仔细甄别选择。然而,CCF推荐期刊纵使没有较高的分区和影响因子,其学术水平也一定是较高的。
中国计算机学会推荐国际学术期刊
(计算机科学理论)
一、A类
序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
---|
1 | TIT | IEEE Transactions on Information Theory | IEEE | http://dblp.uni-trier.de/db/journals/tit/ |
2 | IANDC | Information and Computation | Elsevier | http://dblp.uni-trier.de/db/journals/iandc/ |
3 | SICOMP | SIAM Journal on Computing | SIAM | http://dblp.uni-trier.de/db/journals/siamcomp/ |
二、B类
序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
---|
1 | TALG | ACM Transactions on Algorithms | ACM | http://dblp.uni-trier.de/db/journals/talg/ |
2 | TOCL | ACM Transactions on Computational Logic | ACM | http://dblp.uni-trier.de/db/journals/tocl/ |
3 | TOMS | ACM Transactions on Mathematical Software | ACM | http://dblp.uni-trier.de/db/journals/toms/ |
4 | Algorithmica | Algorithmica | Springer | http://dblp.uni-trier.de/db/journals/algorithmica/ |
5 | CC | Computational Complexity | Springer | http://dblp.uni-trier.de/db/journals/cc/ |
6 | FAC | Formal Aspects of Computing | Springer | http://dblp.uni-trier.de/db/journals/fac/ |
7 | FMSD | Formal Methods in System Design | Springer | http://dblp.uni-trier.de/db/journals/fmsd/ |
8 | INFORMS | INFORMS Journal on Computing | INFORMS | http://dblp.uni-trier.de/db/journals/informs/ |
9 | JCSS | Journal of Computer and System Sciences | Elsevier | http://dblp.uni-trier.de/db/journals/jcss/ |
10 | JGO | Journal of Global Optimization | Springer | http://dblp.uni-trier.de/db/journals/jgo/ |
11 | JSC | Journal of Symbolic Computation | Elsevier | http://dblp.uni-trier.de/db/journals/jsc/ |
12 | MSCS | Mathematical Structures in Computer Science | Cambridge University Press | http://dblp.uni-trier.de/db/journals/mscs/ |
13 | TCS | Theoretical Computer Science | Elsevier | http://dblp.uni-trier.de/db/journals/tcs/ |
三、C类
序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
---|
1 | ACTA | Acta Informatica | Springer | http://dblp.uni-trier.de/db/journals/acta/ |
2 | APAL | Annals of Pure and Applied Logic | Elsevier | http://dblp.uni-trier.de/db/journals/apal/ |
3 | DAM | Discrete Applied Mathematics | Elsevier | http://dblp.uni-trier.de/db/journals/dam/ |
4 | FUIN | Fundamenta Informaticae | IOS Press | http://dblp.uni-trier.de/db/journals/fuin/ |
5 | LISP | Higher-Order and Symbolic Computation | Springer | http://dblp.uni-trier.de/db/journals/lisp/ |
6 | IPL | Information Processing Letters | Elsevier | http://dblp.uni-trier.de/db/journals/ipl/ |
7 | JCOMPLEXITY | Journal of Complexity | Elsevier | http://dblp.uni-trier.de/db/journals/jc/ |
8 | LOGCOM | Journal of Logic and Computation | Oxford University Press | http://dblp.uni-trier.de/db/journals/logcom/ |
9 | JSL | Journal of Symbolic Logic | Association for Symbolic Logic | http://dblp.uni-trier.de/db/journals/jsyml/ |
10 | LMCS | Logical Methods in Computer Science | LMCS | http://dblp.uni-trier.de/db/journals/lmcs/ |
11 | SIDMA | SIAM Journal on Discrete Mathematics | SIAM | http://dblp.uni-trier.de/db/journals/siamdm/ |
12 | | Theory of Computing Systems | Springer | http://dblp.uni-trier.de/db/journals/mst/ |
中国计算机学会推荐国际学术会议
(计算机科学理论)
一、A类
序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
---|
1 | STOC | ACM Symposium on the Theory of Computing | ACM | http://dblp.uni-trier.de/db/conf/stoc/ |
2 | SODA | ACM-SIAM Symposium on Discrete Algorithms | SIAM | http://dblp.uni-trier.de/db/conf/soda/ |
3 | CAV | Computer Aided Verification | Springer | http://dblp.uni-trier.de/db/conf/cav/ |
4 | FOCS | IEEE Annual Symposium on Foundations of Computer Science | IEEE | http://dblp.uni-trier.de/db/conf/focs/ |
5 | LICS | IEEE Symposium on Logic in Computer Science | IEEE | http://dblp.uni-trier.de/db/conf/lics/ |
二、B类
序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
---|
1 | SoCG | ACM Symposium on Computational Geometry | ACM | http://dblp.uni-trier.de/db/conf/compgeom/ |
2 | ESA | European Symposium on Algorithms | Springer | http://dblp.uni-trier.de/db/conf/esa/ |
3 | CCC | IEEE Conference on Computational Complexity | IEEE | http://dblp.uni-trier.de/db/conf/coco/ |
4 | ICALP | International Colloquium on Automata, Languages and Programming | Springer | http://dblp.uni-trier.de/db/conf/icalp/ |
5 | CADE/IJCAR | International Conference on Automated Deduction/International Joint Conference on Automated Reasoning | Springer | http://dblp.uni-trier.de/db/conf/cade/ |
6 | CONCUR | International Conference on Concurrency Theory | Springer | http://dblp.uni-trier.de/db/conf/concur/ |
7 | HSCC | International Conference on Hybrid Systems: Computation and Control | Springer and ACM | http://dblp.uni-trier.de/db/conf/hybrid/ |
8 | SAT | Theory and Applications of Satisfiability Testing | Springer | http://dblp.uni-trier.de/db/conf/sat/ |
三、C类
序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
---|
1 | CSL | Computer Science Logic | Springer | http://dblp.uni-trier.de/db/conf/csl/ |
2 | FMCAD | Formal Methods in Computer-Aided Design | ACM | http://dblp.uni-trier.de/db/conf/fmcad/ |
3 | FSTTCS | Foundations of Software Technology and Theoretical Computer Science | Indian Association for Research in Computing Science | http://dblp.uni-trier.de/db/conf/fsttcs/ |
4 | DSAA | IEEE International Conference on Data Science and Advanced Analytics | IEEE | https://dblp.uni-trier.de/db/conf/dsaa/ |
5 | ICTAC | International Colloquium on Theoretical Aspects of Computing | Springer | http://dblp.uni-trier.de/db/conf/ictac/ |
6 | IPCO | International Conference on Integer Programming and Combinatorial Optimization | Springer | http://dblp.uni-trier.de/db/conf/ipco/ |
7 | RTA | International Conference on Rewriting Techniques and Applications | Springer | http://dblp.uni-trier.de/db/conf/rta/ |
8 | ISAAC | International Symposium on Algorithms and Computation | Springer | http://dblp.uni-trier.de/db/conf/isaac/ |
9 | MFCS | Mathematical Foundations of Computer Science | Springer | http://dblp.uni-trier.de/db/conf/mfcs/ |
10 | STACS | Symposium on Theoretical Aspects of Computer Science | Springer | http://dblp.uni-trier.de/db/conf/stacs/ |