中国学者近期发表的论文
1.	Editorial Author: Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan Journal: FORMAL ASPECTS OF COMPUTING, 2019, Vol.31, 1-1, DOI:10.1007/s00165-018-00477-6    DOI
2.	Formal verification and quantitative metrics of MPSoC data dynamics Author: Hui Zhang, Jinzhao Wu Journal: FORMAL ASPECTS OF COMPUTING, 2017, Vol.30, 219-237, DOI:10.1007/s00165-017-0444-0    DOI
3.	An inductive approach to strand spaces Author: Yongjian Li, Jun Pang Journal: FORMAL ASPECTS OF COMPUTING, 2011, Vol.25, 465-501, DOI:10.1007/s00165-011-0187-2    DOI
4.	Compensation by design Author: Xi Liu, Shaofa Yang, J. W. Sanders Journal: FORMAL ASPECTS OF COMPUTING, 2013, Vol.26, 623-676, DOI:10.1007/s00165-013-0275-6    DOI
5.	Model checking dynamic pushdown networks Author: Fu Song, Tayssir Touili Journal: FORMAL ASPECTS OF COMPUTING, 2015, Vol.27, 397-421, DOI:10.1007/s00165-014-0330-y    DOI
6.	Denotational semantics and its algebraic derivation for an event-driven system-level language Author: H. Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 133-166, DOI:10.1007/s00165-014-0309-8    DOI
7.	Formalizing provable anonymity in Isabelle/HOL Author: Yongjian Li, Jun Pang Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 255-282, DOI:10.1007/s00165-014-0315-x    DOI
8.	Verification of distributed systems with the axiomatic system of MSVL Author: Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 103-131, DOI:10.1007/s00165-014-0303-1    DOI
9.	Deciding probabilistic automata weak bisimulation: theory and practice Author: Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini Journal: FORMAL ASPECTS OF COMPUTING, 2016, Vol.28, 109-143, DOI:10.1007/s00165-016-0356-4    DOI
10.	Editorial Author: Xuandong Li, Zhiming Liu Journal: FORMAL ASPECTS OF COMPUTING, 2017, Vol.29, 581-582, DOI:10.1007/s00165-017-0431-5    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 1514203 CHEMICAL ENGINEERING JOURNAL 1202127 IEEE Access 1169659 APPLIED SURFACE SCIENCE 1163684 JOURNAL OF ALLOYS AND COMPOUNDS 1038605 JOURNAL OF MATERIALS SCIENCE 872063 MATERIALS LETTERS 796869 Nanoscale 704625 ADVANCED MATERIALS 670225 Journal of Materials Chemistry A 646089