个人简历

研究领域

（1）计算机理论之形式化方法
（2） 复杂系统的量化分析与验证""

近期论文

2014年
【1】 Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen. Quantitative Analysis of Lattice-valued Kripke Structures. Fundamenta Informaticae. ( 2014. accepted) .
【2】 Haiyu Pan, Yongzhi Cao, Yongming Li, Min Zhang. Multi-valued model checking with nondeterminism.Scince China, (2014, Submitted)
【3】 Haiyu Pan, YongzhiCao, Min Zhang(通讯)， Yixiang Chen.Simulation for Lattice-valued Doubly Labeled Transition Systems. International Journal of Approximation Reasoning, 55(2014) 791-811. (SCI)

2013年
【4】 Yanfang Ma, Min Zhang（通讯）. The Infinite Evolution Mechanism of ε-bisimilarity(Extention Version). Journal of Computer Science and Technology(JCST). 2013, 28(6): 1097-1105, DOI: 10.1007/s11390-013-1400-y.
【5】 潘海玉、张敏（通讯）、 陈仪香. 基于模糊逻辑的几类Kripke结构之间的关系《计算机科学》 2013 40（5） 42－44.

2012年
【6】 Haiyu Pan, Min Zhang , Yixiang Chen.Bisimilarity forFuzzy Doubly Labeled Transition System. 2012 International Conference on Quantitative Logic and SoftComputing,pp. 207-214. doi: 10.1142/9789814401531_0030
【7】 Haiyu Pan, Min Zhang, Yixiang Chen. Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. In the proceeding of 2012 IEEE Sixth International Conference on Software Security and Reliability Companion(SERE2012). Pp 137-143. 2012. DOI 10.1109/SERE-C.2012.29
【8】 Haiyu Pan, Min Zhang , Yixiang Chen. Bisimulation for Lattice-valued Transition Systems. In：Proceeding The 6th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2012)pp.279-282, 2012


2011年
【9】 Haiyu Pan, Min Zhang ,Yixiang Chen. Approximate Bisimulation for Metric Doubly Labeled Transition System. The 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), p108-114. （国际会议）EI (EI:20114414482173)10.1109/TASE.2011.22
【10】 Longfei Zhu, Min Zhang, Huibiao Zhu, Yanhong Zhu, and Jianqi Shi. Formalizing Application Programming Interfaces of the OSEK/VDX Operating SystemSpecification. The 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), p 27-34. （国际会议）EI doi/10.1109/TASE.2011.12
【11】 Haiyu Pan, Min Zhang ,Yixiang Chen.Approximate Simulation for Metric Hybrid Input/Output Automata. International Conference on Secure Software Integration and Reliability Improvement, 2011，53-59．(EI 20113914362191) （国际会议）doi: 10.1109/SSIRI-C.2011.19
【12】 Yanfang Ma, Min Zhang， Yixiang Chen,Liang Chen. Two-thirds Bsimulation Index and Modal Characterization. Frontiers of Computer Science in China. vol5(4)454-471. （英文期刊 ）SCIE/EI doi>10.1007/s11704-011-0140-9
【13】 Yanfang Ma, Min Zhang, Liang Chen.The Convergence MechanismofImplementationunderTwo-thirds Bisimulation.Jounal of Information and Computation Science. 2011 Vol.8(13): 2875-2884.（英文期刊）EI

2010年
【14】Yixiang Chen , Tian-Ming Bu, Min Zhang , Hong Zhu. Measurement of Trust Transitivity in Trustworthy Networks. Journal of Emerging Technologies in Web Intelligence, Vol 3, (2010), 62-64.
Doi: 10.1109/WI-IAT.2009.231


2009年
【15】 Yixiang Chen, Min Zhang, Hong Zhu, and Tianming Bu.Average TransitiveTrustworthy Degrees forTrustworthyNetworks. In proceeding of4thInternational Conference on Rough Setand Knowledge Technology(RSKT’2009) LNCS 5589：682-689, 2009. (EI 20093512277493)（国际会议）
Doi: 10.1007/978-3-642-02962-2_86
【16】 Yanfang Ma, Min Zhang. Parameterized Bisimulation Infinite Evolution Mechanism. In: Proceeding of ThirdIEEE International Symposium on Theoretical Aspects of Software Engineering, IEEE Computer Society, 2009, p299-300 (EI 20094712458563).（国际会议）
http://doi.ieeecomputersociety.org/10.1109/TASE.2009.24
【17】Yanfang Ma, Min Zhang. Topological Construction of Parameterized Bisimulation limit. In: Electronic Notes in Theoretical Computer Science, Vol. 257 (2009) , p55-70 .(EI 20095112555594) (英文期刊) doi: http://dx.doi.org/10.1016/j.entcs.2009.11.026

2008年
【18】 Yanfang Ma, Min Zhang, Yixiang Chen. A Computation Model of Trustworthy Degree.In: Proceeding of International Symposium on Intelligent Information Technology Application Workshop, IEEE Computer Society, 2008, p523-526.(EI: 20091311980458) （国际会议）doi: 10.1109/IITA.Workshops.2008.164
【19】 Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu.A Bigraphical Model of WSBPEL. In Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE’08), 117-120, 2008. （EI: 20083811576114）（国际会议）http://doi.ieeecomputersociety.org/10.1109/TASE.2008.47
【20】 Pierre-Louis Curien, Vincent Danos, Krivine Jean, Min Zhang.Computational self-assembly.Theoretical Computer Science (TCS) 404(1-2), 61-75, 2008. (EI: 20083411466828) doi : http://dx.doi.org/10.1016/j.tcs.2008.04.014,