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

Du Zhang Vis

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

*2009
71 Du Zhang: Taming Inconsistency in Value-based Software Development. SEKE 2009: 450-455
70EEYingxu Wang, Witold Kinsner, James A. Anderson, Du Zhang, Yiyu Yao, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai, Witold Pedrycz, Jean-Claude Latombe, Lotfi A. Zadeh, Dilip Patel, Christine W. Chan: A Doctrine of Cognitive Informatics (CI). Fundam. Inform. 90(3): 203-228 (2009)
69EEJun Peng, Du Zhang, Xiaofeng Liao: A Digital Image Encryption Algorithm Based on Hyper-chaotic Cellular Neural Network. Fundam. Inform. 90(3): 269-282 (2009)
68EEYingxu Wang, Du Zhang, Shusaku Tsumoto: Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I). Fundam. Inform. 90(3): (2009)
67EEYingxu Wang, Du Zhang, Shusaku Tsumoto: Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II). Fundam. Inform. 90(4): (2009)
66EEDu Zhang: Machine Learning and Value-Based Software Engineering. IJSSCI 1(1): 112-125 (2009)
65EEDu Zhang: On Temporal Properties of Knowledge Base Inconsistency. Transactions on Computational Science 5: 20-37 (2009)
2008
64 Yingxu Wang, Du Zhang, Jean-Claude Latombe, Witold Kinsner: Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, ICCI 2008, Stanford University, California, USA, August 14-16, 2008 IEEE 2008
63EEDu Zhang, Hong Zhu: When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency. IDEAL 2008: 395-403
62EEJun Peng, Du Zhang, Yongguo Liu, Xiaofeng Liao: A Double-Piped iterated hash function based on a hybrid of chaotic maps. IEEE ICCI 2008: 358-365
61EEVineela Devarashetty, Jeffrey J. P. Tsai, Lu Ma, Du Zhang: Modeling a secure sensor network system using an Extended Elementary Object System. IEEE ICCI 2008: 67-74
60EEJin Park, Du Zhang, Meiliu Lu: An intelligent agent for the game of Age of Mythology: the Titans. IRI 2008: 92-97
59EEStuart Harvey Rubin, Shu-Ching Chen, Lotfi A. Zadeh, Hojjat Adeli, Mohammad Rifaie, Gordon K. Lee, Kang Zhang, Reda Alhajj, Gary D. Boetticher, Du Zhang: Panel: The role of information search and retrieval in economic stimulation. IRI 2008
58 Bum-Suk Lee, Jin Woo Im, Byung-Yeon Hwang, Du Zhang: Design of an RSS Crawler with Adaptive Revisit Manager. SEKE 2008: 219-222
57 Du Zhang: Machine Learning and Value-based Software Engineering: a Research Agenda. SEKE 2008: 285-290
56EEJeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan: Knowledge Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
55EEDu Zhang: Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics. Transactions on Computational Science 2: 145-160 (2008)
2007
54 Du Zhang, Yingxu Wang, Witold Kinsner: Proceedings of the Six IEEE International Conference on Cognitive Informatics, ICCI 2007, August 6-8, Lake Tahoe, CA, USA IEEE 2007
53EEDu Zhang: Quantifying Knowledge Base Inconsistency via Fixpoint Semantics. IEEE ICCI 2007: 255-262
52EEHuaqiang Wei, Jim Alves-Foss, Du Zhang, Deborah A. Frincke: Rationality Validation of a Layered Decision Model for Network Defense. IRI 2007: 85-90
51 Huaqiang Wei, Jim Alves-Foss, Du Zhang: Validating A Layered Decision Framework for Cost-Effective Network Defense. SEKE 2007: 105-110
50 Steven E. Cox, Du Zhang, Jinsong Ouyang: A Tag-Level Web-Caching Scheme for Reducing Redundant Data Transfers. SEKE 2007: 274-
49EEDu Zhang: A Fix-Point Semantics for Rule-Base Anomalies. IJCINI 1(4): 14-25 (2007)
48EEMarek Reformat, Du Zhang: Introduction to the special issue on: "Software Quality Improvements and Estimations with Intelligence-based Methods". Software Quality Journal 15(3): 237-240 (2007)
2006
47EEDu Zhang: Machine Learning in Value-Based Software Test Data Generation. ICTAI 2006: 732-736
46 Svetlana S. Aksenova, Du Zhang, Meiliu Lu: Enrollment prediction through data mining. IRI 2006: 510-515
45 Stan Lovic, Meiliu Lu, Du Zhang: Enhancing search engine performance using expert systems. IRI 2006: 567-572
44 Éric Grégoire, Du Zhang: A Framework for Fusing Consistent Knowledge Bases Automatically. SEKE 2006: 426-431
43EEDu Zhang, Quoc Luan Ha, Meiliu Lu: Mining California vital statistical data. IJCAT 27(4): 281-297 (2006)
2005
42 Du Zhang, Taghi M. Khoshgoftaar, Mei-Ling Shyu: Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA IEEE Systems, Man, and Cybernetics Society 2005
41EEDu Zhang: Fixpoint semantics for rule-base anomalies. IEEE ICCI 2005: 10-17
40EETerry R. Robison, Du Zhang, William Mitchell: Discovery agent deployment in diverse SAN environments. IRI 2005: 439-444
39EEKevin K. Leung, Du Zhang: Animation of Linux Processor Scheduling Algorithm. ISM 2005: 353-360
38EEJeffrey J. P. Tsai, Du Zhang: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 15(3): 473-474 (2005)
37EEAlexander Davis, Du Zhang: A comparative study of SOAP and DCOM. Journal of Systems and Software 76(2): 157-169 (2005)
2004
36 Du Zhang, Éric Grégoire, Doug DeGroot: Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI - 2004, November 8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA IEEE Systems, Man, and Cybernetics Society 2004
35 Thao Phuong Nguyen, Du Zhang: RPM: A Remote PC Power Management Tool. Computers and Their Applications 2004: 92-95
34 Ateendra Sudarshak Balasingham, Du Zhang: A Tool for Text Summarization. Computers and Their Applications 2004: 96-99
33EEWilliam E. Glaholt, Du Zhang: GP-Lab: The Genetic Programming Laboratory. ICTAI 2004: 388-395
32 Yuanfu Ji, Du Zhang, Meiliu Lu: Multi-Level Filters for a Web-based E-Mail System. IRI 2004: 109-114
31 Ryota Matsumoto, Du Zhang, Meiliu Lu: Some Empirical Results on Two Spam Detection Methods. IRI 2004: 198-203
30 Devin Cook, Du Zhang: GOLD: A Generalized Parsing System. SEKE 2004: 179-184
29EEDu Zhang: Preface. International Journal on Artificial Intelligence Tools 13(4): 763-766 (2004)
2003
28 Alan T. Demmin, Du Zhang: A Web-Based Expert System For Vehicle Registration. IRI 2003: 420-427
27EEDu Zhang, Michael D. Kramer: GAPS: A Genetic Programming System. International Journal on Artificial Intelligence Tools 12(2): 187-206 (2003)
26EEEdwina Liu, Du Zhang: Diagnosis of Component Failures in the Space Shuttlemain Engines Using Bayesian Belief Network: A Feasibility Study. International Journal on Artificial Intelligence Tools 12(3): 355-374 (2003)
25EEDu Zhang, Jeffrey J. P. Tsai: Machine Learning and Software Engineering. Software Quality Journal 11(2): 87-119 (2003)
2002
24 Xu Cheng, Du Zhang: FTA: A File Transfer Agent Using Java. CAINE 2002: 111-114
23 Meiliu Lu, Yan Xiong, Du Zhang: A Web-based Microarray Experiment Management System. CAINE 2002: 29-32
22 Derek Leung, Du Zhang: pSlash: A Web Content Management System. Computers and Their Applications 2002: 289-292
21EEEdwina Liu, Du Zhang: Diagnosis of Component Failures in the Space Shuttle Maine Engines Using Bayesian Belief Networks: A Feasibility Study. ICTAI 2002: 181-188
20EEDu Zhang, Jeffrey J. P. Tsai: Machine Learning and Software Engineering. ICTAI 2002: 22-
19EEPeng-Liang Wang, Du Zhang: Protein Secondary Structure Prediction with Bayesian Learning Method. ICTAI 2002: 252-
18EEAlexander Davis, Du Zhang: A Comparative Study of DCOM and SOAP. ISMSE 2002: 48-55
2001
17EEDu Zhang, Quoc Luan Ha, Meiliu Lu: Mining California Vital Statistics Data. ICDM 2001: 671-672
16 Jeffery Alan Lewis, Meiliu Lu, Du Zhang: Learning Gaussian Functions for Audio Compression in Synthesized Music. IRI 2001: 48-53
2000
15EEMichael D. Kramer, Du Zhang: GAPS: A Genetic Programming System. COMPSAC 2000: 614-
1999
14EEMeiliu Lu, Du Zhang, Hongjun Xu, Ken Tse-yau Lau, Li Lu: Protein Secondary Structure Prediction Using Data Mining Tool C5. ICTAI 1999: 107-
13EEDu Zhang, Vo Lee, Joseph Friedel, Robert Keyser: Automated Facts Generation From Raw Data: A Perspective From The ANDES Project. Electr. Notes Theor. Comput. Sci. 25: (1999)
12EEWei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang: Verification and Validation of Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. 11(1): 202-212 (1999)
11EEDu Zhang, Luqi: Approximate declarative semantics for rule base anomalies. Knowl.-Based Syst. 12(7): 341-353 (1999)
1996
10 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)
1994
9EEDu Zhang, Doan Nguyen: PREPARE: A Toll for Knowledge Base Verification. IEEE Trans. Knowl. Data Eng. 6(6): 983-989 (1994)
1993
8 Raul Velez, Du Zhang, James Kho: An Intelligent Tool for UNIX Performance Tuning. ICTAI 1993: 118-122
7 Du Zhang, Weining Zhang: Evaluating Logical Queries by Means of Communicating Processes. ICTAI 1993: 320-324
6 Du Zhang: Perspectives in Knowledge Base Verification. SEKE 1993: 396-405
1990
5 Meiliu Lu, Du Zhang, Tadao Murata: Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets. IEEE Trans. Computers 39(5): 597-604 (1990)
1988
4EETadao Murata, Du Zhang: A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. IEEE Trans. Software Eng. 14(4): 481-497 (1988)
1987
3 Meiliu Lu, Du Zhang, Tadao Murata: Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization. PNPM 1987: 104-110
1986
2 Du Zhang, Meiliu Lu: Process Name Resolution in Fault-Tolerant CSP Programs. Operating Systems Review 20(4): 9-15 (1986)
1983
1 Sun Zhongxiu, Du Zhang, Yang Peigen: ZCZOS: A Distributed Operating System for a LSI-11 Microcomputer Network. Operating Systems Review 17(3): 30-34 (1983)

Coauthor Index

1Hojjat Adeli [59]
2Svetlana S. Aksenova [46]
3Reda Alhajj [59]
4Jim Alves-Foss [51] [52]
5James A. Anderson [70]
6Ateendra Sudarshak Balasingham [34]
7Valdis Berzins [10]
8Gary D. Boetticher [59]
9Christine W. Chan [70]
10Shu-Ching Chen [59]
11Xu Cheng [24]
12Devin Cook [30]
13Steven E. Cox [50]
14Alexander Davis [18] [37]
15Doug DeGroot [36]
16Alan T. Demmin [28]
17Vineela Devarashetty [61]
18Joseph Friedel [13]
19Deborah A. Frincke [52]
20William E. Glaholt [33]
21Joseph A. Goguen [10]
22Éric Grégoire [36] [44]
23Quoc Luan Ha [17] [43]
24Byung-Yeon Hwang [58]
25Jin Woo Im [58]
26Yuanfu Ji [32]
27Eric Y. T. Juan [56]
28Robert Keyser [13]
29James Kho [8]
30Taghi M. Khoshgoftaar [42]
31Witold Kinsner [54] [64] [70]
32Michael D. Kramer [15] [27]
33Jean-Claude Latombe [64] [70]
34Ken Tse-yau Lau [14]
35Bum-Suk Lee [58]
36Gordon K. Lee [59]
37Vo Lee [13]
38Derek Leung [22]
39Kevin K. Leung [39]
40Jeffery Alan Lewis [16]
41Xiaofeng Liao [62] [69]
42Edwina Liu [21] [26]
43Yongguo Liu [62]
44Stan Lovic [45]
45Li Lu [14]
46Meiliu Lu [2] [3] [5] [14] [16] [17] [23] [31] [32] [43] [45] [46] [60]
47 Luqi [10] [11]
48Lu Ma [61]
49Ryota Matsumoto [31]
50José Meseguer [10]
51William Mitchell [40]
52Tadao Murata [3] [4] [5]
53Doan Nguyen [9] [10]
54Thao Phuong Nguyen [35]
55Jinsong Ouyang [50]
56Jin Park [60]
57Dilip Patel [70]
58Witold Pedrycz [70]
59Yang Peigen [1]
60Jun Peng [62] [69]
61Marek Reformat [48]
62Mohammad Rifaie [59]
63Terry R. Robison [40]
64Stuart Harvey Rubin [59]
65Avinash Sahay [56]
66Phillip C.-Y. Sheu (Phillip Chen-Yu Sheu) [70]
67Mei-Ling Shyu [42]
68Jeffrey J. P. Tsai [20] [25] [38] [56] [61] [70]
69Wei-Tek Tsai [12]
70Shusaku Tsumoto [67] [68]
71Raul Velez [8]
72Ramakrishna V. Vishnuvajjala [12]
73Peng-Liang Wang [19]
74Yingxu Wang [54] [64] [67] [68] [70]
75Huaqiang Wei [51] [52]
76Yan Xiong [23]
77Hongjun Xu [14]
78Yiyu Yao (Y. Y. Yao) [70]
79Lotfi A. Zadeh [59] [70]
80Kang Zhang [59]
81Weining Zhang [7]
82Sun Zhongxiu [1]
83Hong Zhu [63]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)