年月	名稱	出版、獲獎、專利信息	檢索情況/是否核心
2009.12	UML2.0順序圖的形式化研究	計算機工程與設(shè)計, vol.30(24), p 5646-5649	中文核心期刊
2009.9	基于UML的多Agent系統(tǒng)軟件體系結(jié)構(gòu)建模研究	計算機應用研究,vol.26(9),p 3384-3387	中文核心期刊
2009.12	Translating UML Statechart Diagrams to X-nets	2009 1st International Conference on Information Science and Engineering, ICISE 2009, IEEE Computer Society, p 5279-5282	EI(20102212965341), 國際會議正式文集
2009.12	Description and Analyzing the Reliability of Web Services Composition based on Petri Nets	2009 1st International Conference on Information Science and Engineering, ICISE 2009, IEEE Computer Society, p 5329-5332	EI(20102212965352), 國際會議正式文集
2010.3	Research on the Web Services Selection Problem	2nd International Workshop on Education Technology and Computer Science, ETCS 2010，IEEE Computer Society, p 284-287	EI(20102312986219), 國際會議正式文集
2010.5	Introduction to the Application of Complex Networks in softwar engineering	Proceedings of the International Conference on E-Business and E-Government, ICEE 2010,IEEE Computer Society, p 4162-4165	EI(20104913458839),國際會議正式文集
2011.3	Research of BPEL Modeling Technique Based on Colored Petri Net	3td International Workshop on Education Technology and Computer Science, ETCS 2011，IEEE Computer Society,p39-46	國際會議正式文集
2011.5	Deciding Substitutability of Web Services with Petri Net Reduction Techniques	10th IEEE/ACIS International Conference on Computer and Infornation Science, p 323-327	EI(20115214630444),國際會議正式文集
2013.5	CTL Model Checking Algorithm Using MapReduce	Lecture Notes in Electrical Engineering, vol 236, Emerging Technologies for Information Systems,Computing, and Managment, p 341-348	EI(20132716465371 )國際會議正式文集
2013.6	基于Petri網(wǎng)的Web服務(wù)描述及其可替換性分析	計算機集成制造系統(tǒng), vol.19(2), p 1423-1432	EI(20133016533970 ),中文核心期刊
2013.9	Process Net: A petri net model with the characteristics of process algebras	Journal of Chemical and Pharmaceutical Research, vol.5(9),p 347-354	EI(20134416928811 ),英文期刊
2013.12	一種面向服務(wù)Petri網(wǎng)模型及其結(jié)構(gòu)化操作語義	小型微型計算機系統(tǒng), vol.34(12),p 2739-2743	中文核心期刊