博士生毕业要求至少达到下列条件之一(要求论文第一或通讯编辑,所有论文均为长文,short paper、tool paper、demo、poster paper均不予计算,同一条件中论文工作互不相同,例如期刊论文作为会议论文的扩充版本,则两者只能计入其一):

1. 在Nature、Science以及Nature子系列等顶级期刊综合版上发表或录用学术论文1篇;
2. A组期刊/会议发表或录用论文1篇,加任意所列出期刊或会议论文2篇;
3. B组期刊/会议发表或录用论文1篇,加任意所列出期刊或会议论文3篇;
4. C组期刊/会议发表或录用论文2篇,加任意所列出期刊或会议论文4篇。

硕士生毕业要求至少达到下列条件之一(可为非第一或通讯编辑):

1. A/B组中所列任意期刊/会议发表或录用论文1篇;
2. C组期刊/会议发表或录用论文2篇。

此处所列期刊/会议及其分组为根据本人研究方向,参考CCF推荐会议及期刊、澳大利亚CORE Conference and Journal Ranking所定,不具有任何推广意义。学生亦可根据论文研究方向选择其他期刊或会议(可参考CCF推荐会议及期刊),但需事先经导师本人确认与所列出期刊或会议水平相同。CCF推荐的其他会议和期刊若不在下面列表之中,可以对应等同视之。

Journal:

Category A:

IEEE Transactions on Software Engineering, IEEE
ACM Transactions on Programming Languages and Systems, ACM
ACM Transactions on Software Engineering and Methodology, ACM
Information and Computation, ELSEVIER
ACM Transactions on Embedded Computing Systems, ACM
ACM Transactions on Autonomous and Adaptive Systems, ACM
Formal Methods in System Design, Springer
Journal of the ACM, ACM

Category B:

Theoretical Computer Science, ELSEVIER
Science of Computer Programming, ELSEVIER
Formal Aspects of Computing, Springer
Automated Software Engineering, Springer
IEEE Transactions on Services Computing, IEEE
Journal of Systems and Software, ELSEVIER
Information and Software Technology, ELSEVIER
Software and Systems Modeling, Springer
Software Testing, Verification and Reliability, Wiley
Mathematical Structures in Computer Science, Cambridge University Press

Category C:

ACM SIGPLAN Notices, ACM
ACTA Informatica, Springer
Information Processing Letters, ELSEVIER
Journal of Universal Computer Science, TU GRAZ
Fundamenta Informaticae, IOS Press
Simulation Modelling Practice and Theory, ELSEVIER
Frontiers of Computer Science, Springer & Higher Education Press
Journal of Computer Science and Technology, Science Press
Science China Information Sciences, Science in China Press

Conference:

Category A:

AAAI(National Conference of the American Association for Artificial Intelligence
AAMAS(International Conference on Autonomous Agents and Multiagent Systems
ASE (International Conference on Automated Software Engineering)
CAV (International Conference on Computer Aided Verification)
ESEC/FSE或SIGSOFT/FSE (joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering)
FM (International Symposium on Formal Methods)
ICSE (International Conference on Software Engineering)
IJCAI (International Joint Conference on Artificial Intelligence)
LICS (IEEE Symposium on Logic in Computer Science)
OOPSLA (International Conference on Object-Oriented Programming Systems, Languages and Applications)
PLDI (ACM SIGPLAN Conference on Programming Language Design and Implementation)
POPL (Symposium on Principles of Programming Languages)

Category B:

ATVA (International Symposium on Automated Technology for Verification and Analysis)
CBSE (International Symposium on Component-Based Software Engineering)
CONCUR (International Conference on Concurrency Theory)
Coordination (International Conference on Coordination Models and Languages)
ECOOP (European Conference on Object-Oriented Programming)
ETAPS (European Joint Conference on Theory And Practice of Software, ESOP,FASE,TACAS,CC,FoSSaCS)
HSCC (International Conference on Hybrid Systems: Computation and Control)
ICALP (International Colloquium on Automata, Languages and Programming)
ICCPS (International Conference on Cyber-Physical Systems)
ICSOC (International Conference on Service Oriented Computing)
ISSTA (International Symposium on Software Testing and Analysis)
MODELS (International Conference on Model-Driven Engineering Languages and Systems)
RTSS (Real Time Systems Symposium)
SAS (Static Analysis Symposium)
VMCAI (International Conference on Verification, Model Checking and Abstract Interpretation)

Category C:

ACSD (Application of Concurrency to System Design )
APLAS (Asian Symposium on Programming Languages and Systems)
APSEC (Asia-Pacific Software Engineering Conference)
CALCO (International Conference on Algebra and Coalgebra in Computer Science)
CMCS (International Workshop on Coalgebraic Methods in Computer Science)
COMPSAC (International Computer Software and Applications Conference)
FACS (International Symposium on Formal Aspects of Component Software)
ICECCS (IEEE International Conference on Engineering of Complex Computer Systems)
ICFEM (International Conference on Formal Engineering Methods)
ICST (The IEEE International Conference on Software Testing, Verification and Validation)
ICTAC (International Colloquium on Theoretical Aspects of Computing)
IFM (International Conference on Integrated Formal Methods)
LOPSTR (International Symposium on Logic-based Program Synthesis and Transformation)
MPC (International Conference on Mathematics of Program Construction)
QSIC (International Conference on Quality Software)
SAC (ACM Symposium on Applied Computing)
SEFM (International Conference on Software Engineering and Formal Methods)
SEKE (International Conference on Software Engineering and Knowledge Engineering)
SETTA (Symposium on Dependable Software Engineering: Theories, Tools and Applications)
SPIN (International SPIN Workshop on Model Checking of Software)
TASE (International Symposium on Theoretical Aspects of Software Engineering)
TOOLS (International Conference on Objects, Models, Components, Patterns)
FOCLASA (International Workshop on the Foundations of Coordination Languages and Software Architectures)

XML 地图 | Sitemap 地图