CCF推荐的计算机科学理论领域期刊与会议分级列表

CCF推荐计算机科学理论领域国际学术期刊分级结果

点击期刊名称可以查看期刊JCR分区等其它信息

期刊简称 期刊全称 出版社 所属学科 CCF分级
TIT IEEE Transactions on Information Theory IEEE 计算机科学理论 A
IANDC Information and Computation Elsevier 计算机科学理论 A
SICOMP SIAM Journal on Computing SIAM 计算机科学理论 A
TALG ACM Transactions on Algorithms ACM 计算机科学理论 B
TOCL ACM Transactions on Computational Logic ACM 计算机科学理论 B
TOMS ACM Transactions on Mathematical Software ACM 计算机科学理论 B
Algorithmica Algorithmica Springer 计算机科学理论 B
CC Computational Complexity Springer 计算机科学理论 B
FAC Formal Aspects of Computing Springer 计算机科学理论 B
FMSD Formal Methods in System Design Springer 计算机科学理论 B
INFORMS INFORMS Journal on Computing INFORMS 计算机科学理论 B
JCSS Journal of Computer and System Sciences Elsevier 计算机科学理论 B
JGO Journal of Global Optimization Springer 计算机科学理论 B
JSC Journal of Symbolic Computation Elsevier 计算机科学理论 B
MSCS Mathematical Structures in Computer Science Cambridge University Press 计算机科学理论 B
TCS Theoretical Computer Science Elsevier 计算机科学理论 B
ACTA Acta Informatica Springer 计算机科学理论 C
APAL Annals of Pure and Applied Logic Elsevier 计算机科学理论 C
DAM Discrete Applied Mathematics Elsevier 计算机科学理论 C
FUIN Fundamenta Informaticae IOS Press 计算机科学理论 C
LISP Higher-Order and Symbolic Computation Springer 计算机科学理论 C
IPL Information Processing Letters Elsevier 计算机科学理论 C
JCOMPLEXITY Journal of Complexity Elsevier 计算机科学理论 C
LOGCOM Journal of Logic and Computation Oxford University Press 计算机科学理论 C
JSL Journal of Symbolic Logic Association for Symbolic Logic 计算机科学理论 C
LMCS Logical Methods in Computer Science LMCS 计算机科学理论 C
SIDMA SIAM Journal on Discrete Mathematics SIAM 计算机科学理论 C
TeoCS Theory of Computing Systems Springer 计算机科学理论 C

CCF推荐计算机科学理论领域国际学术会议分级结果
会议简称 会议全称 出版社 所属学科 CCF分级
STOC ACM Symposium on the Theory of Computing ACM 计算机科学理论 A
SODA ACM-SIAM Symposium on Discrete Algorithms SIAM 计算机科学理论 A
CAV Computer Aided Verification Springer 计算机科学理论 A
FOCS IEEE Annual Symposium on Foundations of Computer Science IEEE 计算机科学理论 A
LICS IEEE Symposium on Logic in Computer Science IEEE 计算机科学理论 A
SoCG ACM Symposium on Computational Geometry ACM 计算机科学理论 B
ESA European Symposium on Algorithms Springer 计算机科学理论 B
CCC IEEE Conference on Computational Complexity IEEE 计算机科学理论 B
ICALP International Colloquium on Automata, Languages and Programming Springer 计算机科学理论 B
CADE/IJCAR International Conference on Automated Deduction/International Joint Conference on Automated Reasoning Springer 计算机科学理论 B
CONCUR International Conference on Concurrency Theory Springer 计算机科学理论 B
HSCC International Conference on Hybrid Systems: Computation and Control Springer and ACM 计算机科学理论 B
SAT Theory and Applications of Satisfiability Testing Springer 计算机科学理论 B
CSL Computer Science Logic Springer 计算机科学理论 C
FMCAD Formal Methods in Computer-Aided Design ACM 计算机科学理论 C
FSTTCS Foundations of Software Technology and Theoretical Computer Science Indian Association for Research in Computing Science 计算机科学理论 C
DSAA IEEE International Conference on Data Science and Advanced Analytics IEEE 计算机科学理论 C
ICTAC International Colloquium on Theoretical Aspects of Computing Springer 计算机科学理论 C
IPCO International Conference on Integer Programming and Combinatorial Optimization Springer 计算机科学理论 C
RTA International Conference on Rewriting Techniques and Applications Springer 计算机科学理论 C
ISAAC International Symposium on Algorithms and Computation Springer 计算机科学理论 C
MFCS Mathematical Foundations of Computer Science Springer 计算机科学理论 C
STACS Symposium on Theoretical Aspects of Computer Springer 计算机科学理论 C