Research  Academic Activities  Publications  Teaching  Grad Student Supervision  Recent Books  TESERC   HOME 

 

SELECTED PUBLICATIONS

 

Overview

  

    Total number of publications: 381  (till Dec. 2009)

         - Books:                                16

         - Journal papers:                  102

         - Keynotes:                           17

         - Conference papers:                191

         - Book chapters:                    12

- Formal technical reports and monographs:  53

 

    [Selected PDF copies of recent papers may be found at:

-         Research  

-         DBLP [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Yingxu.html]

-         Google Scholar [http://scholar.google.ca/scholar?hl=en&source=hp&q=Yingxu%20Wang&rlz=1W1GGLL_en&um=1&ie=UTF-8&sa=N&tab=ws]

 

 Books

Authored Books

 

[19]  Wang, Y. (2010), Software Engineering Notations: Seamlessly Refining Systems to Architectures,

        Behaviors, and Code, CRC Book Series in Software Engineering, Vol. III, Auerbach Publications,

        NY, USA, to appear. 

[18]  Wang, Y. (2010), Denotational Mathematics: Rigorous Means for Software Science and Cognitive Informatics, MIT Press, to appear.

[17]  Wang, Y. (2010), Cognitive Informatics: Foundations of Natural, Abstract, and Computational

        Intelligence, MIT Press, to appear.

[16]  Wang, Y. (2007), Software Engineering Foundations: A Software Science Perspective, CRC Book

        Series in SE, Vol. II, Auerbach Publications, NY, USA, July, 1,488pp.

[15]  Wang, Y. and G. King (2000), Software Engineering Processes: Principles and Applications, CRC

        Book Series in SE, Vol. I, CRC Press, USA, May, 752pp.

 

Edited Books and Proceedings (IEEE etc.)

 

[14]  Sun, F., Y. Wang, J. Lu, B. Zhang, W. Kinsner, and L.A. Zadeh eds. (2010), Proceedings of

        the 9th IEEE International Conference on Cognitive Informatics (ICCI'10), Tsinghua Univ., Beijing,

        China, IEEE Computer Society Press, Los Alamitos, CA., July, to appear.

[13]  Wang, Y., D. Zhang and W. Kinsner eds. (2010), Advances in Cognitive Informatics, Springer

        Series of Studies in Computational Intelligence, Springer, to appear.

[12]  Wang, Y. ed. (2010), Discoveries and Breakthroughs in Cognitive Informatics and Natural

        Intelligence, ISR Series in Advances of Cognitive Informatics and Natural Intelligence,

        Vol. 2, Information Science References, NY, USA, Jan.

[11]  Baciu, G., Y. Wang, Y. Yao, K. Chan, W. Kinsner, and L.A. Zadeh eds. (2009), Proceedings of

        the 8th IEEE International Conference on Cognitive Informatics (ICCI'09), Hong Kong, IEEE

        Computer Society Press, Los Alamitos, CA., June.

[10]  Wang, Y. ed. (2008), Novel Approaches in Cognitive Informatics and Natural Intelligence, ISR

        Series in Advances of Cognitive Informatics and Natural Intelligence, Vol. 1, Information Science

        References, NY, USA, Nov.

[9]   Y. Wang, D. Zhang, J.-C. Latombe, and W. Kinsner eds. (2008), Proceedings of the 7th IEEE 

       International Conference on Cognitive Informatics (ICCI'08), Stanford University, USA, IEEE

       Computer Society Press, Los Alamitos, CA., Aug..

[8]    D  .Zhang, Y. Wang, and W. Kinsner eds. (2007), Proceedings of the 6th IEEE International Conference on Cognitive Informatics (ICCI'07), Lake Tahoe, CA, USA, IEEE Computer Society Press, Los Alamitos, CA., Aug., 570pp.

[7]    Y. Yao,Z. Shi, Y. Wang, and W. Kinsner eds. (2006), Proceedings of the 5th IEEE International Conference on Cognitive Informatics (ICCI'06), Vol. I and II, Beijing, China, IEEE Computer Society Press, Los Alamitos, CA., July, ISBN: 1-4244-0475-4, 961pp.

[6]    W.Kinsner, D. Zhang, Y. Wang and J. Tsai eds. (2004), Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI'05), Univ. of California, Irvine, USA, IEEE Computer Society Press, Los Alamitos, CA., August, ISBN: 0-7803-9136-5, 355pp.

[5]    W.C. Chan, W. Kinsner, Y. Wang and M. Miller eds. (2004), Proceedings of the 3rd IEEE 

       International Conference on Cognitive Informatics (ICCI'04), Victoria, Canada, IEEE Computer

       Society Press, Los Alamitos, CA., July, ISBN: 0-7695-2190-8, 269pp.

[4]    Wang, Y.,W. Kinsner and M.R. Smith eds. (2004), Proceedings of the 2004 IEEE Canadian

       Conference on Computer and Software Engineering Education (C3SEE'04), Calgary, Canada,

       Univ. of Calgary Press, March, ISBN: 0-8895-3274-5, 292pp.

[3]    Patel, D., Patel, S., and Wang, Y. eds. (2003), Proceedings of the 2nd IEEE 

       International Conference on Cognitive Informatics (ICCI'03), London, UK, IEEE Computer

       Society Press, Los Alamitos, CA., July, ISBN: 0-7695-1986-5, 227pp.

[2]    Wang, Y., R.H. Johnston, and M.R. Smith, eds. (2002), Proceedings of the 1st IEEE 

       International Conference on Cognitive Informatics (ICCI'02), Calgary, Canada, IEEE Computer

       Society Press, Los Alamitos, CA., July, ISBN: 0-7695-1724-2, 370pp.

[1]    Wang, Y., S. Patel, and R. H. Johnston, eds. (2001), Proceedings of the 7th International

       Conference on Information Systems (OOIS'01), Springer, London, August, ISBN:1-85233-546-7,

        530pp.

    

Papers in Peer-Refereed Academic Journals  

[102]    Wang, Y., X. Tan  and C.F. Ngolah (2010), Design and Implementation of an Autonomic Code Generator based on RTPA, International Journal of Software Science and Computational Intelligence, 2(2), to appear.

[101]    Wang, Y. (2010), On Granular Algebra for Granular Computing, IEEE Trans. on Systems, Man, and Cybernetics, Part A , to appear.

[100]    Wang, Y., C.F. Ngolah, X. tian, P. Choy, G. Zeng, and P. Sheu (2010), The Formal Design Models of a Real-Time Operating System (RTOS+), International Journal of Software Science and Computational Intelligence, 2(2), to appear.

[99]      Wang, Y. (2010), On Neuroinformatics and Internal Knowledge Representation, Journal of Computational and Theoretical Nanoscience, to appear.

[97]      Wang, Y., G. Baciu, Y. Yao, W. Kinsner, K. Chan, B. Zhang, S. Hameroff, N. Zhong, C.-R. Hunag, B. Goertzel, D. Miao, K. Sugawara, G. Wang, J. You, D. Zhang, and H. Zhu (2010), Perspectives on Cognitive Informatics and Cognitive Computing, International Journal of Cognitive Informatics and Natural Intelligence, 4(1), to appear.     

[96]      Hu, K., Y. Wang, and Y. Tian (2010), A Web Knowledge Discovery Engine based on Concept Algebra, International Journal of Cognitive Informatics and Natural Intelligence, 4(1), to appear.     

[95]      Wang, Y., Y. Zhang, P. Sheu, X. Li and H. Guo (2010), The Formal Design Models of an Automatic Teller Machine (ATM), International Journal of Software Science and Computational Intelligence, 2(1), 102-130.

[94]      Wang, Y. (2010), A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing, International Journal of Applied Metaheuristic Computing, Jan., 1(1), to appear.

[93]      Wang, Y. and V. Chiew (2010), On the Cognitive Process of Human Problem Solving, Cognitive Systems Research: An International Journal, Elsevier, 11(1), 81-92.   [PDF]  

[90]  Wang, Y., W. Kinsner, and D. Zhang (2009), Contemporary Cybernetics and its Faces of Cognitive Informatics and Computational Intelligence, IEEE Trans. on System, Man, and Cybernetics (B), 39(4), 1-11. [PDF]

[89]  Wang, Y., L.A. Zadeh, and Y. Yao (2009), On the System Algebra Foundations for Granular Computing, International Journal of Software Science and Computational Intelligence, IGI, USA, Jan., 1(1), 64-86. [PDF]

[88]  Ngolah, F.C. and Y. Wang (2009), Tool Support for Software Development based on Formal

       Specifications in RTPA, Int’l Journal of Software Engineering and Its Applications, 3(3), 71-88.

[87]  Wang, Y., W. Kinsner, J.A. Anderson, D. Zhang, Y. Yao, P. Sheu, J. Tsai, W. Pedrycz, J.-C. Latombe, L.A. Zadeh, D. Patel, and C. Chan (2009), A Doctrine of Cognitive Informatics, Fundamenta Informaticae, 90(3), 203-228.  [PDF]

[86]  Wang, Y. (2009), On Visual Semantic Algebra (VSA): A Denotational Mathematical Structure for Modeling and Manipulating Visual Objects and Patterns, International Journal of Software Science and Computational Intelligence, 1(4), 1-13.  [PDF]

[84]  Wang, Y., F.C. Ngolah, H. Ahmadi, P.C.Y. Sheu, and Shi Ying (2009), The Formal Design Model of a Lift Dispatching System (LDS), International Journal of Software Science and Computational Intelligence, 1(4), 98-122.  [PDF]

[81] Wang, Y. (2009), Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing, Fundamenta Informaticae, 90(3), 282-303.    

[80]  Wang, Y. (2009), Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations, Transactions of Computational Science, Springer, 5, 1-19.  [PDF] 

[79]  Wang, Y. (2009), Formal Description of the Cognitive Process of Memorization, Transactions of Computational Science, Springer, 5, 81-98.  [PDF]

[78]  Wang, Y. (2009), On Cognitive Computing, International Journal of Software Science and Computational Intelligence, 1(3), 1-15.  [PDF]

[77]  Wang, Y., D. Zhang and S. Tsumoto (2009), Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I), Fundamenta Informaticae, 90(3), 1-7.       

[76]  Tian, Y., Y. Wang, and K. Hu (2009), A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra, Transactions of Computational Science, Springer, 5, 143-160.  

[75]  Wang, Y. (2009), The Formal Design Model of a Telephone Switching System (TSS), International Journal of Software Science and Computational Intelligence, 1(3), 92-116.  [PDF]           

[73]  Wang, Y. (2009), On the Cognitive Complexity of Software and its Quantification and Formal Measurement, International Journal of Software Science and Computational Intelligence, 1(2), 31-53.  [PDF]      

[72]  Wang, Y. and S. Patel (2009), Exploring the Cognitive Foundations of Software Engineering, International Journal of Software Science and Computational Intelligence, 1(2), 1-19.      

[70]  Wang, Y., D. Zhang and S. Tsumoto (2009), Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II), Fundamenta Informaticae, 90(4), 1-7.       

[69]  Wang, Y. (2009), A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS), International Journal of Cognitive Informatics and Natural Intelligence, Jan., 3(1), 1-16.  [PDF]

[68] Wang, Y. (2009), A Formal Syntax of Natural Languages and the Deductive Grammar, Fundamenta Informaticae, 90(4), 353-368.  [PDF]     

[67]  Wang, Y. (2009), Toward Formal Models of the Theoretical Framework of Fundamental Economics, Fundamenta Informaticae, 90(4), 443-459.  [PDF]

[65]  Wang, Y. (2009), On Abstract Intelligence: Toward a Unified Theory of Natural, Artificial, Machinable, and Computational Intelligence, International Journal of Software Science and Computational Intelligence, 1(1), 1-17.  [PDF]

[64]  Wang, Y., Y. Yao, and G. Wang (2008), Perspectives on Denotational Mathematics: New Means of Thought, Transactions of Computational Science, Springer, 2, 1-5.  

[63]  Wang, Y.  (2008), On Contemporary Denotational Mathematics for Computational Intelligence, Transactions of Computational Science, Springer, 2, 6-29.  [PDF]  

[62]  Wang, Y. (2008), Mathematical Laws of Software, Transactions of Computational Science, Springer, 2, 46-83.  [PDF]    

[61]  Wang, Y. (2008), Toward a Generic Mathematical Model of Abstract Game Theories, Transactions of Computational Science, Springer, 2, 205-223.  [PDF]  

[60]  Wang, Y. (2008), On the Big-R Notation for Describing Iterative and Recursive Behaviors, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2(1), Jan., 17-28.  [PDF]   

[59]  Wang, Y. and J. Huang (2008), Formal Modeling and Specification of Design Patterns Using RTPA, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2(1), Jan., 100-111.  [PDF]    

[58] Wang, Y. (2008), On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2(2), April, 1-19.   [PDF]    

[57]  Wang, Y. (2008), On System Algebra: A Denotational Mathematical Structure for Abstract Systems, Modeling, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2(2), April, 20-43.  

[56]  Wang, Y. (2008), RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2(2), April, 44-62.  [PDF]   

[55] Wang, Y.  (2008), Deductive Semantics of RTPA, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2(2), April, 95-121.   [PDF]

[52]  Wang, Y.  (2008), Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2(4), Oct., 1-20.    

[51]  Wang, Y.  (2008), On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2(4), Oct., 70-84. [PDF]

[50]  Wang, Y. (2007), The Magnitude of Human Memory, Canadian Mental Notes, 1(1), Sept., 20-22. 

[49]  Wang, Y. (2007), On The Cognitive Processes of Perception with Emotions, Motivations, and Attitudes, Int’l Journal of Cognitive Informatics and Natural Intelligence, IGI Publishing, USA, 1(4), Oct., 1-13.   [PDF]

[48]  Wang, Y. (2007), The Cognitive Processes of Formal Inferences, Int’l Journal of Cognitive Informatics and Natural Intelligence, 1(4), Oct., 75-86.  [PDF]

[46]  Wang, Y. (2007), The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain, Int’l Journal of Cognitive Informatics and Natural Intelligence, 1(3), July, 68-82. [PDF]

[44]  Wang, Y. (2007), On Laws of Work Organization in Human Cooperation, Int’l Journal  of  Cognitive Informatics and Natural Intelligence, 1(2), March, 1-15.  [PDF]

[43]  Wang, Y. and G. Ruhe (2007), The Cognitive Process of Decision Making, Int’l Journal of  Cognitive Informatics and Natural Intelligence, 1(2), March, 73-85.  [PDF]

[42]  Wang, Y. (2007), The Theoretical Framework of Cognitive Informatics, Int’l Journal of Cognitive Informatics and Natural Intelligence, 1(1), Jan., 1-27.  [PDF]

[40]  Wang, Y. and W. Kinsner (2006), Recent Advances in Cognitive Informatics, IEEE Transactions on

       Systems, Man, and Cybernetics (C), 36(2), March, 121-123.  [PDF]

[39]  Wang, Y. (2006), On the Informatics Laws and Deductive Semantics of Software, IEEE

        Transactions on Systems, Man, and Cybernetics (C), 36(2), March, 161-171. [PDF]

[38]  Wang, Y., Y. Wang, S. Patel, and D. Patel (2006), A Layered Reference Model of the Brain

        (LRMB), IEEE Transactions on Systems, Man, and Cybernetics (C), 36(2), March, 124-133. [PDF]

[37]  Wang, Y. and Y. Wang (2006), Cognitive Informatics Models of the Brain, IEEE Transactions on

        Systems, Man, and Cybernetics (C), 36(2), March, 203-207. [PDF]

[36]  Wang, Y. (2005), The Development of the IEEE/ACM Software Engineering Curricula, IEEE

        Canadian Review, 51(2), May, 16-20. [PDF]

[35]  Ngolah, C.F., Y. Wang, and X. Tan (2004), The Real-Time Task Scheduling Algorithm of RTOS+,

        IEEE Canadian Journal of Electrical and Computer Engineering, 29(4), 237-243.

[34]  Wang, Y., and S. Patel (2004), On Modeling Object-Oriented Information Systems, The

        International Journal of Software and System Modeling, 3(4), 258-261.

[33]  Shao, J.  and Y. Wang (2003), A New Measure of Software Complexity based on Cognitive

        Weights, IEEE Canadian Journal of Electrical and Computer Engineering, 28(2), pp.69-74.   [PDF]

[32]  Wang, Y. (2003), Cognitive Informatics: A New Transdisciplinary Research Field, Brain and Mind:

        A Transdisciplinary Journal of Neuroscience and Neurophilosophy, 4(2), 115-127.    [PDF]

[31]  Wang, Y., D. Liu, and Y. Wang (2003), Discovering the Capacity of Human Memory, Brain and

        Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, 4(2), 189-198.   [PDF]

[30]  Wang, Y. (2003), On Cognitive Informatics, Brain and Mind: A Transdisciplinary Journal of

        Neuroscience and Neurophilosophy, 4(2), 151-167.   [PDF]

[29]  Wang, Y. (2003), Using Process Algebra to Describe Human and Software Behaviors, Brain and

        Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, 4(2), 199-213.

[27]  Wang, Y. (2002), The Real-Time Process Algebra (RTPA), Annals of Software Engineering,

        Springer, 14, 235-274.   [PDF]

[25]  Wang, Y. (2001), Formal Description of the UML Architecture and Extendibility, The  International

        Journal of the Object, Hermes Science Publications, Paris, 6(4), 469-488.   [PDF]

[24]  Wang Y., King, G., Fayad, M., Patel, D., Court, I., Staples, G., and Ross, M. (2000),  On Built-in

        Tests Reuse in Object-Oriented Framework Design, ACM Journal on Computing Surveys,

        32(1es), March, 7-12.

[23]  Wang, Y. and Patel, D. (2000), Comparative Software Engineering: Review and Perspectives,

        Annals of Software Engineering, Springer, 10, 1-10.   [PDF]

[22]  Wang, Y., King, G., Patel, D., Patel, S. and Dorling, A. (1999), On Coping with Software Dynamic

        Inconsistency at Real-Time by the Built-in Tests, Annals of Software Engineering, Springer, 7,

        283-296.   [PDF]

[21]  Wang Y., King, G., Dorling, A., Ross, M., Staples, G., and Court, I. (1999), A Worldwide Survey on

        Best Practices Towards Software Engineering Process Excellence, ASQ Journal of Software

        Quality Professional, 2(1), 34-43.

[20]  Wang, Y., Chouldury, I., Patel, D., Patel, S., Dorling, A., Wickberg, H. and King, G. (1999), On

        the Foundations of Object-Oriented Information Systems, The International Journal of the

        Object, 5(1), 9-27.   [PDF]

 

Keynote Speeches  

 

[17]      Wang, Y. (2009), Cognitive Computing and Machinable Thought, Proc. 8th IEEE International Conference on Cognitive Informatics (ICCI'09), Hong Kong Polytechnic University, Hong Kong, IEEE CS Press, June.

[16]      Wang, Y. (2008), On Cognitive Computing and Denotational Mathematics, Proc. 2008 IEEE International Workshop on Semantic Computing (WSSC’08), Huang-Shan, China, July.

[15]      Wang, Y. (2008), On Abstract Intelligence and Its Denotational Mathematics Foundations, Proc. 7th IEEE International Conference on Cognitive Informatics (ICCI'08), Stanford University, CA, USA, IEEE CS Press, August.

[14]      Wang, Y. (2007), On Theoretical Foundations of Software Engineering and Denotational Mathematics, Proc. 5th Asian Workshop on Foundations of Software, Beihang Univ. Press, Xiamen, China, pp. 99-102.

[13]      Wang, Y. (2007), Cognitive Informatics Foundations of Natural and Machine Intelligence, Proc. 6th IEEE International Conference on Cognitive Informatics (ICCI'07), Lake Tahoe, CA, USA, IEEE CS Press, August, pp. 3-12.

[12]      Wang, Y. (2006), Cognitive Informatics and Contemporary Mathematics for Knowledge Representation and Manipulation, Proc. 1st International Conference on Rough Set and Knowledge Technology (RSKT’06), LNAI 4062, Springer, Chongqing, China, July 17-19, pp. 69-78. (Invited plenary talk)

[11]      Wang, Y. (2006), Cognitive Informatics - Towards the Future Generation Computers that Think and Feel, Proc. 5th IEEE International Conference on Cognitive Informatics (ICCI'06), Beijing, China, IEEE CS Press, July 17-19, pp. 3-7. 

[10]      Wang, Y. (2005), Psychological Experiments on the Cognitive Complexity of Fundamental Control Structures of Software Systems, The 4th IEEE International Conference on Cognitive Informatics (ICCI'05), UCI, Irvine, California, USA, IEEE CS Press, August. 

[9]        Wang, Y. (2004), Autonomic Computing and Cognitive Processes, The 3rd IEEE International   Conference on Cognitive Informatics (ICCI'04), Victoria, Canada, IEEE CS Press, August. 

[8]        Wang, Y. (2003), On Cognitive Mechanisms of the Eyes: the Sensor vs. the Browser of the Brain, The 2nd IEEE International Conference on Cognitive Informatics (ICCI'03), London, UK, IEEE CS Press, August. 

[7]        Wang, Y. (2003), Cognitive Informatics Models of Software Agents and Autonomic Computing, The First International Conference on Agent-Based Technologies and Systems (ATS'03), Univ. of Calgary Press, Canada, August.  

[6]        Wang, Y. (2003), The Real-Time Process Algebra (RTPA), The UNU/IIST 10th Anniversary Colloquium on Formal Methods at the Cross Roads: From Panacea to Foundational Support, LNCS 2757, Springer, Lisbon, Portugal, March. (Invited plenary talk)

[5]        Wang, Y. (2002), The Latest Development on Cognitive Informatics, The 8th International Conference on Object-Oriented Information Systems (OOIS'02), LNCS 2452, Springer, Montpellier, France, Sept.

[4]        Wang, Y. (2002), On Cognitive Informatics, The First IEEE International Conference on Cognitive Informatics (ICCI'02), IEEE CS Press, Calgary, Canada, August.

[3]        Wang, Y. (2002), On the Information Laws of Software, The First IEEE International Conference on Cognitive Informatics (ICCI'02), IEEE CS Press, Calgary, AB., Canada, August.

[2]        Wang, Y. (2002), A New Mathematics for Software Engineering: The Real-Time Process Algebra (RTPA), The 2nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering (QSSE'02), Banff, AB, Canada, February.

[1]        Wang, Y. (2000), Progress and Trends in Software Engineering, The 2000 Conference of IEEE Sweden, Stockholm, May.

 

 

Papers in Refereed International Conference Proceedings

 

           191 full papers.