[1]Chen Zhi-Yuan, Ge Bin, Yuan Wen-Shuo, Cao Xiao-Feng. Existence of Solution for Double-Phase Problem with Singular Weights. ADVANCES IN MATHEMATICAL PHYSICS, 2020(07)1-7. (SCI No. 000561335200001)
[2]Ge Bin, Chen Zhi-Yuan*. Existence of infinitely many solutions for double phase problem with sign-changing potential. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 2019,113(04):3185-3196(SCI一区SCI No. 000561335200001)
[3]刘正，张国印，陈志远*.基于特征加权和非负矩阵分解的多视角聚类算法.电子学报， 2016,44(03)535-540（EI No. 20161802339291）
[4]陈志远，黄少滨，白玉，纪明宇. 模型检测中的CTL形式化描述模板. 哈尔滨工程大学学报. 2013.34(04)483-487(EI No. 20132416422211)
[5] Chen Zhi Yuan, Huang Shao Bin, Ji Ming Yu, Shen Lin Shan. An Efficient Algorithm to Understand Long Counterexample. Applied Mechanics and Materials. 2013, vol.328: 254-260(EI No. 20132916520653)
[6]Chen Zhiyuan, Huang Shaobin, Han Lili. A Fast Approach of Locating Complex System Design Errors. Key Engineering Materials. 2013,vol.572: 115-118 (EI No. 20134817018900)
[7]Zhiyuan Chen, Shaobin Huang, Linshan Shen, Shuai Yang. A New Approach of Distributed Query Processing Based on Database Grid. Applied Mechanics and Materials, 2013, vol.328: 248-253.（EI No. 20132916520652）
[8]陈志远，黄少滨，韩丽丽．现代模态逻辑在计算机科学中的应用研究．计算机科学，2013,40(6A): 70-76.
[9]Shaobin Huang, Hongtao Huang, Zhiyuan Chen, Tianyang Lv, Tao Zhang. Lazy slicing for state-space exploration. Journal of Computer Science and Technology.2012,27(4): 872-890（SCI No. 000306410600019）
[10]Hongtao Huang, Shaobin Huang, Zhiyuan Chen, et al. Model reduction using the orthogonality between overapproximate slicing and abstract[C]. 2011 4th International Conference on Biomedical Engineering and Informatics (BMEI). 2011, 4: 2077-2081（EI No. 201203 14690837）
[11]黄宏涛，黄少滨，陈志远*，张涛．基于克雷格插值的反例理解方法．吉林大学学报理学版，2013，51(1): 94-100
[12]Mingyu Ji, Di Wu, Zhiyuan Chen. The Verification Method of Conditional Probability Based on Automaton. Journal
of Networks, vol. 8, no. 6, 2013: 1329-1335（EI No. 20132616450079）
[13]纪明宇，王海涛，陈志远．基于综合特征的Markov过程验证分析．计算机工程， 2013，39(5):318-321
[14]Ji Mingyu, Huang Shaobin, Chen Zhiyuan. The quantitative verification of model with complex and
comprehensive characteristics. Journal of Harbin Institute of Technology(New Series), 2012, sup.1:230-235
[15]Mingyu Ji, Yanmei Li, Zhiyuan Chen. The property verification methods of complex stochastic system based on directed graph. COMPUTER MODELLING & NEW TECHNOLOGIES 2014 18(1) 38-43(EI No. 20150900566638)
[16]Li Jing-Mei, Tian Qiao, Wang Jia-Xiang, Chen Zhi-Yuan, et al. Design and research of the authority control based on creation role. ICICSE 2015, Harbin, China, 2015:11-14(EI No. 20162202433877)
