 | 2009 |
|---|
| 127 |       | Marina L. Gavrilova,
Chih Jeng Kenneth Tan,
Yingxu Wang,
Keith C. C. Chan:
Transactions on Computational Science V, Special Issue on Cognitive Knowledge Representation
Springer 2009 |
| 126 | | 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) |
| 125 | | Yingxu Wang:
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing.
Fundam. Inform. 90(3): 283-303 (2009) |
| 124 | | Yingxu Wang,
Du Zhang,
Shusaku Tsumoto:
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I).
Fundam. Inform. 90(3): (2009) |
| 123 | | Yingxu Wang:
A Formal Syntax of Natural Languages and the Deductive Grammar.
Fundam. Inform. 90(4): 353-368 (2009) |
| 122 | | Yingxu Wang,
Du Zhang,
Shusaku Tsumoto:
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II).
Fundam. Inform. 90(4): (2009) |
| 121 | | Yingxu Wang:
Toward Formal Models of the Theoretical Framework of Fundamental Economics.
Fundam. Inform. 90(4): 443-459 (2009) |
| 120 | | Yingxu Wang:
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS).
IJCINI 3(1): 1-16 (2009) |
| 119 | | Yingxu Wang:
Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion.
IJCINI 3(2): 84-98 (2009) |
| 118 | | Yingxu Wang:
The Cognitive Informatics Theory and Mathematical Models of Visual Information Processing in the Brain.
IJCINI 3(3): 1-11 (2009) |
| 117 | | Yingxu Wang:
On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence.
IJSSCI 1(1): 1-17 (2009) |
| 116 | | Yingxu Wang,
Lotfi A. Zadeh,
Yiyu Yao:
On the System Algebra Foundations for Granular Computing.
IJSSCI 1(1): 64-86 (2009) |
| 115 | | Yingxu Wang,
Shushma Patel:
Exploring the Cognitive Foundations of Software Engineering.
IJSSCI 1(2): 1-19 (2009) |
| 114 | | Yingxu Wang:
On the Cognitive Complexity of Software and its Quantification and Formal Measurement.
IJSSCI 1(2): 31-53 (2009) |
| 113 | | Yingxu Wang:
On Cognitive Computing.
IJSSCI 1(3): 1-15 (2009) |
| 112 | | Yingxu Wang:
The Formal Design Model of a Telephone Switching System (TSS).
IJSSCI 1(3): 92-116 (2009) |
| 111 | | Yingxu Wang:
Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations.
Transactions on Computational Science 5: 1-19 (2009) |
| 110 | | Yousheng Tian,
Yingxu Wang,
Kai Hu:
A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra.
Transactions on Computational Science 5: 143-160 (2009) |
| 109 | | Yingxu Wang:
Formal Description of the Cognitive Process of Memorization.
Transactions on Computational Science 5: 81-98 (2009) |
| 2008 |
|---|
| 108 |  | 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 |
| 107 | | Marina L. Gavrilova,
Chih Jeng Kenneth Tan,
Yingxu Wang,
Yiyu Yao,
Guoyin Wang:
Transactions on Computational Science II
Springer 2008 |
| 106 | | Dongbo Liu,
Guorong Liu,
Miaohua Yu,
Yingxu Wang:
An Image Retrieval Method Using Modified LBG Algorithm.
CSSE (4) 2008: 528-531 |
| 105 | | Dongbo Liu,
Guorong Liu,
Miaohua Yu,
Yingxu Wang:
An Image Retrieval Method Based on Tree-Structured Wavelet Transform.
CSSE (4) 2008: 536-539 |
| 104 | | Yingxu Wang:
On cognitive foundations of creativity and the cognitive process of creation.
IEEE ICCI 2008: 104-113 |
| 103 | | Yingxu Wang:
The cognitive processes of analysis and synthesis in formal inferences.
IEEE ICCI 2008: 223-231 |
| 102 | | Yingxu Wang:
The cognitive processes of perceptions on spatiality, time, and motion.
IEEE ICCI 2008: 239-248 |
| 101 | | Yingxu Wang:
On abstract intelligence and its denotational mathematics foundations.
IEEE ICCI 2008: 3-12 |
| 100 | | Yingxu Wang,
Ying Wang:
The cognitive processes of consciousness and attention.
IEEE ICCI 2008: 30-39 |
| 99 | | Yingxu Wang:
A cognitive informatics theory for visual information processing.
IEEE ICCI 2008: 317-323 |
| 98 | | Yingxu Wang:
On Visual Semantic Algebra (VSA) and the cognitive process of pattern recognition.
IEEE ICCI 2008: 384-393 |
| 97 | | Yingxu Wang:
On Long Lifespan systems.
IEEE ICCI 2008: 418-428 |
| 96 | | Yingxu Wang,
Jian Huang:
Formal Modeling and Specification of Design Patterns Using RTPA.
IJCINI 2(1): 100-111 (2008) |
| 95 | | Yingxu Wang:
On the Big-R Notation for Describing Interative and Recursive Behaviors.
IJCINI 2(1): 17-28 (2008) |
| 94 | | Yingxu Wang:
On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling.
IJCINI 2(2): 1-19 (2008) |
| 93 | | Yingxu Wang:
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling.
IJCINI 2(2): 20-43 (2008) |
| 92 | | Yingxu Wang:
RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors.
IJCINI 2(2): 44-62 (2008) |
| 91 | | Yingxu Wang:
Deductive Semantics of RTPA.
IJCINI 2(2): 95-121 (2008) |
| 90 | | Xinming Tan,
Yingxu Wang:
A Denotational Semantics of Real-Time Process Algebra (RTPA).
IJCINI 2(3): 57-70 (2008) |
| 89 | | Yingxu Wang,
Cyprian F. Ngolah:
An Operational Semantics of Real-Time Process Algebra (RTPA).
IJCINI 2(3): 71-89 (2008) |
| 88 | | Yingxu Wang:
Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain.
IJCINI 2(4): 15-28 (2008) |
| 87 | | Yingxu Wang:
On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization.
IJCINI 2(4): 70-84 (2008) |
| 86 | | Yingxu Wang,
Yiyu Yao,
Guoyin Wang:
Perspectives on Denotational Mathematics: New Means of Thought.
Transactions on Computational Science 2: 1-5 (2008) |
| 85 | | Yingxu Wang:
Toward a Generic Mathematical Model of Abstract Game Theories.
Transactions on Computational Science 2: 205-223 (2008) |
| 84 | | Yingxu Wang:
On Mathematical Laws of Software.
Transactions on Computational Science 2: 46-83 (2008) |
| 83 | | Yingxu Wang:
On Contemporary Denotational Mathematics for Computational Intelligence.
Transactions on Computational Science 2: 6-29 (2008) |
| 2007 |
|---|
| 82 | | 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 |
| 81 | | Yingxu Wang:
Formal Descriptions of a Set of Meta Cognitive Processes of the Brain.
IEEE ICCI 2007: 26-34 |
| 80 | | Yingxu Wang:
On Cognitive Informatics Foundations of Knowledge and Formal Knowledge Systems.
IEEE ICCI 2007: 263-272 |
| 79 | | Yingxu Wang:
Formal Description of the Mechanisms and Cognitive Process of Memorization.
IEEE ICCI 2007: 284-293 |
| 78 | | Yousheng Tian,
Yingxu Wang:
A Knowledge Representation Tool Based on Concept Algebra.
IEEE ICCI 2007: 294-301 |
| 77 | | Yingxu Wang:
Cognitive Informatics Foundations of Nature and Machine Intelligence.
IEEE ICCI 2007: 3-12 |
| 76 | | Yingxu Wang:
Formal Linguistics and the Deductive Grammar.
IEEE ICCI 2007: 43-51 |
| 75 | | Yingxu Wang:
The Theoretical Framework and Cognitive Process of Learning.
IEEE ICCI 2007: 470-479 |
| 74 | | Kai Hu,
Yingxu Wang:
Autolearner: An Autonomic Machine Learning System Based on Concept Algebra.
IEEE ICCI 2007: 502-512 |
| 73 | | Yingxu Wang:
The Theoretical Framework of Cognitive Informatics.
IJCINI 1(1): 1-27 (2007) |
| 72 | | Yingxu Wang:
On Laws of Work Organization in Human Cooperation.
IJCINI 1(2): 1-15 (2007) |
| 71 | | Yingxu Wang,
Günther Ruhe:
The Cognitive Process of Decision Making.
IJCINI 1(2): 73-85 (2007) |
| 70 | | Yingxu Wang:
Toward Theoretical Foundations of Autonomic Computing.
IJCINI 1(3): 1-16 (2007) |
| 69 | | Yingxu Wang:
The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain.
IJCINI 1(3): 66-77 (2007) |
| 68 | | Yingxu Wang:
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes.
IJCINI 1(4): 1-13 (2007) |
| 67 | | Yingxu Wang:
The Cognitive Processes of Formal Inferences.
IJCINI 1(4): 75-86 (2007) |
| 2006 |
|---|
| 66 | | Yiyu Yao,
Zhongzhi Shi,
Yingxu Wang,
Witold Kinsner:
Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China
IEEE 2006 |
| 65 | | Fabricio Rusu-Banu,
Yingxu Wang:
Formal Description of Time Management in Real-Time Operating Systems.
CCECE 2006: 1300-1303 |
| 64 | | Vincent Chiew,
Yingxu Wang:
Design of a Cognitive Complexities Measurement and Analysis Tool.
CCECE 2006: 1667-1670 |
| 63 | | Yingxu Wang:
The OAR Model for Knowledge Representation.
CCECE 2006: 1727-1730 |
| 62 | | Yingxu Wang:
A Unified Mathematical Model of Programs.
CCECE 2006: 2381-2384 |
| 61 | | Yingxu Wang,
Yuyu Yuan:
The Formal Economic Model of Software Engineering.
CCECE 2006: 2385-2388 |
| 60 | | Yingxu Wang:
On Constraints and Count-Measures for Software Engineering.
CCECE 2006: 2389-2392 |
| 59 | | Yingxu Wang:
A Mathematical Model for Explaining the Mythic Man-Month.
CCECE 2006: 2393-2396 |
| 58 | | Xinming Tan,
Yingxu Wang,
Cyprian F. Ngolah:
Design and Implementation of an Automatic RTPA Code Generator.
CCECE 2006: 434-437 |
| 57 | | Cyprian F. Ngolah,
Yingxu Wang,
Xinming Tan:
Implementing the Real-Time Processes of RTPA using Real-Time Java.
CCECE 2006: 602-605 |
| 56 | | Tony Khoo,
Yingxu Wang:
Formalization of UML Models by RTPA.
CCECE 2006: 612-615 |
| 55 | | Yingxu Wang:
On the Big-R Notation for Describing Iterative and Recursive Behaviors.
IEEE ICCI 2006: 132-140 |
| 54 | | Yingxu Wang:
Cognitive Complexity of Software and its Measurement.
IEEE ICCI 2006: 226-235 |
| 53 | | Jian Huang,
Yingxu Wang:
Design of an Integrated Hyper Specification Documentation Tool.
IEEE ICCI 2006: 248-254 |
| 52 | | Yingxu Wang:
Cognitive Informatics: Towards Future Generation Computers that Think and Feel.
IEEE ICCI 2006: 3-7 |
| 51 | | Yingxu Wang:
On Concept Algebra and Knowledge Representation.
IEEE ICCI 2006: 320-331 |
| 50 | | Yingxu Wang:
On Abstract Systems and System Algebra.
IEEE ICCI 2006: 332-343 |
| 49 | | Xinming Tan,
Yingxu Wang:
Transforming RTPA Mathematical Models of System Behaviors Into C++.
IEEE ICCI 2006: 362-369 |
| 48 | | Jian Huang,
Yingxu Wang:
Formal Specification and Representation of Design Patterns Using RTPA.
IEEE ICCI 2006: 370-379 |
| 47 | | Yingxu Wang:
Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation.
RSKT 2006: 69-78 |
| 2005 |
|---|
| 46 | | Yingxu Wang:
On cognitive properties of human factors in engineering.
IEEE ICCI 2005: 174-182 |
| 45 | | Yingxu Wang:
The cognitive processes of abstraction and formal inferences.
IEEE ICCI 2005: 18-26 |
| 44 | | Yingxu Wang:
On the cognitive processes of human perception.
IEEE ICCI 2005: 203-210 |
| 43 | | Yingxu Wang:
Mathematical models and properties of games.
IEEE ICCI 2005: 294-300 |
| 42 | | Yingxu Wang:
A novel decision grid theory for dynamic decision making.
IEEE ICCI 2005: 308-314 |
| 41 | | Cyprian F. Ngolah,
Yingxu Wang:
Formal specification of CORBA-based distributed objects and behaviors.
IEEE ICCI 2005: 331-339 |
| 40 | | Yingxu Wang:
Psychological experiments on the cognitive complexities of fundamental control structures of software systems.
IEEE ICCI 2005: 4-5 |
| 2004 |
|---|
| 39 | | Christine W. Chan,
Witold Kinsner,
Yingxu Wang,
D. Michael Miller:
Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada
IEEE Computer Society 2004 |
| 38 | | Yingxu Wang,
Dong Liu,
Günther Ruhe:
Formal Description of the Cognitive Process of Decision Making.
IEEE ICCI 2004: 124-130 |
| 37 | | Yingxu Wang:
On the Cognitive Informatics Foundations of Software Engineering.
IEEE ICCI 2004: 22-31 |
| 36 | | Yingxu Wang:
On Autonomous Computing and Cognitive Processes.
IEEE ICCI 2004: 3-4 |
| 35 | | Xinming Tan,
Yingxu Wang,
Cyprian F. Ngolah:
Specification of the RTPA Grammar and Its Recognition.
IEEE ICCI 2004: 54-63 |
| 34 | | Vincent Chiew,
Yingxu Wang:
Formal Description of the Cognitive Process of Problem Solving.
IEEE ICCI 2004: 74-83 |
| 33 | | Yingxu Wang,
Shushma Patel:
Guest editorial: On Modeling Object-Oriented Information Systems.
Software and System Modeling 3(4): 258-261 (2004) |
| 2003 |
|---|
| 32 | | Dilip Patel,
Shushma Patel,
Yingxu Wang:
Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 18-20 August 2003, London, UK
IEEE Computer Society 2003 |
| 31 | | Vincent Chiew,
Yingxu Wang:
From Cognitive Psychology to Cognitive Informatics.
IEEE ICCI 2003: 114-120 |
| 30 | | Yingxu Wang:
On Cognitive Mechanisms of the Eyes: The Sensor vs. the Browser of the Brain.
IEEE ICCI 2003: 225-225 |
| 29 | | Yingxu Wang,
Dong Liu:
On Information and Knowledge Representation in the Brain.
IEEE ICCI 2003: 26-31 |
| 28 | | Yingxu Wang,
Jingqiu Shao:
Measurement of the Cognitive Functional Complexity of Software.
IEEE ICCI 2003: 67-74 |
| 27 | | Yingxu Wang,
Shushma Patel,
Dilip Patel,
Ying Wang:
A Layered Reference Model of the Brain.
IEEE ICCI 2003: 7-17 |
| 26 | | Yingxu Wang,
Davrondjon Gafurov:
The Cognitive Process of Comprehension.
IEEE ICCI 2003: 93-97 |
| 25 | | Yingxu Wang:
On the Latest Development in Cognitive Informatics: Conference Summary of the First IEEE International Conference on Cognitive Informatics (ICCI '02).
ACM SIGSOFT Software Engineering Notes 28(2): 2 (2003) |
| 2002 |
|---|
| 24 | | Yingxu Wang:
Real-Time Process Algebra and Its Applications.
10th Anniversary Colloquium of UNU/IIST 2002: 322-336 |
| 23 | | Yingxu Wang:
On the Informatics Laws of Software.
IEEE ICCI 2002: 132-144 |
| 22 | | Yingxu Wang:
A New Mathematical Notation for Describing Notion and Thought in Software Design.
IEEE ICCI 2002: 193-202 |
| 21 | | Yingxu Wang,
Ying Wang:
Cognitive Models of the Brain.
IEEE ICCI 2002: 259-269 |
| 20 | | Yingxu Wang:
On Cognitive Informatics.
IEEE ICCI 2002: 34-42 |
| 19 | | Yingxu Wang,
Graham King:
A European COTS Architecture with Built-in Tests.
OOIS 2002: 336-347 |
| 18 | | Yingxu Wang:
The Latest Development on Cognitive Informatics.
OOIS 2002: 5 |
| 17 | | Yingxu Wang,
Qing He,
Chris Kliewer,
Tony Khoo,
Vincent Chiew,
Wendy Nikoforuk,
Lian Chen:
Product and Process Metrics: A Software Engineering Measurement Expert System.
PROFES 2002: 337-350 |
| 16 | | Vincent Chiew,
Yingxu Wang:
Software Engineering Process Benchmarking.
PROFES 2002: 519-531 |
| 15 | | Yingxu Wang:
The Real-Time Process Algebra (RTPA).
Ann. Software Eng. 14(1-4): 235-274 (2002) |
| 14 | | Yingxu Wang,
Antony Bryant:
Process-Based Software Engineering: Building the Infrastructures.
Ann. Software Eng. 14(1-4): 9-37 (2002) |
| 2001 |
|---|
| 13 | | Yingxu Wang,
Shushma Patel,
Ronald Johnston:
OOIS'2001, 7th International Conference on Object Oriented Information Systems, 27-29 August 2001, Calgary, Canada. Proceedings
Springer 2001 |
| 12 | | Yingxu Wang,
Hareton K. N. Leung:
A Benchmark-Based Adaptable Software Process Model.
EUROMICRO 2001: 216-224 |
| 11 | | Yingxu Wang:
Formal Description of Object-Oriented Software Measurement and Metrics in SEMS.
OOIS 2001: 123-132 |
| 10 | | Yingxu Wang,
Shushma Patel,
Dilip Patel:
On Built-in Test Classes for Object-Oriented and Component-Based Information Systems.
OOIS 2001: 307- |
| 2000 |
|---|
| 9 | | Yingxu Wang,
Dilip Patel,
Graham King,
Ian Court,
Geoff Staples,
Margaret Ross,
Mohamed Fayad:
On built-in test reuse in object-oriented framework design.
ACM Comput. Surv. 32(1es): 7 (2000) |
| 8 | | Yingxu Wang,
Dilip Patel:
Editors' introduction: Comparative software engineering: Review and perspectives.
Ann. Software Eng. 10: 1-10 (2000) |
| 7 | | Yingxu Wang:
Formal Description of the UML Architecture and Extensibility.
L'OBJET 6(4): (2000) |
| 1999 |
|---|
| 6 | | Yingxu Wang,
Graham King,
Hakan Wickburg:
A Method for Built-in Tests in Component-based Software Maintenance.
CSMR 1999: 186-189 |
| 5 | | Yingxu Wang,
Graham King,
Hakan Wickberg,
Alec Dorling:
What the Softward Industry Says about the Practices Modelled in Current Softward Process Models?
EUROMICRO 1999: 2162- |
| 4 | | Yingxu Wang,
Alec Dorling,
Hakan Wickberg,
Graham King:
Experience in Comparative Process Assessment with Multi-Process-Models.
EUROMICRO 1999: 2268-2273 |
| 3 | | Yingxu Wang,
Graham King,
Dilip Patel,
Shushma Patel,
Alec Dorling:
On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests.
Ann. Software Eng. 7: 283-296 (1999) |
| 2 | | Yingxu Wang,
Islam Choudhury,
Dilip Patel,
Shushma Patel,
Alec Dorling,
Hakan Wickberg,
Graham King:
On the Foundations of Object-Oriented Informations Systems.
L'OBJET 5(1): (1999) |
| 1998 |
|---|
| 1 | | Yingxu Wang,
Graham King,
Alec Dorling,
Dilip Patel,
Ian Court,
Geoff Staples,
Margaret Ross:
A Worldwide Survey of Base Process Activities Towards Software Engineering Process Excellence.
ICSE 1998: 439-442 |
