2009 |
120 | EE | 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) |
119 | EE | Yingxu Wang:
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing.
Fundam. Inform. 90(3): 283-303 (2009) |
118 | EE | Yingxu Wang,
Du Zhang,
Shusaku Tsumoto:
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I).
Fundam. Inform. 90(3): (2009) |
117 | EE | Yingxu Wang:
A Formal Syntax of Natural Languages and the Deductive Grammar.
Fundam. Inform. 90(4): 353-368 (2009) |
116 | EE | Yingxu Wang,
Du Zhang,
Shusaku Tsumoto:
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II).
Fundam. Inform. 90(4): (2009) |
115 | EE | Yingxu Wang:
Toward Formal Models of the Theoretical Framework of Fundamental Economics.
Fundam. Inform. 90(4): 443-459 (2009) |
114 | EE | Yingxu Wang:
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS).
IJCINI 3(1): 1-16 (2009) |
113 | EE | Yingxu Wang:
Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion.
IJCINI 3(2): 84-98 (2009) |
112 | EE | Yingxu Wang:
On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence.
IJSSCI 1(1): 1-17 (2009) |
111 | EE | Yingxu Wang,
Lotfi A. Zadeh,
Yiyu Yao:
On the System Algebra Foundations for Granular Computing.
IJSSCI 1(1): 64-86 (2009) |
110 | EE | Yingxu Wang,
Shushma Patel:
Exploring the Cognitive Foundations of Software Engineering.
IJSSCI 1(2): 1-19 (2009) |
109 | EE | Yingxu Wang:
On the Cognitive Complexity of Software and its Quantification and Formal Measurement.
IJSSCI 1(2): 31-53 (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 | EE | Dongbo Liu,
Guorong Liu,
Miaohua Yu,
Yingxu Wang:
An Image Retrieval Method Using Modified LBG Algorithm.
CSSE (4) 2008: 528-531 |
105 | EE | Dongbo Liu,
Guorong Liu,
Miaohua Yu,
Yingxu Wang:
An Image Retrieval Method Based on Tree-Structured Wavelet Transform.
CSSE (4) 2008: 536-539 |
104 | EE | Yingxu Wang:
On cognitive foundations of creativity and the cognitive process of creation.
IEEE ICCI 2008: 104-113 |
103 | EE | Yingxu Wang:
The cognitive processes of analysis and synthesis in formal inferences.
IEEE ICCI 2008: 223-231 |
102 | EE | Yingxu Wang:
The cognitive processes of perceptions on spatiality, time, and motion.
IEEE ICCI 2008: 239-248 |
101 | EE | Yingxu Wang:
On abstract intelligence and its denotational mathematics foundations.
IEEE ICCI 2008: 3-12 |
100 | EE | Yingxu Wang,
Ying Wang:
The cognitive processes of consciousness and attention.
IEEE ICCI 2008: 30-39 |
99 | EE | Yingxu Wang:
A cognitive informatics theory for visual information processing.
IEEE ICCI 2008: 317-323 |
98 | EE | Yingxu Wang:
On Visual Semantic Algebra (VSA) and the cognitive process of pattern recognition.
IEEE ICCI 2008: 384-393 |
97 | EE | Yingxu Wang:
On Long Lifespan systems.
IEEE ICCI 2008: 418-428 |
96 | EE | Yingxu Wang,
Jian Huang:
Formal Modeling and Specification of Design Patterns Using RTPA.
IJCINI 2(1): 100-111 (2008) |
95 | EE | Yingxu Wang:
On the Big-R Notation for Describing Interative and Recursive Behaviors.
IJCINI 2(1): 17-28 (2008) |
94 | EE | Yingxu Wang:
On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling.
IJCINI 2(2): 1-19 (2008) |
93 | EE | Yingxu Wang:
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling.
IJCINI 2(2): 20-43 (2008) |
92 | EE | Yingxu Wang:
RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors.
IJCINI 2(2): 44-62 (2008) |
91 | EE | Yingxu Wang:
Deductive Semantics of RTPA.
IJCINI 2(2): 95-121 (2008) |
90 | EE | Xinming Tan,
Yingxu Wang:
A Denotational Semantics of Real-Time Process Algebra (RTPA).
IJCINI 2(3): 57-70 (2008) |
89 | EE | Yingxu Wang,
Cyprian F. Ngolah:
An Operational Semantics of Real-Time Process Algebra (RTPA).
IJCINI 2(3): 71-89 (2008) |
88 | EE | Yingxu Wang:
Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain.
IJCINI 2(4): 15-28 (2008) |
87 | EE | Yingxu Wang:
On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization.
IJCINI 2(4): 70-84 (2008) |
86 | EE | Yingxu Wang,
Yiyu Yao,
Guoyin Wang:
Perspectives on Denotational Mathematics: New Means of Thought.
Transactions on Computational Science 2: 1-5 (2008) |
85 | EE | Yingxu Wang:
Toward a Generic Mathematical Model of Abstract Game Theories.
Transactions on Computational Science 2: 205-223 (2008) |
84 | EE | Yingxu Wang:
On Mathematical Laws of Software.
Transactions on Computational Science 2: 46-83 (2008) |
83 | EE | 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 | 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 |