| 2008 |
|---|
| 84 | EE | Yingxu Wang,
Jian Huang:
Formal Modeling and Specification of Design Patterns Using RTPA.
IJCINI 2(1): 100-111 (2008) |
| 83 | EE | Yingxu Wang:
On the Big-R Notation for Describing Interative and Recursive Behaviors.
IJCINI 2(1): 17-28 (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 | EE | Yingxu Wang:
Formal Descriptions of a Set of Meta Cognitive Processes of the Brain.
IEEE ICCI 2007: 26-34 |
| 80 | EE | Yingxu Wang:
On Cognitive Informatics Foundations of Knowledge and Formal Knowledge Systems.
IEEE ICCI 2007: 263-272 |
| 79 | EE | Yingxu Wang:
Formal Description of the Mechanisms and Cognitive Process of Memorization.
IEEE ICCI 2007: 284-293 |
| 78 | EE | Yousheng Tian,
Yingxu Wang:
A Knowledge Representation Tool Based on Concept Algebra.
IEEE ICCI 2007: 294-301 |
| 77 | EE | Yingxu Wang:
Cognitive Informatics Foundations of Nature and Machine Intelligence.
IEEE ICCI 2007: 3-12 |
| 76 | EE | Yingxu Wang:
Formal Linguistics and the Deductive Grammar.
IEEE ICCI 2007: 43-51 |
| 75 | EE | Yingxu Wang:
The Theoretical Framework and Cognitive Process of Learning.
IEEE ICCI 2007: 470-479 |
| 74 | EE | Kai Hu,
Yingxu Wang:
Autolearner: An Autonomic Machine Learning System Based on Concept Algebra.
IEEE ICCI 2007: 502-512 |
| 73 | EE | Yingxu Wang:
The Theoretical Framework of Cognitive Informatics.
IJCINI 1(1): 1-27 (2007) |
| 72 | EE | Yingxu Wang:
On Laws of Work Organization in Human Cooperation.
IJCINI 1(2): 1-15 (2007) |
| 71 | EE | Yingxu Wang,
Günther Ruhe:
The Cognitive Process of Decision Making.
IJCINI 1(2): 73-85 (2007) |
| 70 | EE | Yingxu Wang:
Toward Theoretical Foundations of Autonomic Computing.
IJCINI 1(3): 1-16 (2007) |
| 69 | EE | Yingxu Wang:
The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain.
IJCINI 1(3): 66-77 (2007) |
| 68 | EE | Yingxu Wang:
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes.
IJCINI 1(4): 1-13 (2007) |
| 67 | EE | 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 | EE | Fabricio Rusu-Banu,
Yingxu Wang:
Formal Description of Time Management in Real-Time Operating Systems.
CCECE 2006: 1300-1303 |
| 64 | EE | Vincent Chiew,
Yingxu Wang:
Design of a Cognitive Complexities Measurement and Analysis Tool.
CCECE 2006: 1667-1670 |
| 63 | EE | Yingxu Wang:
The OAR Model for Knowledge Representation.
CCECE 2006: 1727-1730 |
| 62 | EE | Yingxu Wang:
A Unified Mathematical Model of Programs.
CCECE 2006: 2381-2384 |
| 61 | EE | Yingxu Wang,
Yuyu Yuan:
The Formal Economic Model of Software Engineering.
CCECE 2006: 2385-2388 |
| 60 | EE | Yingxu Wang:
On Constraints and Count-Measures for Software Engineering.
CCECE 2006: 2389-2392 |
| 59 | EE | Yingxu Wang:
A Mathematical Model for Explaining the Mythic Man-Month.
CCECE 2006: 2393-2396 |
| 58 | EE | Xinming Tan,
Yingxu Wang,
Cyprian F. Ngolah:
Design and Implementation of an Automatic RTPA Code Generator.
CCECE 2006: 434-437 |
| 57 | EE | Cyprian F. Ngolah,
Yingxu Wang,
Xinming Tan:
Implementing the Real-Time Processes of RTPA using Real-Time Java.
CCECE 2006: 602-605 |
| 56 | EE | Tony Khoo,
Yingxu Wang:
Formalization of UML Models by RTPA.
CCECE 2006: 612-615 |
| 55 | EE | Yingxu Wang:
On the Big-R Notation for Describing Iterative and Recursive Behaviors.
IEEE ICCI 2006: 132-140 |
| 54 | EE | Yingxu Wang:
Cognitive Complexity of Software and its Measurement.
IEEE ICCI 2006: 226-235 |
| 53 | EE | Jian Huang,
Yingxu Wang:
Design of an Integrated Hyper Specification Documentation Tool.
IEEE ICCI 2006: 248-254 |
| 52 | EE | Yingxu Wang:
Cognitive Informatics: Towards Future Generation Computers that Think and Feel.
IEEE ICCI 2006: 3-7 |
| 51 | EE | Yingxu Wang:
On Concept Algebra and Knowledge Representation.
IEEE ICCI 2006: 320-331 |
| 50 | EE | Yingxu Wang:
On Abstract Systems and System Algebra.
IEEE ICCI 2006: 332-343 |
| 49 | EE | Xinming Tan,
Yingxu Wang:
Transforming RTPA Mathematical Models of System Behaviors Into C++.
IEEE ICCI 2006: 362-369 |
| 48 | EE | Jian Huang,
Yingxu Wang:
Formal Specification and Representation of Design Patterns Using RTPA.
IEEE ICCI 2006: 370-379 |
| 47 | EE | Yingxu Wang:
Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation.
RSKT 2006: 69-78 |
| 2005 |
|---|
| 46 | EE | Yingxu Wang:
On cognitive properties of human factors in engineering.
IEEE ICCI 2005: 174-182 |
| 45 | EE | Yingxu Wang:
The cognitive processes of abstraction and formal inferences.
IEEE ICCI 2005: 18-26 |
| 44 | EE | Yingxu Wang:
On the cognitive processes of human perception.
IEEE ICCI 2005: 203-210 |
| 43 | EE | Yingxu Wang:
Mathematical models and properties of games.
IEEE ICCI 2005: 294-300 |
| 42 | EE | Yingxu Wang:
A novel decision grid theory for dynamic decision making.
IEEE ICCI 2005: 308-314 |
| 41 | EE | Cyprian F. Ngolah,
Yingxu Wang:
Formal specification of CORBA-based distributed objects and behaviors.
IEEE ICCI 2005: 331-339 |
| 40 | EE | 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 | EE | Yingxu Wang,
Dong Liu,
Günther Ruhe:
Formal Description of the Cognitive Process of Decision Making.
IEEE ICCI 2004: 124-130 |
| 37 | EE | Yingxu Wang:
On the Cognitive Informatics Foundations of Software Engineering.
IEEE ICCI 2004: 22-31 |
| 36 | EE | Yingxu Wang:
On Autonomous Computing and Cognitive Processes.
IEEE ICCI 2004: 3-4 |
| 35 | EE | Xinming Tan,
Yingxu Wang,
Cyprian F. Ngolah:
Specification of the RTPA Grammar and Its Recognition.
IEEE ICCI 2004: 54-63 |
| 34 | EE | Vincent Chiew,
Yingxu Wang:
Formal Description of the Cognitive Process of Problem Solving.
IEEE ICCI 2004: 74-83 |
| 33 | EE | 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 | EE | Vincent Chiew,
Yingxu Wang:
From Cognitive Psychology to Cognitive Informatics.
IEEE ICCI 2003: 114-120 |
| 30 | EE | Yingxu Wang:
On Cognitive Mechanisms of the Eyes: The Sensor vs. the Browser of the Brain.
IEEE ICCI 2003: 225-225 |
| 29 | EE | Yingxu Wang,
Dong Liu:
On Information and Knowledge Representation in the Brain.
IEEE ICCI 2003: 26-31 |
| 28 | EE | Yingxu Wang,
Jingqiu Shao:
Measurement of the Cognitive Functional Complexity of Software.
IEEE ICCI 2003: 67-74 |
| 27 | EE | Yingxu Wang,
Shushma Patel,
Dilip Patel,
Ying Wang:
A Layered Reference Model of the Brain.
IEEE ICCI 2003: 7-17 |
| 26 | EE | Yingxu Wang,
Davrondjon Gafurov:
The Cognitive Process of Comprehension.
IEEE ICCI 2003: 93-97 |
| 25 | EE | 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 | EE | Yingxu Wang:
Real-Time Process Algebra and Its Applications.
10th Anniversary Colloquium of UNU/IIST 2002: 322-336 |
| 23 | EE | Yingxu Wang:
On the Informatics Laws of Software.
IEEE ICCI 2002: 132-144 |
| 22 | EE | Yingxu Wang:
A New Mathematical Notation for Describing Notion and Thought in Software Design.
IEEE ICCI 2002: 193-202 |
| 21 | EE | Yingxu Wang,
Ying Wang:
Cognitive Models of the Brain.
IEEE ICCI 2002: 259-269 |
| 20 | EE | Yingxu Wang:
On Cognitive Informatics.
IEEE ICCI 2002: 34-42 |
| 19 | EE | Yingxu Wang,
Graham King:
A European COTS Architecture with Built-in Tests.
OOIS 2002: 336-347 |
| 18 | EE | Yingxu Wang:
The Latest Development on Cognitive Informatics.
OOIS 2002: 5 |
| 17 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Yingxu Wang,
Graham King,
Hakan Wickburg:
A Method for Built-in Tests in Component-based Software Maintenance.
CSMR 1999: 186-189 |
| 5 | EE | 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 | EE | 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 |
