Du Zhang Papers on DiSC'02 Mining California Vital Statistics Data Publications Note: Links lead to the DBLP on the Web. Du Zhang 11 Du Zhang, Quoc Luan Ha , Meiliu Lu : Mining California Vital Statistics Data. ICDM 2001 : 671-672 10 Meiliu Lu , Du Zhang, Hongjun Xu , Ken Tse-yau Lau , Li Lu : Protein Secondary Structure Prediction Using Data Mining Tool C5. ICTAI 1999 : 107- 9 Wei-Tek Tsai , Rame Vishnuvajjala , Du Zhang: Verification and Validation of Knowledge-Based Systems. TKDE 11 (1): 202-212 (1999) 8 Joseph A. Goguen , Doan Nguyen , José Meseguer , Luqi , Du Zhang, Valdis Berzins : Software Component Search. Journal of Systems Integration 6 (1/2): 93-134 (1996) 7 Du Zhang, Doan Nguyen : PREPARE: A Toll for Knowledge Base Verification. TKDE 6 (6): 983-989 (1994) 6 Raul Velez , Du Zhang, James Kho : An Intelligent Tool for UNIX Performance Tuning. ICTAI 1993 : 118-122 5 Du Zhang, Weining Zhang : Evaluating Logical Queries by Means of Communicating Processes. ICTAI 1993 : 320-324 4 Meiliu Lu , Du Zhang, Tadao Murata : Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets. IEEE Transactions on Computers 39 (5): 597-604 (1990) 3 Tadao Murata , Du Zhang: A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. TSE 14 (4): 481-497 (1988) 2 Meiliu Lu , Du Zhang, Tadao Murata : Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization. PNPM 1987 : 104-110 1 Du Zhang, Meiliu Lu : Process Name Resolution in Fault-Tolerant CSP Programs. Operating Systems Review 20 (4): 9-15 (1986) DiSC'02 © 2003 Association for Computing Machinery