Yingxu Wang

Yingxu Wang: Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (II). IJCINI 6(1): 21-47 (2012)

Yingxu Wang: The Cognitive Mechanisms and Formal Models of Consciousness. IJCINI 6(2): 23-40 (2012)

Yingxu Wang, Aderemi Adewumi: The Formal Design Models of Digraph Architectures and Behaviors. IJSSCI 4(1): 100-129 (2012)

Luis-Felipe Rodríguez, Félix Ramos, Yingxu Wang: Cognitive Computational Models of Emotions and Affective Behaviors. IJSSCI 4(2): 41-63 (2012)

Yingxu Wang, Yousheng Tian: Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA. IJSSCI 4(2): 81-104 (2012)

Yingxu Wang: On abstract intelligence and brain informatics: Mapping the cognitive functions onto the neural architectures. ICCI*CC 2012: 5-6

Yingxu Wang, Robert C. Berwick: On formal models for cognitive linguistics. ICCI*CC 2012: 7-17

Yingxu Wang, Robert C. Berwick, Xiangfeng Luo, Jingsheng Lei: A formal measurement of the cognitive complexity of texts in cognitive linguistics. ICCI*CC 2012: 94-102

Kenji Sugawara, Yingxu Wang, Fumio Hattori, Toyoaki Nishida, Shigeru Fujita, Witold Kinsner, Lotfi A. Zadeh (Eds.): 11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2012, Kyoto, Japan, August 22-24, 2012. IEEE 2012, isbn 978-1-4673-2794-7

Yingxu Wang, Bernard Widrow, Bo Zhang, Witold Kinsner, Kenji Sugawara, Fuchun Sun, Jianhua Lu, Thomas Weise, Du Zhang: Perspectives on the Field of Cognitive Informatics and its Future Development. IJCINI 5(1): 1-17 (2011)

Yingxu Wang: Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive Computing. IJCINI 5(1): 75-93 (2011)

Jeff Bancroft, Yingxu Wang: A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development. IJCINI 5(2): 17-36 (2011)

Yingxu Wang, Yousheng Tian, Kendall Hu: Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra. IJCINI 5(3): 1-29 (2011)

Yingxu Wang, Robert C. Berwick, Simon Haykin, Witold Pedrycz, Witold Kinsner, George Baciu, Du Zhang, Virendrakumar C. Bhavsar: Cognitive Informatics and Cognitive Computing in Year 10 and Beyond. IJCINI 5(4): 1-21 (2011)

Yingxu Wang: Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I). IJCINI 5(4): 61-82 (2011)

Yingxu Wang: On Cognitive Models of Causal Inferences and Causation Networks. IJSSCI 3(1): 50-60 (2011)

Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.-Y. Sheu: The Formal Design Model of a File Management System (FMS). IJSSCI 3(1): 90-113 (2011)

Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.-Y. Sheu: The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists). IJSSCI 3(2): 83-102 (2011)

Yingxu Wang, Vincent Chiew: Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems. IJSSCI 3(3): 23-42 (2011)

Yingxu Wang, Jason Huang, Jingsheng Lei: The Formal Design Models of a Universal Array (UA) and its Implementation. IJSSCI 3(3): 69-89 (2011)

Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Günther Ruhe: A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine. IJSSCI 3(4): 1-17 (2011)

Cyprian F. Ngolah, Ed Morden, Yingxu Wang: Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks. IJSSCI 3(4): 67-83 (2011)

Yingxu Wang, Xinming Tan: The Formal Design Models of Tree Architectures and Behaviors. IJSSCI 3(4): 84-108 (2011)

Yingxu Wang: On inference algebra: A formal means for machine reasoning and cognitive computing. IEEE ICCI*CC 2011: 4-6

Yingxu Wang, Robert C. Berwick, Simon Haykin, Witold Pedrycz, George Baciu, Virendrakumar C. Bhavsar, Marina L. Gavrilova, Witold Kinsner, Du Zhang: Cognitive Informatics in Year 10 and Beyond: summary of the plenary panel. IEEE ICCI*CC 2011: 11-22

Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Günther Ruhe: A formal knowledge representation system for the cognitive learning engine. IEEE ICCI*CC 2011: 23-32

Yingxu Wang, Yousheng Tian, Kendall Hu: The operational semantics of Concept Algebra for cognitive computing and machine learning. IEEE ICCI*CC 2011: 49-58

Luis-Felipe Rodríguez, Félix Ramos, Yingxu Wang: Cognitive computational models of emotions. IEEE ICCI*CC 2011: 75-84

Md. Maruf Monwar, Marina L. Gavrilova, Yingxu Wang: A novel fuzzy multimodal information fusion technology for human biometric traits identification. IEEE ICCI*CC 2011: 112-119

Cyprian F. Ngolah, Ed Morden, Yingxu Wang: An intelligent fault recognizer for rotating machinery via remote characteristic vibration signal detection. IEEE ICCI*CC 2011: 135-143

Yingxu Wang, Vincent Chiew: On the cognitive process of human problem solving. Cognitive Systems Research 11(1): 81-92 (2010)

Yingxu Wang: A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing. Int. J. of Applied Metaheuristic Computing 1(1): 110-128 (2010)

Yingxu Wang, George Baciu, Yiyu Yao, Witold Kinsner, Keith Chan, Bo Zhang, Stuart R. Hameroff, Ning Zhong, Chu-Ren Huang, Ben Goertzel, Duoqian Miao, Kenji Sugawara, Guoyin Wang, Jane You, Du Zhang, Haibin Zhu: Perspectives on Cognitive Informatics and Cognitive Computing. IJCINI 4(1): 1-29 (2010)

Kai Hu, Yingxu Wang, Yousheng Tian: A Web Knowledge Discovery Engine Based on Concept Algebra. IJCINI 4(1): 80-97 (2010)

Yingxu Wang, Davrondzhon Gafurov: The Cognitive Process of Comprehension: A Formal description. IJCINI 4(3): 44-58 (2010)

Yingxu Wang: On Formal and Cognitive Semantics for Semantic Computing. Int. J. Semantic Computing 4(2): 203-237 (2010)

Yingxu Wang: On Concept Algebra for Computing with Words (CWW). Int. J. Semantic Computing 4(3): 331-356 (2010)

Yingxu Wang, Yanan Zhang, Phillip C.-Y. Sheu, Xuhui Li, Hong Guo: The Formal Design Model of an Automatic Teller Machine (ATM). IJSSCI 2(1): 102-131 (2010)

Yingxu Wang, Xinming Tan, Cyprian F. Ngolah: Design and Implementation of an Autonomic Code Generator Based on RTPA. IJSSCI 2(2): 44-65 (2010)

Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian: The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks. IJSSCI 2(2): 105-122 (2010)

Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian: The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors. IJSSCI 2(3): 79-105 (2010)

Yingxu Wang, Witold Pedrycz, George Baciu, Ping Chen, Guoyin Wang, Yiyu Yao: Perspectives on Cognitive Computing and Applications. IJSSCI 2(4): 32-44 (2010)

Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Philip Sheu: The Formal Design Models of a Set of Abstract Data Types (ADTs). IJSSCI 2(4): 72-100 (2010)

Yingxu Wang: Cognitive Robots. IEEE Robot. Automat. Mag. 17(4): 54-62 (2010)

Yingxu Wang: Cognitive computing and World Wide Wisdom (WWW+). IEEE ICCI 2010: 4-5

Yingxu Wang, Witold Pedrycz, George Baciu, Ping Chen, Hugo de Garis, Zhongzhi Shi, Guoyin Wang, Patrick Wang, Yiyu Yao: Perspectives on cognitive computing and applications: Summary of plenary Panel I of IEEE ICCI'10. IEEE ICCI 2010: 8-16

Yingxu Wang, Bernard Widrow, Bo Zhang, Witold Kinsner, Kenji Sugawara, Fuchun Sun, Thomas Weise, Yixin Zhong, Du Zhang: Perspectives on cognitive informatics and its future development: Summary of plenary panel II of IEEE ICCI'10. IEEE ICCI 2010: 17-25

Yingxu Wang: Cognitive models of causal inferences using causation networks. IEEE ICCI 2010: 34-39

Yingxu Wang: Cognitive Informatics and Denotational Mathematical Means for Brain Informatics. Brain Informatics 2010: 2-13

Vincent Chiew, Yingxu Wang: A large-scale empirical study on the cognitive complexity of software. CCECE 2010: 1-4

Fuchun Sun, Yingxu Wang, Jianhua Lu, Bo Zhang, Witold Kinsner, Lotfi A. Zadeh (Eds.): Proceedings of the 9th IEEE International Conference on Cognitive Informatics, ICCI 2010, July 7-9, 2010, Beijing, China. IEEE 2010, isbn 978-1-4244-8041-8

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)

Yingxu Wang: Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing. Fundam. Inform. 90(3): 283-303 (2009)

Yingxu Wang, Du Zhang, Shusaku Tsumoto: Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I). Fundam. Inform. 90(3) (2009)

Yingxu Wang: A Formal Syntax of Natural Languages and the Deductive Grammar. Fundam. Inform. 90(4): 353-368 (2009)

Yingxu Wang: Toward Formal Models of the Theoretical Framework of Fundamental Economics. Fundam. Inform. 90(4): 443-459 (2009)

Yingxu Wang, Du Zhang, Shusaku Tsumoto: Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II). Fundam. Inform. 90(4) (2009)

Yingxu Wang: A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS). IJCINI 3(1): 1-16 (2009)

Yingxu Wang: Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion. IJCINI 3(2): 84-98 (2009)

Yingxu Wang: The Cognitive Informatics Theory and Mathematical Models of Visual Information Processing in the Brain. IJCINI 3(3): 1-11 (2009)

Yingxu Wang: On Cognitive Foundations of Creativity and the Cognitive Process of Creation. IJCINI 3(4): 1-18 (2009)

Yingxu Wang: On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence. IJSSCI 1(1): 1-17 (2009)

Yingxu Wang, Lotfi A. Zadeh, Yiyu Yao: On the System Algebra Foundations for Granular Computing. IJSSCI 1(1): 64-86 (2009)

Yingxu Wang, Shushma Patel: Exploring the Cognitive Foundations of Software Engineering. IJSSCI 1(2): 1-19 (2009)

Yingxu Wang: On the Cognitive Complexity of Software and its Quantification and Formal Measurement. IJSSCI 1(2): 31-53 (2009)

Yingxu Wang: On Cognitive Computing. IJSSCI 1(3): 1-15 (2009)

Yingxu Wang: The Formal Design Model of a Telephone Switching System (TSS). IJSSCI 1(3): 92-116 (2009)

Yingxu Wang: On Visual Semantic Algebra (VSA): A Denotational Mathematical Structure for Modeling and Manipulating Visual Objects and Patterns. IJSSCI 1(4): 1-16 (2009)

Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Phillip C.-Y. Sheu, Shi Ying: The Formal Design Model of a Lift Dispatching System (LDS). IJSSCI 1(4): 111-137 (2009)

Yingxu Wang: Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations. Transactions on Computational Science 5: 1-19 (2009)

Yingxu Wang: Formal Description of the Cognitive Process of Memorization. Transactions on Computational Science 5: 81-98 (2009)

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)

Yingxu Wang, Witold Kinsner, Du Zhang: Special Issue on Cybernetics and Cognitive Informatics. IEEE Transactions on Systems, Man, and Cybernetics, Part B 39(4): 818-822 (2009)

Yingxu Wang, Witold Kinsner, Du Zhang: Contemporary Cybernetics and Its Facets of Cognitive Informatics and Computational Intelligence. IEEE Transactions on Systems, Man, and Cybernetics, Part B 39(4): 823-833 (2009)

Yingxu Wang: Cognitive Computing and machinable thought. IEEE ICCI 2009: 6-8

Yingxu Wang, George Baciu, Yiyu Yao, Bo Zhang, Witold Kinsner, Chu-Ren Huang, Keith Chan, Ben Goertzel, Duoqian Miao, Kenji Sugawara, Guoyin Wang, Jane You, Du Zhang, Ning Zhong, Haibin Zhu: Perspectives on Cognitive Informatics and Cognitive Computing: Summary of the Panel of IEEE ICCI'09. IEEE ICCI 2009: 9-27

Yingxu Wang: Granular algebra for modeling granular systems and granular computing. IEEE ICCI 2009: 145-154

Yingxu Wang: Fuzzy inferences methodologies for cognitive informatics and computational intelligence. IEEE ICCI 2009: 241-248

Yingxu Wang: Qualification and quantification of fuzzy linguistic variables and fuzzy expressions. IEEE ICCI 2009: 256-263

George Baciu, Yingxu Wang, Yiyu Yao, Witold Kinsner, Keith Chan, Lotfi A. Zadeh (Eds.): Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China. IEEE Computer Society 2009, isbn 978-1-4244-4642-1

Marina L. Gavrilova, Chih Jeng Kenneth Tan, Yingxu Wang, Keith C. C. Chan (Eds.): Transactions on Computational Science V, Special Issue on Cognitive Knowledge Representation. Lecture Notes in Computer Science 5540, Springer 2009, isbn 978-3-642-02096-4

Yingxu Wang: On the Big-R Notation for Describing Interative and Recursive Behaviors. IJCINI 2(1): 17-28 (2008)

Yingxu Wang, Jian Huang: Formal Modeling and Specification of Design Patterns Using RTPA. IJCINI 2(1): 100-111 (2008)

Yingxu Wang: On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling. IJCINI 2(2): 1-19 (2008)

Yingxu Wang: On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling. IJCINI 2(2): 20-43 (2008)

Yingxu Wang: RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors. IJCINI 2(2): 44-62 (2008)

Yingxu Wang: Deductive Semantics of RTPA. IJCINI 2(2): 95-121 (2008)

Xinming Tan, Yingxu Wang: A Denotational Semantics of Real-Time Process Algebra (RTPA). IJCINI 2(3): 57-70 (2008)

Yingxu Wang, Cyprian F. Ngolah: An Operational Semantics of Real-Time Process Algebra (RTPA). IJCINI 2(3): 71-89 (2008)

Yingxu Wang: Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain. IJCINI 2(4): 15-28 (2008)

Yingxu Wang: On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization. IJCINI 2(4): 70-84 (2008)

Yingxu Wang, Yiyu Yao, Guoyin Wang: Perspectives on Denotational Mathematics: New Means of Thought. Transactions on Computational Science 2: 1-5 (2008)

Yingxu Wang: On Contemporary Denotational Mathematics for Computational Intelligence. Transactions on Computational Science 2: 6-29 (2008)

Yingxu Wang: On Mathematical Laws of Software. Transactions on Computational Science 2: 46-83 (2008)

Yingxu Wang: Toward a Generic Mathematical Model of Abstract Game Theories. Transactions on Computational Science 2: 205-223 (2008)

Yingxu Wang: On abstract intelligence and its denotational mathematics foundations. IEEE ICCI 2008: 3-12

Yingxu Wang, Ying Wang: The cognitive processes of consciousness and attention. IEEE ICCI 2008: 30-39

Yingxu Wang: On cognitive foundations of creativity and the cognitive process of creation. IEEE ICCI 2008: 104-113

Yingxu Wang: The cognitive processes of analysis and synthesis in formal inferences. IEEE ICCI 2008: 223-231

Yingxu Wang: The cognitive processes of perceptions on spatiality, time, and motion. IEEE ICCI 2008: 239-248

Yingxu Wang: A cognitive informatics theory for visual information processing. IEEE ICCI 2008: 317-323

Yingxu Wang: On Visual Semantic Algebra (VSA) and the cognitive process of pattern recognition. IEEE ICCI 2008: 384-393

Yingxu Wang: On Long Lifespan systems. IEEE ICCI 2008: 418-428

Dongbo Liu, Guorong Liu, Miaohua Yu, Yingxu Wang: An Image Retrieval Method Using Modified LBG Algorithm. CSSE (4) 2008: 528-531

Dongbo Liu, Guorong Liu, Miaohua Yu, Yingxu Wang: An Image Retrieval Method Based on Tree-Structured Wavelet Transform. CSSE (4) 2008: 536-539

Yingxu Wang, Du Zhang, Jean-Claude Latombe, Witold Kinsner (Eds.): Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, ICCI 2008, Stanford University, California, USA, August 14-16, 2008. IEEE 2008

Marina L. Gavrilova, Chih Jeng Kenneth Tan, Yingxu Wang, Yiyu Yao, Guoyin Wang (Eds.): Transactions on Computational Science II. Lecture Notes in Computer Science 5150, Springer 2008, isbn 978-3-540-87562-8

Yingxu Wang: The Theoretical Framework of Cognitive Informatics. IJCINI 1(1): 1-27 (2007)

Yingxu Wang: On Laws of Work Organization in Human Cooperation. IJCINI 1(2): 1-15 (2007)

Yingxu Wang, Günther Ruhe: The Cognitive Process of Decision Making. IJCINI 1(2): 73-85 (2007)

Yingxu Wang: Toward Theoretical Foundations of Autonomic Computing. IJCINI 1(3): 1-16 (2007)

Yingxu Wang: The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain. IJCINI 1(3): 66-77 (2007)

Yingxu Wang: On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes. IJCINI 1(4): 1-13 (2007)

Yingxu Wang: The Cognitive Processes of Formal Inferences. IJCINI 1(4): 75-86 (2007)

Yingxu Wang: Cognitive Informatics Foundations of Nature and Machine Intelligence. IEEE ICCI 2007: 3-12

Yingxu Wang: Formal Descriptions of a Set of Meta Cognitive Processes of the Brain. IEEE ICCI 2007: 26-34

Yingxu Wang: Formal Linguistics and the Deductive Grammar. IEEE ICCI 2007: 43-51

Yingxu Wang: On Cognitive Informatics Foundations of Knowledge and Formal Knowledge Systems. IEEE ICCI 2007: 263-272

Yingxu Wang: Formal Description of the Mechanisms and Cognitive Process of Memorization. IEEE ICCI 2007: 284-293

Yousheng Tian, Yingxu Wang: A Knowledge Representation Tool Based on Concept Algebra. IEEE ICCI 2007: 294-301

Yingxu Wang: The Theoretical Framework and Cognitive Process of Learning. IEEE ICCI 2007: 470-479

Kai Hu, Yingxu Wang: Autolearner: An Autonomic Machine Learning System Based on Concept Algebra. IEEE ICCI 2007: 502-512

Du Zhang, Yingxu Wang, Witold Kinsner (Eds.): Proceedings of the Six IEEE International Conference on Cognitive Informatics, ICCI 2007, August 6-8, Lake Tahoe, CA, USA. IEEE 2007, isbn 1-4244-1327-3

Yingxu Wang: Cognitive Informatics: Towards Future Generation Computers that Think and Feel. IEEE ICCI 2006: 3-7

Yingxu Wang: On the Big-R Notation for Describing Iterative and Recursive Behaviors. IEEE ICCI 2006: 132-140

Yingxu Wang: Cognitive Complexity of Software and its Measurement. IEEE ICCI 2006: 226-235

Jian Huang, Yingxu Wang: Design of an Integrated Hyper Specification Documentation Tool. IEEE ICCI 2006: 248-254

Yingxu Wang: On Concept Algebra and Knowledge Representation. IEEE ICCI 2006: 320-331

Yingxu Wang: On Abstract Systems and System Algebra. IEEE ICCI 2006: 332-343

Xinming Tan, Yingxu Wang: Transforming RTPA Mathematical Models of System Behaviors Into C++. IEEE ICCI 2006: 362-369

Jian Huang, Yingxu Wang: Formal Specification and Representation of Design Patterns Using RTPA. IEEE ICCI 2006: 370-379

Xinming Tan, Yingxu Wang, Cyprian F. Ngolah: Design and Implementation of an Automatic RTPA Code Generator. CCECE 2006: 434-437

Cyprian F. Ngolah, Yingxu Wang, Xinming Tan: Implementing the Real-Time Processes of RTPA using Real-Time Java. CCECE 2006: 602-605

Tony Khoo, Yingxu Wang: Formalization of UML Models by RTPA. CCECE 2006: 612-615

Fabricio Rusu-Banu, Yingxu Wang: Formal Description of Time Management in Real-Time Operating Systems. CCECE 2006: 1300-1303

Vincent Chiew, Yingxu Wang: Design of a Cognitive Complexities Measurement and Analysis Tool. CCECE 2006: 1667-1670

Yingxu Wang: The OAR Model for Knowledge Representation. CCECE 2006: 1727-1730

Yingxu Wang: A Unified Mathematical Model of Programs. CCECE 2006: 2381-2384

Yingxu Wang, Yuyu Yuan: The Formal Economic Model of Software Engineering. CCECE 2006: 2385-2388

Yingxu Wang: On Constraints and Count-Measures for Software Engineering. CCECE 2006: 2389-2392

Yingxu Wang: A Mathematical Model for Explaining the Mythic Man-Month. CCECE 2006: 2393-2396

Yingxu Wang: Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation. RSKT 2006: 69-78

Yiyu Yao, Zhongzhi Shi, Yingxu Wang, Witold Kinsner (Eds.): Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China. IEEE 2006, isbn 1-4244-0475-4

Yingxu Wang: Psychological experiments on the cognitive complexities of fundamental control structures of software systems. IEEE ICCI 2005: 4-5

Yingxu Wang: The cognitive processes of abstraction and formal inferences. IEEE ICCI 2005: 18-26

Yingxu Wang: On cognitive properties of human factors in engineering. IEEE ICCI 2005: 174-182

Yingxu Wang: On the cognitive processes of human perception. IEEE ICCI 2005: 203-210

Yingxu Wang: Mathematical models and properties of games. IEEE ICCI 2005: 294-300

Yingxu Wang: A novel decision grid theory for dynamic decision making. IEEE ICCI 2005: 308-314

Cyprian F. Ngolah, Yingxu Wang: Formal specification of CORBA-based distributed objects and behaviors. IEEE ICCI 2005: 331-339

Yingxu Wang, Shushma Patel: Guest editorial: On Modeling Object-Oriented Information Systems. Software and System Modeling 3(4): 258-261 (2004)

Yingxu Wang: On Autonomous Computing and Cognitive Processes. IEEE ICCI 2004: 3-4

Yingxu Wang: On the Cognitive Informatics Foundations of Software Engineering. IEEE ICCI 2004: 22-31

Xinming Tan, Yingxu Wang, Cyprian F. Ngolah: Specification of the RTPA Grammar and Its Recognition. IEEE ICCI 2004: 54-63

Vincent Chiew, Yingxu Wang: Formal Description of the Cognitive Process of Problem Solving. IEEE ICCI 2004: 74-83

Yingxu Wang, Dong Liu, Günther Ruhe: Formal Description of the Cognitive Process of Decision Making. IEEE ICCI 2004: 124-130

Christine W. Chan, Witold Kinsner, Yingxu Wang, D. Michael Miller (Eds.): Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada. IEEE Computer Society 2004, isbn 0-7695-2190-8

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)

Yingxu Wang, Shushma Patel, Dilip Patel, Ying Wang: A Layered Reference Model of the Brain. IEEE ICCI 2003: 7-17

Yingxu Wang, Dong Liu: On Information and Knowledge Representation in the Brain. IEEE ICCI 2003: 26-31

Yingxu Wang, Jingqiu Shao: Measurement of the Cognitive Functional Complexity of Software. IEEE ICCI 2003: 67-74

Yingxu Wang, Davrondjon Gafurov: The Cognitive Process of Comprehension. IEEE ICCI 2003: 93-97

Vincent Chiew, Yingxu Wang: From Cognitive Psychology to Cognitive Informatics. IEEE ICCI 2003: 114-120

Yingxu Wang: On Cognitive Mechanisms of the Eyes: The Sensor vs. the Browser of the Brain. IEEE ICCI 2003: 225-225

Dilip Patel, Shushma Patel, Yingxu Wang (Eds.): Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 18-20 August 2003, London, UK. IEEE Computer Society 2003, isbn 0-7695-1986-5

Yingxu Wang, Antony Bryant: Process-Based Software Engineering: Building the Infrastructures. Ann. Software Eng. 14(1-4): 9-37 (2002)

Yingxu Wang: The Real-Time Process Algebra (RTPA). Ann. Software Eng. 14(1-4): 235-274 (2002)

Yingxu Wang: On Cognitive Informatics. IEEE ICCI 2002: 34-42

Yingxu Wang: On the Informatics Laws of Software. IEEE ICCI 2002: 132-141

Yingxu Wang: A New Mathematical Notation for Describing Notion and Thought in Software Design. IEEE ICCI 2002: 193-202

Yingxu Wang, Ying Wang: Cognitive Models of the Brain. IEEE ICCI 2002: 259-269

Yingxu Wang: The Latest Development on Cognitive Informatics. OOIS 2002: 5

Yingxu Wang, Graham King: A European COTS Architecture with Built-in Tests. OOIS 2002: 336-347

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

Vincent Chiew, Yingxu Wang: Software Engineering Process Benchmarking. PROFES 2002: 519-531

Yingxu Wang: Real-Time Process Algebra and Its Applications. 10th Anniversary Colloquium of UNU/IIST 2002: 322-336

Yingxu Wang, Hareton K. N. Leung: A Benchmark-Based Adaptable Software Process Model. EUROMICRO 2001: 216-224

Yingxu Wang: Formal Description of Object-Oriented Software Measurement and Metrics in SEMS. OOIS 2001: 123-132

Yingxu Wang, Shushma Patel, Dilip Patel: On Built-in Test Classes for Object-Oriented and Component-Based Information Systems. OOIS 2001: 307-

Yingxu Wang, Shushma Patel, Ronald Johnston (Eds.): OOIS'2001, 7th International Conference on Object Oriented Information Systems, 27-29 August 2001, Calgary, Canada. Proceedings. Springer 2001

Yingxu Wang: Formal Description of the UML Architecture and Extensibility. L'OBJET 6(4) (2000)

Yingxu Wang, Dilip Patel: Editors' introduction: Comparative software engineering: Review and perspectives. Ann. Software Eng. 10: 1-10 (2000)

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)

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)

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)

Yingxu Wang, Graham King, Hakan Wickburg: A Method for Built-in Tests in Component-based Software Maintenance. CSMR 1999: 186-189

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-

Yingxu Wang, Alec Dorling, Hakan Wickberg, Graham King: Experience in Comparative Process Assessment with Multi-Process-Models. EUROMICRO 1999: 2268-2273

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