1.中国计算机学会推荐国际【学术期刊】
计算机科学理论
(1)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/ |
(2)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/ |
(3)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/ |
2.中国计算机学会推荐国际【学术会议】
计算机科学理论
(1)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/ |
(2)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/ |
(3)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/ |
参考资料:中国计算机学会推荐国际学术会议和期刊目录(2019)