中国学者近期发表的论文
1.	Understanding software developers' cognition in agile requirements engineering Author: Jingdong Jia, Xiaoying Yang, Rong Zhang, Xi Liu Journal: SCIENCE OF COMPUTER PROGRAMMING, 2019, Vol., , DOI:10.1016/j.scico.2019.03.005    DOI
2.	A hierarchical verification approach to verify complex safety control systems based on STAMP Author: Xiao Han, Tao Tang, Jidong Lv Journal: SCIENCE OF COMPUTER PROGRAMMING, 2018, Vol.172, 117-134, DOI:10.1016/j.scico.2018.11.006    DOI
3.	Reasoning about connectors using Coq and Z3 Author: Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun Journal: SCIENCE OF COMPUTER PROGRAMMING, 2018, Vol.170, 27-44, DOI:10.1016/j.scico.2018.10.002    DOI
4.	Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation Author: Jie Yin, Gang Tan, Hao Li, Xiaolong Bai, Yu-Ping Wang, Shi-Min Hu Journal: SCIENCE OF COMPUTER PROGRAMMING, 2018, Vol.169, 18-32, DOI:10.1016/j.scico.2018.09.005    DOI
5.	Periodic scheduling for MARTE/CCSL: Theory and practice Author: Min Zhang, Feng Dai, Frédéric Mallet Journal: SCIENCE OF COMPUTER PROGRAMMING, 2018, Vol.154, 42-60, DOI:10.1016/j.scico.2017.08.015    DOI
6.	Automated specification inference in a combined domain via user-defined predicates Author: Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming Journal: SCIENCE OF COMPUTER PROGRAMMING, 2017, Vol.148, 189-212, DOI:10.1016/j.scico.2017.05.007    DOI
7.	Inferring software behavioral models with MapReduce Author: Chen Luo, Fei He, Carlo Ghezzi Journal: SCIENCE OF COMPUTER PROGRAMMING, 2017, Vol.145, 13-36, DOI:10.1016/j.scico.2017.04.004    DOI
8.	Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines Author: Richard Banach, Michael Butler, Shengchao Qin, Huibiao Zhu Journal: SCIENCE OF COMPUTER PROGRAMMING, 2017, Vol.139, 1-35, DOI:10.1016/j.scico.2016.12.003    DOI
9.	On tackling quality threats for the assessment of measurement programs: A case study on the distribution of metric usage and knowledge Author: Regina Hebig, Haoyu Wang Journal: SCIENCE OF COMPUTER PROGRAMMING, 2017, Vol.135, 45-74, DOI:10.1016/j.scico.2016.09.006    DOI
10.	Formal development of multi-agent systems using MAZE Author: Qin Li, Graeme Smith Journal: SCIENCE OF COMPUTER PROGRAMMING, 2016, Vol.131, 126-150, DOI:10.1016/j.scico.2016.04.008    DOI

同类著名期刊名称 h-index CiteScore IEEE Transactions on Dependable and Secure Computing 59 6.09 ACM TRANSACTIONS ON GRAPHICS 173 7.37 IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS 118 4.64 COMPUTER 153 3.00 IEEE INTERNET COMPUTING 103 2.81 IEEE MICRO 87 2.29 COMPUTER-AIDED DESIGN 103 4.14 EMPIRICAL SOFTWARE ENGINEERING 59 5.61 ACM TRANSACTIONS ON DATABASE SYSTEMS 76 2.79 WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS 33 2.17

中科院JCR同大类学科的热搜期刊 浏览次数 ACS Applied Materials & Interfaces 1522431 CHEMICAL ENGINEERING JOURNAL 1210114 IEEE Access 1178884 APPLIED SURFACE SCIENCE 1170324 JOURNAL OF ALLOYS AND COMPOUNDS 1043830 JOURNAL OF MATERIALS SCIENCE 876266 MATERIALS LETTERS 799748 Nanoscale 708160 ADVANCED MATERIALS 673476 Journal of Materials Chemistry A 650082