论文著作
[1] Zuohua Ding, Yuan Zhou, Mengchu Zhou, Modeling Self-Adaptive Software Systems With Learning Petri Nets, ICSE’14, Hyderabad, India, May 31-June 7, 2014.（顶级会议）
[2] Zuohua Ding, MengChu Zhou, ShouGuang Wang, Ordinary Differential Equation-Based Deadlock Detection, IEEE Transactions on Systems, Man, and Cybernetics: Systems, accepted.（SCI）
[3] Zuohua Ding, Yuan Zhou, Mengchu Zhou, A Polynomial Algorithm to Performance Analysis of Concurrent Systems via Petri Nets and Ordinary Differential Equations, IEEE Transactions on Automation Science and Engineering, accepted.（SCI）
[4] Zuohua Ding, Yuan Zhou, and Mengchu Zhou, Stability Analysis of Switched Fuzzy Systems via Model Checking, IEEE Transactions on Fuzzy Systems,, accepted.（SCI）
[5] Zuohua Ding, Mei-Hwa Chenb, Xiaoxue Li, Online Reliability Computing of Composite Services Based on Program Invariants, Information Sciences, vol. 264, pp.340-348 , 2014.（SCI）
[6] Zuohua Ding, Jiaying Ma, Abraham Kandel, Petri Net Representation of Switched Fuzzy Systems, IEEE Transactions on Fuzzy Systems, vol.21, no.1, pp.16-29, 2013.(SCI)
[7] Zuohua Ding, Hui Shen, Abraham Kandel, Hypergraph Partitioning For The Parallel Computing of Fuzzy Differential Equations, Fuzzy Sets and Systems, vol. 230, pp. 142-161, 2013. (SCI)
[8] 丁佐华, Jeff Sanders, 江明月, 张娜, 蒲戈光, 基于GCL语言的测试用例生成方法, 计算机学报，印刷中。(EI)
[9] Zuohua Ding, Mingyue Jiang, Abraham Kandel. Port Based Reliability Computing For Service Composition. In: IEEE Transactions on Service Computing, vol. 5 no.3, pp. 422-436, 2012.(SCI)
[10] Zuohua Ding, Hui Shen, and Qiwei Ge, Checking System Boundedness Using Ordinary Differential Equations, In: Information Sciences, 187: 245-265 (2012) (SCI, IF 2.984)
[11]Zuohua Ding, Hui Shen,and Jianwen Cao, Parallel computation of continuous Petri nets based on hypergraph partitioning，Journal of Supercomputing，vol.62, no.1, pp. 345-377, 2012.(SCI)
[12] Zuohua Ding, Mingyue Jiang, Jens Palsberg, From Textual Use Cases to Service Component Models.In: ICSE/PESOS 2011.(顶级会议EI)
[13] Zuohua Ding, Hui Shen, and Abraham Kandel, Performance Analysis of Service Composition Based on Fuzzy Differential Equations. In: IEEE Transactions on Fuzzy Systems, vol.19, no.1 pp.164-178, 2011. (SCI)
[14] Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu, Requirement checking: Generating uses cases out of navigational logs in Web applications, QSIC2010 (EI)
[15] Zuohua Ding, Hui Shen, Jing Liu, Applying Ordinary Differential Equations To The Performance Analysis of Service Composition, ICFEM2010, Lecture Notes in Computer Sciences. vol.6447,155-170.（EI）
[16] Zuohua Ding, Static Analysis of Concurrent Programs Using Ordinary Differential Equations（Invited Talk）. ICTAC 2009, Lecture Notes in Computer Sciences, vol.5684, pp. 1-35, 2009. （EI）
[17] Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders, Modelling and Verification of Web Navigation. Proceedings of International Conference on Web Engineering (ICWE’09) （顶级会议), Lecture Notes in Computer Sciences, vol.5648, pp.181-188, 2009. （EI）
[18] Zuohua Ding, Mingyue Jiang, Port Based Reliability Computing For Service Composition, Proceedings of International Conference on Service Computing (SCC’09), Bangalore,India, Sept 21-25, 2009. (EI)
[19] Zuohua Ding, Mingyue Jiang, Modelling and Verification of Port Based Component Composition, Proceedings of 9th International Conference on Quality Conference (QSIC’09), Jeju,Korea, 24-25 August 2009. (EI)
[20] 丁佐华， 江明月，刘静， 基于常微分方程的死锁检测实验分析，计算机学报，vol.32, Sept. 2009. (EI)
[21] Zuohua Ding, Kao Zhang and Jueliang Hu, A rigorous approach towards test case generation, Information Sciences, vol.178, pp. 4057-4079, 2008. (SCI)
[22]Zuohua Ding, Zhenbang Chen and Jing Liu, A rigorous model of service component architecture, Ele