中国学者近期发表的论文
1.	Formalization of Geometric Algebra in HOL Light Author: Li-Ming Li, Zhi-Ping Shi, Yong Guan, Qian-Ying Zhang, Yong-Dong Li Journal: JOURNAL OF AUTOMATED REASONING, 2018, Vol., , DOI:10.1007/s10817-018-9498-9    DOI
2.	A Conflict-Driven Solving Procedure for Poly-Power Constraints Author: Cheng-Chao Huang, Ming Xu, Zhi-Bin Li Journal: JOURNAL OF AUTOMATED REASONING, 2018, Vol., , DOI:10.1007/s10817-018-09501-z    DOI
3.	Array Theory of Bounded Elements and its Applications Author: Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun Journal: JOURNAL OF AUTOMATED REASONING, 2013, Vol.52, 379-405, DOI:10.1007/s10817-013-9293-6    DOI
4.	Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method Author: Jie Zhou, Dingkang Wang, Yao Sun Journal: JOURNAL OF AUTOMATED REASONING, 2016, Vol.59, 331-344, DOI:10.1007/s10817-016-9395-z    DOI
5.	Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Author: Hao Chen, Xiongnan Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu Journal: JOURNAL OF AUTOMATED REASONING, 2017, Vol.61, 141-189, DOI:10.1007/s10817-017-9446-0    DOI

同类著名期刊名称 h-index CiteScore INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS 72 6.25 IEEE Computational Intelligence Magazine 48 4.33 ARTIFICIAL INTELLIGENCE 135 4.33 KNOWLEDGE-BASED SYSTEMS 94 7.01 ARTIFICIAL INTELLIGENCE REVIEW 63 6.09 INTERNATIONAL JOURNAL OF COMPUTER VISION 172 15.78 International Journal of Neural Systems 55 5.95 NEURAL NETWORKS 128 9.86 NEURAL COMPUTING & APPLICATIONS 57 4.20 DECISION SUPPORT SYSTEMS 127 5.97

中科院JCR同大类学科的热搜期刊 浏览次数 ACS Applied Materials & Interfaces 1519280 CHEMICAL ENGINEERING JOURNAL 1207010 IEEE Access 1175153 APPLIED SURFACE SCIENCE 1167842 JOURNAL OF ALLOYS AND COMPOUNDS 1041699 JOURNAL OF MATERIALS SCIENCE 874731 MATERIALS LETTERS 798642 Nanoscale 706799 ADVANCED MATERIALS 672294 Journal of Materials Chemistry A 648560