dblp.uni-trier.dewww.uni-trier.de

Zuohua Ding

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEZuohua Ding, Kao Zhang: Performance Analysis of Concurrent Programs Using Ordinary Differential Equations. COMPSAC 2008: 841-846
4EEZuohua Ding, Zhenbang Chen, Jing Liu: A Rigorous Model of Service Component Architecture. Electr. Notes Theor. Comput. Sci. 207: 33-48 (2008)
3EEZuohua Ding, Jianming Dong, Wei Han: Formal architectural models for agent-based service systems. IJCAT 31(1/2): 45-63 (2008)
2EEZuohua 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

Coauthor Index

1Zhenbang Chen [4]
2Jianming Dong [3]
3Wei Han [3]
4Jueliang Hu [2]
5Jing Liu [4]
6Kao Zhang [2] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)