 | 2009 |
|---|
| 71 |       | Du Zhang:
Taming Inconsistency in Value-based Software Development.
SEKE 2009: 450-455 |
| 70 |  | Yingxu 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) |
| 69 | | Jun Peng,
Du Zhang,
Xiaofeng Liao:
A Digital Image Encryption Algorithm Based on Hyper-chaotic Cellular Neural Network.
Fundam. Inform. 90(3): 269-282 (2009) |
| 68 | | Yingxu Wang,
Du Zhang,
Shusaku Tsumoto:
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I).
Fundam. Inform. 90(3): (2009) |
| 67 | | Yingxu Wang,
Du Zhang,
Shusaku Tsumoto:
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II).
Fundam. Inform. 90(4): (2009) |
| 66 | | Du Zhang:
Machine Learning and Value-Based Software Engineering.
IJSSCI 1(1): 112-125 (2009) |
| 65 | | Du 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 |
| 63 | | Du Zhang,
Hong Zhu:
When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency.
IDEAL 2008: 395-403 |
| 62 | | Jun 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 |
| 61 | | Vineela 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 |
| 60 | | Jin Park,
Du Zhang,
Meiliu Lu:
An intelligent agent for the game of Age of Mythology: the Titans.
IRI 2008: 92-97 |
| 59 | | Stuart 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 |
| 56 | | Jeffrey J. P. Tsai,
Du Zhang,
Avinash Sahay,
Eric Y. T. Juan:
Knowledge Verification.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 55 | | Du 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 |
| 53 | | Du Zhang:
Quantifying Knowledge Base Inconsistency via Fixpoint Semantics.
IEEE ICCI 2007: 255-262 |
| 52 | | Huaqiang 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- |
| 49 | | Du Zhang:
A Fix-Point Semantics for Rule-Base Anomalies.
IJCINI 1(4): 14-25 (2007) |
| 48 | | Marek 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 |
|---|
| 47 | | Du 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 |
| 43 | | Du 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 |
| 41 | | Du Zhang:
Fixpoint semantics for rule-base anomalies.
IEEE ICCI 2005: 10-17 |
| 40 | | Terry R. Robison,
Du Zhang,
William Mitchell:
Discovery agent deployment in diverse SAN environments.
IRI 2005: 439-444 |
| 39 | | Kevin K. Leung,
Du Zhang:
Animation of Linux Processor Scheduling Algorithm.
ISM 2005: 353-360 |
| 38 | | Jeffrey J. P. Tsai,
Du Zhang:
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering 15(3): 473-474 (2005) |
| 37 | | Alexander 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 |
| 33 | | William 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 |
| 29 | | Du 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 |
| 27 | | Du Zhang,
Michael D. Kramer:
GAPS: A Genetic Programming System.
International Journal on Artificial Intelligence Tools 12(2): 187-206 (2003) |
| 26 | | Edwina 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) |
| 25 | | Du 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 |
| 21 | | Edwina Liu,
Du Zhang:
Diagnosis of Component Failures in the Space Shuttle Maine Engines Using Bayesian Belief Networks: A Feasibility Study.
ICTAI 2002: 181-188 |
| 20 | | Du Zhang,
Jeffrey J. P. Tsai:
Machine Learning and Software Engineering.
ICTAI 2002: 22- |
| 19 | | Peng-Liang Wang,
Du Zhang:
Protein Secondary Structure Prediction with Bayesian Learning Method.
ICTAI 2002: 252- |
| 18 | | Alexander Davis,
Du Zhang:
A Comparative Study of DCOM and SOAP.
ISMSE 2002: 48-55 |
| 2001 |
|---|
| 17 | | Du 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 |
|---|
| 15 | | Michael D. Kramer,
Du Zhang:
GAPS: A Genetic Programming System.
COMPSAC 2000: 614- |
| 1999 |
|---|
| 14 | | Meiliu Lu,
Du Zhang,
Hongjun Xu,
Ken Tse-yau Lau,
Li Lu:
Protein Secondary Structure Prediction Using Data Mining Tool C5.
ICTAI 1999: 107- |
| 13 | | Du 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) |
| 12 | | Wei-Tek Tsai,
Ramakrishna V. Vishnuvajjala,
Du Zhang:
Verification and Validation of Knowledge-Based Systems.
IEEE Trans. Knowl. Data Eng. 11(1): 202-212 (1999) |
| 11 | | Du 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 |
|---|
| 9 | | Du 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 |
|---|
| 4 | | Tadao 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) |
