- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 180 |      | 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 |
| 179 | | 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 |
| 178 | | 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 |
| 177 | | 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 |
| 176 | | Yingxu Wang: On inference algebra: A formal means for machine reasoning and cognitive computing. IEEE ICCI*CC 2011: 4-6 |
| 175 | | Yingxu Wang, Yousheng Tian, Kendall Hu: The operational semantics of Concept Algebra for cognitive computing and machine learning. IEEE ICCI*CC 2011: 49-58 |
| 174 | | Luis-Felipe Rodríguez, Félix Ramos, Yingxu Wang: Cognitive computational models of emotions. IEEE ICCI*CC 2011: 75-84 |
| 173 | | 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) |
| 172 | | Yingxu Wang: Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive Computing. IJCINI 5(1): 75-93 (2011) |
| 171 | | Jeff Bancroft, Yingxu Wang: A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development. IJCINI 5(2): 17-36 (2011) |
| 170 | | Yingxu Wang, Yousheng Tian, Kendall Hu: Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra. IJCINI 5(3): 1-29 (2011) |
| 169 | | 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) |
| 168 | | Yingxu Wang: Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I). IJCINI 5(4): 61-82 (2011) |
| 167 | | Yingxu Wang: On Cognitive Models of Causal Inferences and Causation Networks. IJSSCI 3(1): 50-60 (2011) |
| 166 | | 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) |
| 165 | | 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) |
| 164 | | Yingxu Wang, Vincent Chiew: Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems. IJSSCI 3(3): 23-42 (2011) |
| 163 | | Yingxu Wang, Jason Huang, Jingsheng Lei: The Formal Design Models of a Universal Array (UA) and its Implementation. IJSSCI 3(3): 69-89 (2011) |
| 162 | | 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) |
| 161 | | Cyprian F. Ngolah, Ed Morden, Yingxu Wang: Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks. IJSSCI 3(4): 67-83 (2011) |
| 160 | | Yingxu Wang, Xinming Tan: The Formal Design Models of Tree Architectures and Behaviors. IJSSCI 3(4): 84-108 (2011) |
| 2010 | ||
| 159 | | Fuchun Sun, Yingxu Wang, Jianhua Lu, Bo Zhang, Witold Kinsner, Lotfi A. Zadeh: Proceedings of the 9th IEEE International Conference on Cognitive Informatics, ICCI 2010, July 7-9, 2010, Beijing, China IEEE 2010 |
| 158 | | Yingxu Wang: Cognitive Informatics and Denotational Mathematical Means for Brain Informatics. Brain Informatics 2010: 2-13 |
| 157 | | Vincent Chiew, Yingxu Wang: A large-scale empirical study on the cognitive complexity of software. CCECE 2010: 1-4 |
| 156 | | 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 |
| 155 | | Yingxu Wang: Cognitive models of causal inferences using causation networks. IEEE ICCI 2010: 34-39 |
| 154 | | Yingxu Wang: Cognitive computing and World Wide Wisdom (WWW+). IEEE ICCI 2010: 4-5 |
| 153 | | 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 |
| 152 | | Yingxu Wang, Vincent Chiew: On the cognitive process of human problem solving. Cognitive Systems Research 11(1): 81-92 (2010) |
| 151 | | Yingxu Wang: Cognitive Robots. IEEE Robot. Automat. Mag. 17(4): 54-62 (2010) |
| 150 | | 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) |
| 149 | | Kai Hu, Yingxu Wang, Yousheng Tian: A Web Knowledge Discovery Engine Based on Concept Algebra. IJCINI 4(1): 80-97 (2010) |
| 148 | | Yingxu Wang, Davrondzhon Gafurov: The Cognitive Process of Comprehension: A Formal description. IJCINI 4(3): 44-58 (2010) |
| 147 | | 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) |
| 146 | | 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) |
| 145 | | Yingxu Wang, Xinming Tan, Cyprian F. Ngolah: Design and Implementation of an Autonomic Code Generator Based on RTPA. IJSSCI 2(2): 44-65 (2010) |
| 144 | | 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) |
| 143 | | Yingxu Wang, Witold Pedrycz, George Baciu, Ping Chen, Guoyin Wang, Yiyu Yao: Perspectives on Cognitive Computing and Applications. IJSSCI 2(4): 32-44 (2010) |
| 142 | | 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) |
| 141 | | Yingxu Wang: On Formal and Cognitive Semantics for Semantic Computing. Int. J. Semantic Computing 4(2): 203-237 (2010) |
| 140 | | Yingxu Wang: On Concept Algebra for Computing with Words (CWW). Int. J. Semantic Computing 4(3): 331-356 (2010) |
| 139 | | Yingxu Wang: A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing. Int. J. of Applied Metaheuristic Computing 1(1): 110-128 (2010) |
| 2009 | ||
| 138 |  | George Baciu, Yingxu Wang, Yiyu Yao, Witold Kinsner, Keith Chan, Lotfi A. Zadeh: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China IEEE Computer Society 2009 |
| 137 | | 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 |
| 136 | | Yingxu Wang: Granular algebra for modeling granular systems and granular computing. IEEE ICCI 2009: 145-154 |
| 135 | | Yingxu Wang: Fuzzy inferences methodologies for cognitive informatics and computational intelligence. IEEE ICCI 2009: 241-248 |
| 134 | | Yingxu Wang: Qualification and quantification of fuzzy linguistic variables and fuzzy expressions. IEEE ICCI 2009: 256-263 |
| 133 | | Yingxu Wang: Cognitive Computing and machinable thought. IEEE ICCI 2009: 6-8 |
| 132 | | 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 |
| 131 | | 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) |
| 130 | | Yingxu Wang: Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing. Fundam. Inform. 90(3): 283-303 (2009) |
| 129 | | Yingxu Wang, Du Zhang, Shusaku Tsumoto: Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I). Fundam. Inform. 90(3): (2009) |
| 128 | | Yingxu Wang: A Formal Syntax of Natural Languages and the Deductive Grammar. Fundam. Inform. 90(4): 353-368 (2009) |
| 127 | | Yingxu Wang, Du Zhang, Shusaku Tsumoto: Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II). Fundam. Inform. 90(4): (2009) |
| 126 | | Yingxu Wang: Toward Formal Models of the Theoretical Framework of Fundamental Economics. Fundam. Inform. 90(4): 443-459 (2009) |
| 125 | | 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) |
| 124 | | 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) |
| 123 | | Yingxu Wang: A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS). IJCINI 3(1): 1-16 (2009) |
| 122 | | Yingxu Wang: Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion. IJCINI 3(2): 84-98 (2009) |
| 121 | | Yingxu Wang: The Cognitive Informatics Theory and Mathematical Models of Visual Information Processing in the Brain. IJCINI 3(3): 1-11 (2009) |
| 120 | | Yingxu Wang: On Cognitive Foundations of Creativity and the Cognitive Process of Creation. IJCINI 3(4): 1-18 (2009) |
| 119 | | Yingxu Wang: On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence. IJSSCI 1(1): 1-17 (2009) |
| 118 | | Yingxu Wang, Lotfi A. Zadeh, Yiyu Yao: On the System Algebra Foundations for Granular Computing. IJSSCI 1(1): 64-86 (2009) |
| 117 | | Yingxu Wang, Shushma Patel: Exploring the Cognitive Foundations of Software Engineering. IJSSCI 1(2): 1-19 (2009) |
| 116 | | Yingxu Wang: On the Cognitive Complexity of Software and its Quantification and Formal Measurement. IJSSCI 1(2): 31-53 (2009) |
| 115 | | Yingxu Wang: On Cognitive Computing. IJSSCI 1(3): 1-15 (2009) |
| 114 | | Yingxu Wang: The Formal Design Model of a Telephone Switching System (TSS). IJSSCI 1(3): 92-116 (2009) |
| 113 | | 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) |
| 112 | | 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) |
| 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-141 |
| 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 |
Colors in the list of coauthors
Last update Sat May 26 02:31:23 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page