Publications
Co-authors
Productive Colleagues
- Witold Kinsner
- Zhongzhi Shi
- Yiyu Yao
- 20
- 23
- 29
Publications
Patel, Dilip, Patel, Shushma, Wang, Yingxu (eds.) Proceedings of the 2nd IEEE International Conference on Cognitive Informatics ICCI 2003 18-20 August, 2003, London, UK.
Wang, Yingxu, Liu, Dong (2003): On Information and Knowledge Representation in the Brain. In: Patel, Dilip, Patel, Shushma, Wang, Yingxu (eds.) Proceedings of the 2nd IEEE International Conference on Cognitive Informatics ICCI 2003 18-20 August, 2003, London, UK. pp. 26-31. https://csdl.computer.org/comp/proceedings/icci/2003/1986/00/19860026abs.htm
Chan, Christine W., Kinsner, Witold, Wang, Yingxu, Miller, D. Michael (eds.) Proceedings of the 3rd IEEE International Conference on Cognitive Informatics ICCI 2004 16-17 August, 2004, Victoria, Canada.
Wang, Yingxu, Liu, Dong, Ruhe, Günther (2004): Formal Description of the Cognitive Process of Decision Making. In: Chan, Christine W., Kinsner, Witold, Wang, Yingxu, Miller, D. Michael (eds.) Proceedings of the 3rd IEEE International Conference on Cognitive Informatics ICCI 2004 16-17 August, 2004, Victoria, Canada. pp. 124-130. https://csdl.computer.org/comp/proceedings/icci/2004/2190/00/21900124abs.htm
Wang, Yingxu, Patel, Shushma, Patel, Dilip, Wang, Ying (2003): A Layered Reference Model of the Brain. In: Patel, Dilip, Patel, Shushma, Wang, Yingxu (eds.) Proceedings of the 2nd IEEE International Conference on Cognitive Informatics ICCI 2003 18-20 August, 2003, London, UK. pp. 7-17. https://csdl.computer.org/comp/proceedings/icci/2003/1986/00/19860007abs.htm
Wang, Yingxu, Shao, Jingqiu (2003): Measurement of the Cognitive Functional Complexity of Software. In: Patel, Dilip, Patel, Shushma, Wang, Yingxu (eds.) Proceedings of the 2nd IEEE International Conference on Cognitive Informatics ICCI 2003 18-20 August, 2003, London, UK. pp. 67-74. https://csdl.computer.org/comp/proceedings/icci/2003/1986/00/19860067abs.htm
Ngolah, Cyprian F., Wang, Yingxu (2005): Formal specification of CORBA-based distributed objects and behaviors. In: Proceedings of the 4th IEEE International Conference on Cognitive Informatics ICCI 2005 August 8-10, 2005, Irvine, USA. pp. 331-339. https://dx.doi.org/10.1109/COGINF.2005.1532649
Chiew, Vincent, Wang, Yingxu (2003): From Cognitive Psychology to Cognitive Informatics. In: Patel, Dilip, Patel, Shushma, Wang, Yingxu (eds.) Proceedings of the 2nd IEEE International Conference on Cognitive Informatics ICCI 2003 18-20 August, 2003, London, UK. pp. 114-120. https://csdl.computer.org/comp/proceedings/icci/2003/1986/00/19860114abs.htm
Chiew, Vincent, Wang, Yingxu (2004): Formal Description of the Cognitive Process of Problem Solving. In: Chan, Christine W., Kinsner, Witold, Wang, Yingxu, Miller, D. Michael (eds.) Proceedings of the 3rd IEEE International Conference on Cognitive Informatics ICCI 2004 16-17 August, 2004, Victoria, Canada. pp. 74-83. https://csdl.computer.org/comp/proceedings/icci/2004/2190/00/21900074abs.htm
Wang, Yingxu, Wang, Ying (2002): Cognitive Models of the Brain. In: Proceedings of the 1st IEEE International Conference on Cognitive Informatics ICCI 2002 19-20 August, 2002, Calgary, Canada. pp. 259-269. https://csdl.computer.org/comp/proceedings/icci/2002/1724/00/17240259abs.htm
Tan, Xinming, Wang, Yingxu, Ngolah, Cyprian F. (2004): Specification of the RTPA Grammar and Its Recognition. In: Chan, Christine W., Kinsner, Witold, Wang, Yingxu, Miller, D. Michael (eds.) Proceedings of the 3rd IEEE International Conference on Cognitive Informatics ICCI 2004 16-17 August, 2004, Victoria, Canada. pp. 54-63. https://csdl.computer.org/comp/proceedings/icci/2004/2190/00/21900054abs.htm
Wang, Yingxu (2002): On Cognitive Informatics. In: Proceedings of the 1st IEEE International Conference on Cognitive Informatics ICCI 2002 19-20 August, 2002, Calgary, Canada. pp. 34-42. https://csdl.computer.org/comp/proceedings/icci/2002/1724/00/17240034abs.htm
Wang, Yingxu (2002): On the Informatics Laws of Software. In: Proceedings of the 1st IEEE International Conference on Cognitive Informatics ICCI 2002 19-20 August, 2002, Calgary, Canada. pp. 132-144. https://csdl.computer.org/comp/proceedings/icci/2002/1724/00/17240132abs.htm
Wang, Yingxu (2002): A New Mathematical Notation for Describing Notion and Thought in Software Design. In: Proceedings of the 1st IEEE International Conference on Cognitive Informatics ICCI 2002 19-20 August, 2002, Calgary, Canada. pp. 193-202. https://csdl.computer.org/comp/proceedings/icci/2002/1724/00/17240193abs.htm
Wang, Yingxu (2003): On Cognitive Mechanisms of the Eyes: The Sensor vs. the Browser of the Brain. In: Patel, Dilip, Patel, Shushma, Wang, Yingxu (eds.) Proceedings of the 2nd IEEE International Conference on Cognitive Informatics ICCI 2003 18-20 August, 2003, London, UK. pp. 225-225. https://csdl.computer.org/comp/proceedings/icci/2003/1986/00/19860225abs.htm
Wang, Yingxu (2004): On Autonomous Computing and Cognitive Processes. In: Chan, Christine W., Kinsner, Witold, Wang, Yingxu, Miller, D. Michael (eds.) Proceedings of the 3rd IEEE International Conference on Cognitive Informatics ICCI 2004 16-17 August, 2004, Victoria, Canada. pp. 3-4. https://csdl.computer.org/comp/proceedings/icci/2004/2190/00/21900003abs.htm
Wang, Yingxu (2004): On the Cognitive Informatics Foundations of Software Engineering. In: Chan, Christine W., Kinsner, Witold, Wang, Yingxu, Miller, D. Michael (eds.) Proceedings of the 3rd IEEE International Conference on Cognitive Informatics ICCI 2004 16-17 August, 2004, Victoria, Canada. pp. 22-31. https://csdl.computer.org/comp/proceedings/icci/2004/2190/00/21900022abs.htm
Wang, Yingxu (2005): Psychological experiments on the cognitive complexities of fundamental control structures . In: Proceedings of the 4th IEEE International Conference on Cognitive Informatics ICCI 2005 August 8-10, 2005, Irvine, USA. pp. 4-5. https://dx.doi.org/10.1109/COGINF.2005.1532608
Wang, Yingxu (2005): The cognitive processes of abstraction and formal inferences. In: Proceedings of the 4th IEEE International Conference on Cognitive Informatics ICCI 2005 August 8-10, 2005, Irvine, USA. pp. 18-26. https://dx.doi.org/10.1109/COGINF.2005.1532611
Wang, Yingxu (2005): On cognitive properties of human factors in engineering. In: Proceedings of the 4th IEEE International Conference on Cognitive Informatics ICCI 2005 August 8-10, 2005, Irvine, USA. pp. 174-182. https://dx.doi.org/10.1109/COGINF.2005.1532630
Wang, Yingxu (2005): On the cognitive processes of human perception. In: Proceedings of the 4th IEEE International Conference on Cognitive Informatics ICCI 2005 August 8-10, 2005, Irvine, USA. pp. 203-210. https://dx.doi.org/10.1109/COGINF.2005.1532633
Wang, Yingxu (2005): Mathematical models and properties of games. In: Proceedings of the 4th IEEE International Conference on Cognitive Informatics ICCI 2005 August 8-10, 2005, Irvine, USA. pp. 294-300. https://dx.doi.org/10.1109/COGINF.2005.1532644
Wang, Yingxu (2005): A novel decision grid theory for dynamic decision making. In: Proceedings of the 4th IEEE International Conference on Cognitive Informatics ICCI 2005 August 8-10, 2005, Irvine, USA. pp. 308-314. https://dx.doi.org/10.1109/COGINF.2005.1532646
Wang, Yingxu, Gafurov, Davrondjon (2003): The Cognitive Process of Comprehension. In: Patel, Dilip, Patel, Shushma, Wang, Yingxu (eds.) Proceedings of the 2nd IEEE International Conference on Cognitive Informatics ICCI 2003 18-20 August, 2003, London, UK. pp. 93-97. https://csdl.computer.org/comp/proceedings/icci/2003/1986/00/19860093abs.htm
Yao, Yiyu, Shi, Zhongzhi, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Firth IEEE International Conference on Cognitive Informatics ICCI 2006 July 17-19, 2006, Beijing, China.
Zhang, Du, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Six IEEE International Conference on Cognitive Informatics ICCI 2007 August 6-8, 2007, Lake Tahoe, CA, USA.
Wang, Yingxu (2006): Cognitive Complexity of Software and its Measurement. In: Yao, Yiyu, Shi, Zhongzhi, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Firth IEEE International Conference on Cognitive Informatics ICCI 2006 July 17-19, 2006, Beijing, China. pp. 226-235. https://dx.doi.org/10.1109/COGINF.2006.365701
Huang, Jian, Wang, Yingxu (2006): Design of an Integrated Hyper Specification Documentation Tool. In: Yao, Yiyu, Shi, Zhongzhi, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Firth IEEE International Conference on Cognitive Informatics ICCI 2006 July 17-19, 2006, Beijing, China. pp. 248-254. https://dx.doi.org/10.1109/COGINF.2006.365704
Huang, Jian, Wang, Yingxu (2006): Formal Specification and Representation of Design Patterns Using RTPA. In: Yao, Yiyu, Shi, Zhongzhi, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Firth IEEE International Conference on Cognitive Informatics ICCI 2006 July 17-19, 2006, Beijing, China. pp. 370-379. https://dx.doi.org/10.1109/COGINF.2006.365519
Hu, Kai, Wang, Yingxu (2007): Autolearner: An Autonomic Machine Learning System Based on Concept Algebra. In: Zhang, Du, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Six IEEE International Conference on Cognitive Informatics ICCI 2007 August 6-8, 2007, Lake Tahoe, CA, USA. pp. 502-512. https://dx.doi.org/10.1109/COGINF.2007.4341930
Tian, Yousheng, Wang, Yingxu (2007): A Knowledge Representation Tool Based on Concept Algebra. In: Zhang, Du, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Six IEEE International Conference on Cognitive Informatics ICCI 2007 August 6-8, 2007, Lake Tahoe, CA, USA. pp. 294-301. https://dx.doi.org/10.1109/COGINF.2007.4341902
Wang, Yingxu (2007): Cognitive Informatics Foundations of Nature and Machine Intelligence. In: Zhang, Du, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Six IEEE International Conference on Cognitive Informatics ICCI 2007 August 6-8, 2007, Lake Tahoe, CA, USA. pp. 3-12. https://dx.doi.org/10.1109/COGINF.2007.4341867
Wang, Yingxu (2007): Formal Descriptions of a Set of Meta Cognitive Processes of the Brain. In: Zhang, Du, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Six IEEE International Conference on Cognitive Informatics ICCI 2007 August 6-8, 2007, Lake Tahoe, CA, USA. pp. 26-34. https://dx.doi.org/10.1109/COGINF.2007.4341869
Wang, Yingxu (2007): Formal Linguistics and the Deductive Grammar. In: Zhang, Du, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Six IEEE International Conference on Cognitive Informatics ICCI 2007 August 6-8, 2007, Lake Tahoe, CA, USA. pp. 43-51. https://dx.doi.org/10.1109/COGINF.2007.4341871
Wang, Yingxu (2007): On Cognitive Informatics Foundations of Knowledge and Formal Knowledge Systems. In: Zhang, Du, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Six IEEE International Conference on Cognitive Informatics ICCI 2007 August 6-8, 2007, Lake Tahoe, CA, USA. pp. 263-272. https://dx.doi.org/10.1109/COGINF.2007.4341899
Wang, Yingxu (2007): Formal Description of the Mechanisms and Cognitive Process of Memorization. In: Zhang, Du, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Six IEEE International Conference on Cognitive Informatics ICCI 2007 August 6-8, 2007, Lake Tahoe, CA, USA. pp. 284-293. https://dx.doi.org/10.1109/COGINF.2007.4341901
Wang, Yingxu (2007): The Theoretical Framework and Cognitive Process of Learning. In: Zhang, Du, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Six IEEE International Conference on Cognitive Informatics ICCI 2007 August 6-8, 2007, Lake Tahoe, CA, USA. pp. 470-479. https://dx.doi.org/10.1109/COGINF.2007.4341926
Wang, Yingxu, Zhang, Du, Latombe, Jean-Claude, Kinsner, Witold (eds.) Proceedings of the Seventh IEEE International Conference on Cognitive Informatics - ICCI 2008 August 14-16, 2008, California, USA.
Wang, Yingxu (2008): On Long Lifespan systems. In: Wang, Yingxu, Zhang, Du, Latombe, Jean-Claude, Kinsner, Witold (eds.) Proceedings of the Seventh IEEE International Conference on Cognitive Informatics - ICCI 2008 August 14-16, 2008, California, USA. pp. 418-428. https://dx.doi.org/10.1109/COGINF.2008.4639196
Wang, Yingxu (2008): The cognitive processes of perceptions on spatiality, time, and motion. In: Wang, Yingxu, Zhang, Du, Latombe, Jean-Claude, Kinsner, Witold (eds.) Proceedings of the Seventh IEEE International Conference on Cognitive Informatics - ICCI 2008 August 14-16, 2008, California, USA. pp. 239-248. https://dx.doi.org/10.1109/COGINF.2008.4639174
Wang, Yingxu (2008): The cognitive processes of analysis and synthesis in formal inferences. In: Wang, Yingxu, Zhang, Du, Latombe, Jean-Claude, Kinsner, Witold (eds.) Proceedings of the Seventh IEEE International Conference on Cognitive Informatics - ICCI 2008 August 14-16, 2008, California, USA. pp. 223-231. https://dx.doi.org/10.1109/COGINF.2008.4639172
Wang, Yingxu (2008): On Visual Semantic Algebra (VSA) and the cognitive process of pattern recognition. In: Wang, Yingxu, Zhang, Du, Latombe, Jean-Claude, Kinsner, Witold (eds.) Proceedings of the Seventh IEEE International Conference on Cognitive Informatics - ICCI 2008 August 14-16, 2008, California, USA. pp. 384-393. https://dx.doi.org/10.1109/COGINF.2008.4639192
Wang, Yingxu (2008): On abstract intelligence and its denotational mathematics foundations. In: Wang, Yingxu, Zhang, Du, Latombe, Jean-Claude, Kinsner, Witold (eds.) Proceedings of the Seventh IEEE International Conference on Cognitive Informatics - ICCI 2008 August 14-16, 2008, California, USA. pp. 3-12. https://dx.doi.org/10.1109/COGINF.2008.4639146
Tan, Xinming, Wang, Yingxu (2006): Transforming RTPA Mathematical Models of System Behaviors Into C++. In: Yao, Yiyu, Shi, Zhongzhi, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Firth IEEE International Conference on Cognitive Informatics ICCI 2006 July 17-19, 2006, Beijing, China. pp. 362-369. https://dx.doi.org/10.1109/COGINF.2006.365518
Wang, Yingxu (2006): Cognitive Informatics: Towards Future Generation Computers that Think and Feel. In: Yao, Yiyu, Shi, Zhongzhi, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Firth IEEE International Conference on Cognitive Informatics ICCI 2006 July 17-19, 2006, Beijing, China. pp. 3-7. https://dx.doi.org/10.1109/COGINF.2006.365666
Wang, Yingxu (2006): On the Big-R Notation for Describing Iterative and Recursive Behaviors. In: Yao, Yiyu, Shi, Zhongzhi, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Firth IEEE International Conference on Cognitive Informatics ICCI 2006 July 17-19, 2006, Beijing, China. pp. 132-140. https://dx.doi.org/10.1109/COGINF.2006.365688
Wang, Yingxu (2006): On Concept Algebra and Knowledge Representation. In: Yao, Yiyu, Shi, Zhongzhi, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Firth IEEE International Conference on Cognitive Informatics ICCI 2006 July 17-19, 2006, Beijing, China. pp. 320-331. https://dx.doi.org/10.1109/COGINF.2006.365514
Wang, Yingxu (2006): On Abstract Systems and System Algebra. In: Yao, Yiyu, Shi, Zhongzhi, Wang, Yingxu, Kinsner, Witold (eds.) Proceedings of the Firth IEEE International Conference on Cognitive Informatics ICCI 2006 July 17-19, 2006, Beijing, China. pp. 332-343. https://dx.doi.org/10.1109/COGINF.2006.365515
Wang, Yingxu, Wang, Ying (2008): The cognitive processes of consciousness and attention. In: Wang, Yingxu, Zhang, Du, Latombe, Jean-Claude, Kinsner, Witold (eds.) Proceedings of the Seventh IEEE International Conference on Cognitive Informatics - ICCI 2008 August 14-16, 2008, California, USA. pp. 30-39. https://dx.doi.org/10.1109/COGINF.2008.4639148
Wang, Yingxu (2008): On cognitive foundations of creativity and the cognitive process of creation. In: Wang, Yingxu, Zhang, Du, Latombe, Jean-Claude, Kinsner, Witold (eds.) Proceedings of the Seventh IEEE International Conference on Cognitive Informatics - ICCI 2008 August 14-16, 2008, California, USA. pp. 104-113. https://dx.doi.org/10.1109/COGINF.2008.4639157
Wang, Yingxu (2008): A cognitive informatics theory for visual information processing. In: Wang, Yingxu, Zhang, Du, Latombe, Jean-Claude, Kinsner, Witold (eds.) Proceedings of the Seventh IEEE International Conference on Cognitive Informatics - ICCI 2008 August 14-16, 2008, California, USA. pp. 317-323. https://dx.doi.org/10.1109/COGINF.2008.4639184