| |
| 2008 | ||
|---|---|---|
| 5 | EE | Zuohua Ding, Kao Zhang: Performance Analysis of Concurrent Programs Using Ordinary Differential Equations. COMPSAC 2008: 841-846 |
| 4 | EE | Zuohua Ding, Zhenbang Chen, Jing Liu: A Rigorous Model of Service Component Architecture. Electr. Notes Theor. Comput. Sci. 207: 33-48 (2008) |
| 3 | EE | Zuohua Ding, Jianming Dong, Wei Han: Formal architectural models for agent-based service systems. IJCAT 31(1/2): 45-63 (2008) |
| 2 | EE | Zuohua Ding, Kao Zhang, Jueliang Hu: A rigorous approach towards test case generation. Inf. Sci. 178(21): 4057-4079 (2008) |
| 2006 | ||
| 1 | Zuohua Ding: A Formal Architectural Model For Mobile Service Systems. SEKE 2006: 670-675 | |
| 1 | Zhenbang Chen | [4] |
| 2 | Jianming Dong | [3] |
| 3 | Wei Han | [3] |
| 4 | Jueliang Hu | [2] |
| 5 | Jing Liu | [4] |
| 6 | Kao Zhang | [2] [5] |