default search action
Yingxu Wang 0001
Person information
- affiliation: University of Calgary, Canada
- affiliation (former): South Bank University, London, UK
Other persons with the same name
- Yingxu Wang — disambiguation page
- Yingxu Wang 0002 — University of Macau, Department of Computer and Information Science, Macau (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j126]Jun Peng, Shangzhu Jin, Yingxu Wang, Xi Zheng, Xiangren Wang:
Chapter Six - The design of a S-box based on DNA computing and chaos theories. Adv. Comput. 129: 211-248 (2023) - [j125]Yingxu Wang, Bernard Widrow, C. A. R. Hoare, Witold Pedrycz, Robert C. Berwick, Konstantinos N. Plataniotis, Imre J. Rudas, Jianhua Lu, Janusz Kacprzyk:
The odyssey to next-generation computers: cognitive computers (κC) inspired by the brain and powered by intelligent mathematics. Frontiers Comput. Sci. 5 (2023) - [j124]Mohammad Salimibeni, Zohreh Hajiakhondi-Meybodi, Arash Mohammadi, Yingxu Wang:
TB-ICT: A Trustworthy Blockchain-Enabled System for Indoor Contact Tracing in Epidemic Control. IEEE Internet Things J. 10(7): 5992-6017 (2023) - [j123]Yingxu Wang, James Y. Xu:
An Autonomous Fake News Recognition System by Semantic Learning and Cognitive Computing. Trans. Comput. Sci. 40: 88-109 (2023) - 2022
- [c104]Yingxu Wang:
On Intelligent Mathematics underpinning Contemporary Abstract Sciences and Autonomous AI. ICCI*CC 2022: 6-8 - [c103]Yingxu Wang:
On Abstract Sciences: From Data, Information, Knowledge to Intelligence Sciences. ICCI*CC 2022: 45-55 - [c102]Yingxu Wang, James Y. Xu:
A Cognitive Computing Methodology for Software Requirement Elicitation and Formal Specification. ICCI*CC 2022: 129-136 - [c101]Yingxu Wang, Bernard Widrow, Witold Pedrycz, Janusz Kacprzyk, Sam Kwong, Konstantinos N. Plataniotis, Ling Guan, Petros Spachos:
Recent Breakthroughs in Cognitive Informatics and Cognitive Computing towards Autonomous AI (Plenary Panel Report-I of IEEE ICCI*CC'22). ICCI*CC 2022: 258-267 - [c100]Yingxu Wang:
A Formal Theory of AI Trustworthiness for Evaluating Autonomous AI Systems. SMC 2022: 137-142 - [e15]Yingxu Wang, Konstantinos N. Plataniotis, Bernard Widrow, Witold Pedrycz, Witold Kinsner, Petros Spachos, Sam Kwong:
21st 2022 International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2022, Toronto, ON, Canada, December 8-10, 2022. IEEE 2022, ISBN 978-1-6654-9084-9 [contents] - 2021
- [j122]Yingxu Wang, Ming Hou, Konstantinos N. Plataniotis, Sam Kwong, Henry Leung, Edward W. Tunstel, Imre J. Rudas, Ljiljana Trajkovic:
Towards a theoretical framework of autonomous systems underpinned by intelligence and systems sciences. IEEE CAA J. Autom. Sinica 8(1): 52-63 (2021) - [j121]Jun Peng, Shangzhu Jin, Shaoning Pang, Du Zhang, Lixiao Feng, Zuojin Li, Yingxu Wang:
S-Box Construction Method Based on the Combination of Quantum Chaos and PWLCM Chaotic Map. Int. J. Cogn. Informatics Nat. Intell. 15(4): 1-17 (2021) - [j120]Arash Mohammadi, Yingxu Wang, Nastaran Enshaei, Parnian Afshar, Farnoosh Naderkhani, Anastasia Oikonomou, Moezedin Javad Rafiee, Helder Cesar Rodigues de Oliveira, Svetlana N. Yanushkevich, Konstantinos N. Plataniotis:
Diagnosis/Prognosis of COVID-19 Chest Images via Machine Learning and Hypersignal Processing: Challenges, opportunities, and applications. IEEE Signal Process. Mag. 38(5): 37-66 (2021) - [c99]Yingxu Wang:
On the Emergence of Autonomous Systems towards Deep Thinking Machines and General AI Driven by Abstract Intelligence Theories and Intelligent Mathematics. ICCI*CC 2021: 5-6 - [c98]Yingxu Wang:
On the Cognitive Foundations of Autonomous Systems and General AI. ICCI*CC 2021: 16-22 - [c97]Yingxu Wang, James Y. Xu:
Autonomous Software Requirement Specifications towards AI Programming. ICCI*CC 2021: 123-130 - [c96]Yingxu Wang, Bernard Widrow, Witold Pedrycz, Robert C. Berwick, Paolo Soda, Sam Kwong, Okyay Kaynak, Carlo S. Regazzoni, Christine W. Chan, Marina L. Gavrilova, Guoyin Wang:
IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Informatics and Cognitive Computing towards General AI (Plenary Panel Report-I). ICCI*CC 2021: 253-263 - [c95]Yingxu Wang, Newton Howard, Ming Hou:
A Neuroinformatics Theory for Cognitive Neurorehabilitation. SMC 2021: 643-648 - [e14]Yingxu Wang, Jane Z. Wang, Henry Leung, Newton Howard, Paolo Soda, Bernard Widrow, Jerome A. Feldman:
20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2021, Banff, AB, Canada, October 29-31, 2021. IEEE 2021, ISBN 978-1-6654-2119-5 [contents] - [i3]Yingxu Wang, Fakhri Karray, Sam Kwong, Konstantinos N. Plataniotis, Henry Leung, Ming Hou, Edward W. Tunstel, Imre J. Rudas, Ljiljana Trajkovic, Okyay Kaynak, Janusz Kacprzyk, Mengchu Zhou, Michael H. Smith, Philip Chen, Shushma Patel:
On the Philosophical, Cognitive and Mathematical Foundations of Symbiotic Autonomous Systems (SAS). CoRR abs/2102.07617 (2021) - [i2]Mohammad Salimibeni, Zohreh Hajiakhondi-Meybodi, Arash Mohammadi, Yingxu Wang:
TB-ICT: A Trustworthy Blockchain-Enabled System for Indoor COVID-19 Contact Tracing. CoRR abs/2108.08275 (2021) - 2020
- [c94]Yingxu Wang:
Intelligent Mathematics (IM): Indispensable Mathematical Means for General AI, Autonomous Systems, Deep Knowledge Learning, Cognitive Robots, and Intelligence Science. IEEE ICCI*CC 2020: 4 - [c93]Yingxu Wang, Kostas N. Plataniotis, Z. Jane Wang, Ming Hou, MengChu Zhou, Newton Howard, Jun Peng, Runhe Huang, Shushma Patel, Du Zhang:
The Cognitive and Mathematical Foundations of Analytic Epidemiology. IEEE ICCI*CC 2020: 6-14 - [c92]Junjie Bai, Jiajie Li, Jun Peng, Kan Luo, Shuai Gao, Jianfeng Cai, Yingxu Wang:
A Cognitive Model of the Tactile Vibration Sense and Experiments on a Touch Simulation System. IEEE ICCI*CC 2020: 39-44 - [c91]James Y. Xu, Yingxu Wang:
Formal Software Requirement Elicitation based on Semantic Algebra and Cognitive Computing. IEEE ICCI*CC 2020: 187-194 - [c90]Yingxu Wang:
A Rigorous Cognitive Theory for Autonomous Decision Making. SMC 2020: 1021-1026 - [c89]James Y. Xu, Connor Branch, Yingxu Wang:
A Methodology and Experiments towards Autonomous Decision Making. SMC 2020: 1027-1032 - [c88]Yingxu Wang, Svetlana N. Yanushkevich, Ming Hou, Konstantinos N. Plataniotis, Mark Coates, Marina L. Gavrilova, Yaoping Hu, Fakhri Karray, Henry Leung, Arash Mohammadi, Sam Kwong, Edward W. Tunstel, Ljiljana Trajkovic, Imre J. Rudas, Janusz Kacprzyk:
A Tripartite Theory of Trustworthiness for Autonomous Systems. SMC 2020: 3375-3380 - [i1]Arash Mohammadi, Yingxu Wang, Nastaran Enshaei, Parnian Afshar, Farnoosh Naderkhani, Anastasia Oikonomou, Moezedin Javad Rafiee, Helder Cesar Rodigues de Oliveira, Svetlana N. Yanushkevich, Konstantinos N. Plataniotis:
Diagnosis/Prognosis of COVID-19 Images: Challenges, Opportunities, and Applications. CoRR abs/2012.14106 (2020)
2010 – 2019
- 2019
- [c87]Yingxu Wang, Konstantinos N. Plataniotis, Sam Kwong, Henry Leung, Svetlana N. Yanushkevich, Fakhri Karray, Ming Hou, Newton Howard, Rodolfo A. Fiorini, Paolo Soda, Edward W. Tunstel, Jianmin Wang, Shushma Patel:
On Autonomous Systems: From Reflexive, Imperative and Adaptive Intelligence to Autonomous and Cognitive Intelligence. ICCI*CC 2019: 7-12 - [c86]Yingxu Wang, James Y. Xu:
RTPA-based Software Generation by AI Programming. ICCI*CC 2019: 41-46 - [c85]Ying Huang, Yingxu Wang, Omar A. Zatarain:
Dynamic Path Optimization for Robot Route Planning. ICCI*CC 2019: 47-53 - [c84]Yingxu Wang, Omar A. Zatarain, Tony Tsai, Daniel Graves:
Sequence Learning for Images Recognition in Videos with Differential Neural Networks. ICCI*CC 2019: 117-122 - [c83]Yingxu Wang, Tony Cai, Omar A. Zatarain:
Objects Detection and Recognition in Videos for Sequence Learning. ICCI*CC 2019: 211-216 - [c82]Nagaraju Devarakonda, Sarvani Anandarao, Raviteja Kamarajugadda, Yingxu Wang:
Unique Dragonfly Optimization Algorithm for Harvesting and Clustering the Key Features. ICCI*CC 2019: 422-434 - [c81]Yingxu Wang, Jin Jiu, Liu Lin:
A Neural Circuit Theory for Neuroinformatics and Brain-Machine Interactions. SMC 2019: 253-258 - [c80]Yingxu Wang, Newton Howard:
The Spike Frequency Modulation (SFM) Theory for Neuroinformatics and Cognitive Cybernetics. SMC 2019: 2220-2224 - 2018
- [j119]Marina L. Gavrilova, Yingxu Wang, Faisal Ahmed, Padma Polash Paul:
Kinect Sensor Gesture and Activity Recognition: New Applications for Consumer Cognitive Systems. IEEE Consumer Electron. Mag. 7(1): 88-94 (2018) - [j118]Yingxu Wang, Newton Howard, Janusz Kacprzyk, Ophir Frieder, Phillip C.-Y. Sheu, Rodolfo A. Fiorini, Marina L. Gavrilova, Shushma Patel, Jun Peng, Bernard Widrow:
Cognitive Informatics: Towards Cognitive Machine Learning and Autonomous Knowledge Manipulation. Int. J. Cogn. Informatics Nat. Intell. 12(1): 1-13 (2018) - [j117]Yingxu Wang, Victor Raskin, Julia Rayz, George Baciu, Aladdin Ayesh, Fumio Mizoguchi, Shusaku Tsumoto, Dilip Patel, Newton Howard:
Cognitive Computing: Methodologies for Neural Computing and Semantic Computing in Brain-Inspired Systems. Int. J. Softw. Sci. Comput. Intell. 10(1): 1-14 (2018) - [c79]Yingxu Wang:
Cognitive Foundations and Formal Theories of Human and Robot Visions. ICCI*CC 2018: 5 - [c78]Yingxu Wang, Henry Leung, Marina L. Gavrilova, Omar A. Zatarain, Daniel Graves, Jianhua Lu, Newton Howard, Sam Kwong, Phillip C.-Y. Sheu, Shushma Patel:
A Survey and Formal Analyses on Sequence Learning Methodologies and Deep Neural Networks. ICCI*CC 2018: 6-15 - [c77]Mehrdad Valipour, Yingxu Wang:
Sentence Comprehension and Semantic Syntheses by Cognitive Machine Learning. ICCI*CC 2018: 38-45 - [c76]Yingxu Wang, Omar A. Zatarain:
Design and Implementation of a Knowledge Base for Machine Knowledge Learning. ICCI*CC 2018: 70-77 - [c75]James Y. Xu, Yingxu Wang:
Towards a Methodology for RTPA-MATLAB Code Generation Based on Machine Learning Rules. ICCI*CC 2018: 117-123 - [c74]Mehrdad Valipour, Yingxu Wang:
A Cognitive Machine Learning System for Phrases Composition and Semantic Comprehension. SMC 2018: 24-29 - [c73]Yingxu Wang, Jianhua Lu, Marina L. Gavrilova, Rodolfo A. Fiorini, Janusz Kacprzyk:
Brain-Inspired Systems (BIS): Cognitive Foundations and Applications. SMC 2018: 995-1000 - [e13]Yingxu Wang, Sam Kwong, Jerome Feldman, Newton Howard, Phillip C.-Y. Sheu, Bernard Widrow:
17th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2018, Berkeley, CA, USA, July 16-18, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-3360-1 [contents] - 2017
- [j116]Yingxu Wang, Lotfi A. Zadeh, Bernard Widrow, Newton Howard, Françoise Beaufays, George Baciu, D. Frank Hsu, Guiming Luo, Fumio Mizoguchi, Shushma Patel, Victor Raskin, Shusaku Tsumoto, Wei Wei, Du Zhang:
Abstract Intelligence: Embodying and Enabling Cognitive Systems by Mathematical Engineering. Int. J. Cogn. Informatics Nat. Intell. 11(1): 1-15 (2017) - [j115]Yingxu Wang, Jun Peng:
Big Data Analytics: A Cognitive Perspectives. Int. J. Cogn. Informatics Nat. Intell. 11(2): 41-56 (2017) - [j114]Yingxu Wang, Omar A. Zatarain:
A Novel Machine Learning Algorithm for Cognitive Concept Elicitation by Cognitive Robots. Int. J. Cogn. Informatics Nat. Intell. 11(3): 31-46 (2017) - [j113]Junjie Bai, Kan Luo, Jun Peng, Jinliang Shi, Ying Wu, Lixiao Feng, Jianqing Li, Yingxu Wang:
Music Emotions Recognition by Machine Learning With Cognitive Classification Methodologies. Int. J. Cogn. Informatics Nat. Intell. 11(4): 80-92 (2017) - [j112]Yingxu Wang:
On the Cognitive and Theoretical Foundations of Big Data Science and Engineering. New Math. Nat. Comput. 13(2): 101-117 (2017) - [c72]Yingxu Wang:
Cognitive foundations of knowledge science and deep knowledge learning by cognitive robots. IEEE ICCI*CC 2017: 5 - [c71]Yingxu Wang, Mehrdad Valipour, Omar A. Zatarain, Marina L. Gavrilova, Amir Hussain, Newton Howard, Shushma Patel:
Formal Ontology Generation by deep machine learning. IEEE ICCI*CC 2017: 6-15 - [c70]Yingxu Wang:
Formal rules for concept and semantics manipulations in cognitive linguistics and machine learning. IEEE ICCI*CC 2017: 43-50 - [c69]Mehrdad Valipour, Yingxu Wang:
Building semantic hierarchies of formal concepts by deep cognitive machine learning. IEEE ICCI*CC 2017: 51-58 - [c68]Omar A. Zatarain, Yingxu Wang:
Formal concept refinement by deep cognitive machine learning. IEEE ICCI*CC 2017: 71-78 - [c67]Junjie Bai, Kan Luo, Jun Peng, Jinliang Shi, Ying Wu, Lixiao Feng, Jianqing Li, Yingxu Wang:
Music emotions recognition by cognitive classification methodologies. IEEE ICCI*CC 2017: 121-129 - [c66]Yingxu Wang, Omar A. Zatarain, Mehrdad Valipour:
Building cognitive knowledge bases sharable by humans and cognitive robots. SMC 2017: 3189-3194 - [c65]Yingxu Wang:
A hierarchical theory of system topology and distributed functional fusions. SMC 2017: 3195-3200 - [e12]Newton Howard, Yingxu Wang, Amir Hussain, Freddie Hamdy, Bernard Widrow, Lotfi A. Zadeh:
16th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2017, Oxford, United Kingdom, July 26-28, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-0771-8 [contents] - 2016
- [j111]Yingxu Wang:
On Cognitive Foundations and Mathematical Theories of Knowledge Science. Int. J. Cogn. Informatics Nat. Intell. 10(2): 1-25 (2016) - [j110]Yingxu Wang, Mehrdad Valipour, Omar A. Zatarain:
Quantitative Semantic Analysis and Comprehension by Cognitive Machine Learning. Int. J. Cogn. Informatics Nat. Intell. 10(3): 13-28 (2016) - [j109]Yingxu Wang, Bernard Widrow, Lotfi A. Zadeh, Newton Howard, Sally L. Wood, Virendrakumar C. Bhavsar, Gerhard Budin, Christine W. Chan, Rodolfo A. Fiorini, Marina L. Gavrilova, Duane F. Shell:
Cognitive Intelligence: Deep Learning, Thinking, and Reasoning by Brain-Inspired Systems. Int. J. Cogn. Informatics Nat. Intell. 10(4): 1-20 (2016) - [j108]Junjie Bai, Lixiao Feng, Jun Peng, Jinliang Shi, Kan Luo, Zuojin Li, Lu Liao, Yingxu Wang:
Dimensional Music Emotion Recognition by Machine Learning. Int. J. Cogn. Informatics Nat. Intell. 10(4): 74-89 (2016) - [c64]Yingxu Wang:
Deep reasoning and thinking beyond deep learning by cognitive robots and brain-inspired systems. ICCI*CC 2016: 3 - [c63]Yingxu Wang, Omar A. Zatarain, Mehrdad Valipour:
Formal description of a supervised learning algorithm for concept elicitation by cognitive robots. ICCI*CC 2016: 5-14 - [c62]Omar A. Zatarain, Yingxu Wang:
Experiments on the supervised learning algorithm for formal concept elicitation by cognitive robots. ICCI*CC 2016: 86-96 - [c61]Mehrdad Valipour, Yingxu Wang, Omar A. Zatarain, Marina L. Gavrilova:
Algorithms for determining semantic relations of formal concepts by cognitive machine learning based on concept algebra. ICCI*CC 2016: 97-105 - [c60]Yingxu Wang:
On cognitive foundations of big data science and engineering. ICCI*CC 2016: 252-259 - [c59]Yingxu Wang:
From computing with words (CWW) to reasoning with fuzzy concepts (RFC). NAFIPS 2016: 1-6 - [e11]Yingxu Wang, Newton Howard, Bernard Widrow, Konstantinos N. Plataniotis, Lotfi A. Zadeh:
15th IEEE International Conference on Cognitive Informatics & Cognitive Computing ,ICCI*CC 2016, Palo Alto, CA, USA, August 22-23, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-3846-6 [contents] - 2015
- [j107]Yingxu Wang:
Cognitive Learning Methodologies for Brain-Inspired Cognitive Robotics. Int. J. Cogn. Informatics Nat. Intell. 9(2): 37-54 (2015) - [j106]Yingxu Wang:
On the Mathematical Theories and Cognitive Foundations of Information. Int. J. Cogn. Informatics Nat. Intell. 9(3): 42-64 (2015) - [j105]Yingxu Wang, Edmund T. Rolls, Newton Howard, Victor Raskin, Witold Kinsner, Fionn Murtagh, Virendrakumar C. Bhavsar, Shushma Patel, Dilip Patel, Duane F. Shell:
Cognitive Informatics and Computational Intelligence: From Information Revolution to Intelligence Revolution. Int. J. Softw. Sci. Comput. Intell. 7(2): 50-69 (2015) - [c58]Yingxu Wang:
Cognitive robotics and mathematical engineering. ICCI*CC 2015: 4-6 - [c57]Yingxu Wang:
Towards a fuzzy logical algebra (FLA) for formal inferences in cognitive computing and cognitive robotics. ICCI*CC 2015: 24-32 - [c56]Xiaoyu Lin, Yiwen Zhong, Yingxu Wang:
Fine-grained Differential Harmony Search algorithm. ICCI*CC 2015: 59-66 - [c55]Mehrdad Valipour, Yingxu Wang:
Formal properties and rules of concept algebra. ICCI*CC 2015: 128-135 - [c54]Jose-Antonio Cervantes, Félix Ramos, Yingxu Wang:
A formal model inspired on human decision-making process. ICCI*CC 2015: 375-383 - [c53]Sonia López, Jose-Antonio Cervantes, Félix Ramos, Yingxu Wang:
A cognitive model of motor planning for virtual creatures. ICCI*CC 2015: 390-398 - 2014
- [j104]Yingxu Wang:
Unveiling the Cognitive Mechanisms of Eyes: The Visual Sensor Vs. the Perceptive Browser of the Brain. Int. J. Cogn. Informatics Nat. Intell. 8(1): 36-50 (2014) - [j103]Yingxu Wang:
Fuzzy Causal Patterns of Humor and Jokes for Cognitive and Affective Computing. Int. J. Cogn. Informatics Nat. Intell. 8(2): 34-46 (2014) - [j102]Yingxu Wang, Victor J. Wiebe:
Big Data Analytics on the Characteristic Equilibrium of Collective Opinions in Social Networks. Int. J. Cogn. Informatics Nat. Intell. 8(3): 29-44 (2014) - [j101]Xiaoyu Lin, Yingxu Wang:
Simulation and Visualization of Concept Algebra in MATLAB. Int. J. Softw. Sci. Comput. Intell. 6(1): 30-55 (2014) - [j100]Yingxu Wang:
On a Novel Cognitive Knowledge Base (CKB) for Cognitive Robots and Machine Learning. Int. J. Softw. Sci. Comput. Intell. 6(2): 41-62 (2014) - [c52]Yingxu Wang:
From information revolution to intelligence revolution: Big data science vs. intelligence science. ICCI*CC 2014: 3-5 - [c51]Yingxu Wang:
Towards a theory of fuzzy probability for cognitive computing. ICCI*CC 2014: 21-29 - [c50]Yingxu Wang, Victor J. Wiebe:
Big Data Analyses for Collective Opinion Elicitation in Social Networks. TrustCom 2014: 630-637 - 2013
- [j99]Yingxu Wang:
Neuroinformatics Models of Human Memory: Mapping the Cognitive Functions of Memory onto Neurophysiological Structures of the Brain. Int. J. Cogn. Informatics Nat. Intell. 7(1): 98-122 (2013) - [j98]Yingxu Wang, Gabriele Fariello, Marina L. Gavrilova, Witold Kinsner, Fumio Mizoguchi, Shushma Patel, Dilip Patel, Fernando L. Pelayo, Victor Raskin, Duane F. Shell, Shusaku Tsumoto:
Perspectives on Cognitive Computers and Knowledge Processors. Int. J. Cogn. Informatics Nat. Intell. 7(3): 1-24 (2013) - [j97]Yingxu Wang, Shushma Patel, Dilip Patel:
The Cognitive Process and Formal Models of Human Attentions. Int. J. Softw. Sci. Comput. Intell. 5(1): 32-50 (2013) - [j96]Yingxu Wang, Yousheng Tian:
A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics. Int. J. Softw. Sci. Comput. Intell. 5(2): 37-57 (2013) - [j95]Yingxu Wang:
Formal Models and Cognitive Mechanisms of the Human Sensory System. Int. J. Softw. Sci. Comput. Intell. 5(3): 55-75 (2013) - [c49]Yingxu Wang:
Basic theories for neuroinformatics and neurocomputing. ICCI*CC 2013: 3-4 - [c48]Yingxu Wang:
A semantic algebra for cognitive linguistics and cognitive computing. ICCI*CC 2013: 17-25 - 2012
- [j94]Yingxu Wang:
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (II). Int. J. Cogn. Informatics Nat. Intell. 6(1): 21-47 (2012) - [j93]Yingxu Wang:
The Cognitive Mechanisms and Formal Models of Consciousness. Int. J. Cogn. Informatics Nat. Intell. 6(2): 23-40 (2012) - [j92]Yingxu Wang, James A. Anderson, George Baciu, Gerhard Budin, D. Frank Hsu, Mitsuru Ishizuka, Witold Kinsner, Fumio Mizoguchi, Toyoaki Nishida, Kenji Sugawara, Shusaku Tsumoto, Du Zhang:
Perspectives on eBrain and Cognitive Computing. Int. J. Cogn. Informatics Nat. Intell. 6(4): 1-21 (2012) - [j91]Yingxu Wang:
On Abstract Intelligence and Brain Informatics: Mapping Cognitive Functions of the Brain onto its Neural Structures. Int. J. Cogn. Informatics Nat. Intell. 6(4): 54-80 (2012) - [j90]Yingxu Wang, Aderemi Adewumi:
The Formal Design Models of Digraph Architectures and Behaviors. Int. J. Softw. Sci. Comput. Intell. 4(1): 100-129 (2012) - [j89]Luis-Felipe Rodríguez, Félix Ramos, Yingxu Wang:
Cognitive Computational Models of Emotions and Affective Behaviors. Int. J. Softw. Sci. Comput. Intell. 4(2): 41-63 (2012) - [j88]Yingxu Wang, Yousheng Tian:
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA. Int. J. Softw. Sci. Comput. Intell. 4(2): 81-104 (2012) - [j87]Yingxu Wang:
Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences. Int. J. Softw. Sci. Comput. Intell. 4(4): 70-86 (2012) - [c47]Yingxu Wang:
On abstract intelligence and brain informatics: Mapping the cognitive functions onto the neural architectures. ICCI*CC 2012: 5-6 - [c46]Yingxu Wang, Robert C. Berwick:
On formal models for cognitive linguistics. ICCI*CC 2012: 7-17 - [c45]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 - [e10]Kenji Sugawara, Yingxu Wang, Fumio Hattori, Toyoaki Nishida, Shigeru Fujita, Witold Kinsner, Lotfi A. Zadeh:
11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2012, Kyoto, Japan, August 22-24, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2794-7 [contents] - 2011
- [j86]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. Int. J. Cogn. Informatics Nat. Intell. 5(1): 1-17 (2011) - [j85]Yingxu Wang:
Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive Computing. Int. J. Cogn. Informatics Nat. Intell. 5(1): 75-93 (2011) - [j84]Jeff Bancroft, Yingxu Wang:
A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development. Int. J. Cogn. Informatics Nat. Intell. 5(2): 17-36 (2011) - [j83]Yingxu Wang, Yousheng Tian, Kendall Hu:
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra. Int. J. Cogn. Informatics Nat. Intell. 5(3): 1-29 (2011) - [j82]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. Int. J. Cogn. Informatics Nat. Intell. 5(4): 1-21 (2011) - [j81]Yingxu Wang:
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I). Int. J. Cogn. Informatics Nat. Intell. 5(4): 61-82 (2011) - [j80]Yingxu Wang:
On Cognitive Models of Causal Inferences and Causation Networks. Int. J. Softw. Sci. Comput. Intell. 3(1): 50-60 (2011) - [j79]Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.-Y. Sheu:
The Formal Design Model of a File Management System (FMS). Int. J. Softw. Sci. Comput. Intell. 3(1): 90-113 (2011) - [j78]Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.-Y. Sheu:
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists). Int. J. Softw. Sci. Comput. Intell. 3(2): 83-102 (2011) - [j77]Yingxu Wang, Vincent Chiew:
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems. Int. J. Softw. Sci. Comput. Intell. 3(3): 23-42 (2011) - [j76]Yingxu Wang, Jason Huang, Jingsheng Lei:
The Formal Design Models of a Universal Array (UA) and its Implementation. Int. J. Softw. Sci. Comput. Intell. 3(3): 69-89 (2011) - [j75]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. Int. J. Softw. Sci. Comput. Intell. 3(4): 1-17 (2011) - [j74]Cyprian F. Ngolah, Ed Morden, Yingxu Wang:
Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks. Int. J. Softw. Sci. Comput. Intell. 3(4): 67-83 (2011) - [j73]Yingxu Wang, Xinming Tan:
The Formal Design Models of Tree Architectures and Behaviors. Int. J. Softw. Sci. Comput. Intell. 3(4): 84-108 (2011) - [c44]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 - [c43]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 - [c42]Yingxu Wang, Yousheng Tian, Kendall Hu:
The operational semantics of Concept Algebra for cognitive computing and machine learning. IEEE ICCI*CC 2011: 49-58 - [c41]Luis-Felipe Rodríguez, Félix Ramos, Yingxu Wang:
Cognitive computational models of emotions. IEEE ICCI*CC 2011: 75-84 - [c40]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 - [c39]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 - 2010
- [j72]Yingxu Wang, Vincent Chiew:
On the cognitive process of human problem solving. Cogn. Syst. Res. 11(1): 81-92 (2010) - [j71]Yingxu Wang:
A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing. Int. J. Appl. Metaheuristic Comput. 1(1): 110-128 (2010) - [j70]Yingxu Wang, George Baciu, Yiyu Yao, Witold Kinsner, Keith C. C. 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. Int. J. Cogn. Informatics Nat. Intell. 4(1): 1-29 (2010) - [j69]Kai Hu, Yingxu Wang, Yousheng Tian:
A Web Knowledge Discovery Engine Based on Concept Algebra. Int. J. Cogn. Informatics Nat. Intell. 4(1): 80-97 (2010) - [j68]Yingxu Wang, Davrondzhon Gafurov:
The Cognitive Process of Comprehension: A Formal description. Int. J. Cogn. Informatics Nat. Intell. 4(3): 44-58 (2010) - [j67]Yingxu Wang:
On Formal and Cognitive Semantics for Semantic Computing. Int. J. Semantic Comput. 4(2): 203-237 (2010) - [j66]Yingxu Wang:
On Concept Algebra for Computing with Words (CWW). Int. J. Semantic Comput. 4(3): 331-356 (2010) - [j65]Yingxu Wang, Yanan Zhang, Phillip C.-Y. Sheu, Xuhui Li, Hong Guo:
The Formal Design Model of an Automatic Teller Machine (ATM). Int. J. Softw. Sci. Comput. Intell. 2(1): 102-131 (2010) - [j64]Yingxu Wang, Xinming Tan, Cyprian F. Ngolah:
Design and Implementation of an Autonomic Code Generator Based on RTPA. Int. J. Softw. Sci. Comput. Intell. 2(2): 44-65 (2010) - [j63]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. Int. J. Softw. Sci. Comput. Intell. 2(2): 105-122 (2010) - [j62]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. Int. J. Softw. Sci. Comput. Intell. 2(3): 79-105 (2010) - [j61]Yingxu Wang, Witold Pedrycz, George Baciu, Ping Chen, Guoyin Wang, Yiyu Yao:
Perspectives on Cognitive Computing and Applications. Int. J. Softw. Sci. Comput. Intell. 2(4): 32-44 (2010) - [j60]Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Phillip C.-Y. Sheu:
The Formal Design Models of a Set of Abstract Data Types (ADTs). Int. J. Softw. Sci. Comput. Intell. 2(4): 72-100 (2010) - [j59]Yingxu Wang:
Abstract intelligence and cognitive robots. Paladyn J. Behav. Robotics 1(1): 66-72 (2010) - [j58]Yingxu Wang:
Cognitive Robots. IEEE Robotics Autom. Mag. 17(4): 54-62 (2010) - [c38]Yingxu Wang, Witold Pedrycz, George Baciu, Ping Chen, Hugo de Garis, Zhongzhi Shi, Guoyin Wang, Patrick S. P. Wang, Yiyu Yao:
Perspectives on cognitive computing and applications: Summary of plenary Panel I of IEEE ICCI'10. IEEE ICCI 2010: 8-16 - [c37]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 - [c36]Yingxu Wang:
Cognitive Informatics and Denotational Mathematical Means for Brain Informatics. Brain Informatics 2010: 2-13 - [c35]Vincent Chiew, Yingxu Wang:
A large-scale empirical study on the cognitive complexity of software. CCECE 2010: 1-4 - [e9]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 Computer Society 2010, ISBN 978-1-4244-8041-8 [contents]
2000 – 2009
- 2009
- [j57]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. Informaticae 90(3): 203-228 (2009) - [j56]Yingxu Wang:
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing. Fundam. Informaticae 90(3): 283-303 (2009) - [j55]Yingxu Wang, Du Zhang, Shusaku Tsumoto:
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I). Fundam. Informaticae 90(3) (2009) - [j54]Yingxu Wang:
A Formal Syntax of Natural Languages and the Deductive Grammar. Fundam. Informaticae 90(4): 353-368 (2009) - [j53]Yingxu Wang:
Toward Formal Models of the Theoretical Framework of Fundamental Economics. Fundam. Informaticae 90(4): 443-459 (2009) - [j52]Yingxu Wang, Du Zhang, Shusaku Tsumoto:
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II). Fundam. Informaticae 90(4) (2009) - [j51]Yingxu Wang:
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS). Int. J. Cogn. Informatics Nat. Intell. 3(1): 1-16 (2009) - [j50]Yingxu Wang:
Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion. Int. J. Cogn. Informatics Nat. Intell. 3(2): 84-98 (2009) - [j49]Yingxu Wang:
The Cognitive Informatics Theory and Mathematical Models of Visual Information Processing in the Brain. Int. J. Cogn. Informatics Nat. Intell. 3(3): 1-11 (2009) - [j48]Yingxu Wang:
On Cognitive Foundations of Creativity and the Cognitive Process of Creation. Int. J. Cogn. Informatics Nat. Intell. 3(4): 1-18 (2009) - [j47]Yingxu Wang:
On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence. Int. J. Softw. Sci. Comput. Intell. 1(1): 1-17 (2009) - [j46]Yingxu Wang, Lotfi A. Zadeh, Yiyu Yao:
On the System Algebra Foundations for Granular Computing. Int. J. Softw. Sci. Comput. Intell. 1(1): 64-86 (2009) - [j45]Yingxu Wang, Shushma Patel:
Exploring the Cognitive Foundations of Software Engineering. Int. J. Softw. Sci. Comput. Intell. 1(2): 1-19 (2009) - [j44]Yingxu Wang:
On the Cognitive Complexity of Software and its Quantification and Formal Measurement. Int. J. Softw. Sci. Comput. Intell. 1(2): 31-53 (2009) - [j43]Yingxu Wang:
On Cognitive Computing. Int. J. Softw. Sci. Comput. Intell. 1(3): 1-15 (2009) - [j42]Yingxu Wang:
The Formal Design Model of a Telephone Switching System (TSS). Int. J. Softw. Sci. Comput. Intell. 1(3): 92-116 (2009) - [j41]Yingxu Wang:
On Visual Semantic Algebra (VSA): A Denotational Mathematical Structure for Modeling and Manipulating Visual Objects and Patterns. Int. J. Softw. Sci. Comput. Intell. 1(4): 1-16 (2009) - [j40]Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Phillip C.-Y. Sheu, Shi Ying:
The Formal Design Model of a Lift Dispatching System (LDS). Int. J. Softw. Sci. Comput. Intell. 1(4): 111-137 (2009) - [j39]Yingxu Wang:
Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations. Trans. Comput. Sci. 5: 1-19 (2009) - [j38]Yingxu Wang:
Formal Description of the Cognitive Process of Memorization. Trans. Comput. Sci. 5: 81-98 (2009) - [j37]Yousheng Tian, Yingxu Wang, Kai Hu:
A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra. Trans. Comput. Sci. 5: 143-160 (2009) - [j36]Yingxu Wang, Witold Kinsner, Du Zhang:
Contemporary Cybernetics and Its Facets of Cognitive Informatics and Computational Intelligence. IEEE Trans. Syst. Man Cybern. Part B 39(4): 823-833 (2009) - [c34]Yingxu Wang, George Baciu, Yiyu Yao, Bo Zhang, Witold Kinsner, Chu-Ren Huang, Keith C. C. 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 - [e8]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, ISBN 978-1-4244-4642-1 [contents] - [e7]Marina L. Gavrilova, Chih Jeng Kenneth Tan, Yingxu Wang, Keith C. C. Chan:
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 [contents] - 2008
- [j35]Yingxu Wang:
On the Big-R Notation for Describing Interative and Recursive Behaviors. Int. J. Cogn. Informatics Nat. Intell. 2(1): 17-28 (2008) - [j34]Yingxu Wang, Jian Huang:
Formal Modeling and Specification of Design Patterns Using RTPA. Int. J. Cogn. Informatics Nat. Intell. 2(1): 100-111 (2008) - [j33]Yingxu Wang:
On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling. Int. J. Cogn. Informatics Nat. Intell. 2(2): 1-19 (2008) - [j32]Yingxu Wang:
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling. Int. J. Cogn. Informatics Nat. Intell. 2(2): 20-43 (2008) - [j31]Yingxu Wang:
RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors. Int. J. Cogn. Informatics Nat. Intell. 2(2): 44-62 (2008) - [j30]Yingxu Wang:
Deductive Semantics of RTPA. Int. J. Cogn. Informatics Nat. Intell. 2(2): 95-121 (2008) - [j29]Xinming Tan, Yingxu Wang:
A Denotational Semantics of Real-Time Process Algebra (RTPA). Int. J. Cogn. Informatics Nat. Intell. 2(3): 57-70 (2008) - [j28]Yingxu Wang, Cyprian F. Ngolah:
An Operational Semantics of Real-Time Process Algebra (RTPA). Int. J. Cogn. Informatics Nat. Intell. 2(3): 71-89 (2008) - [j27]Yingxu Wang:
Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain. Int. J. Cogn. Informatics Nat. Intell. 2(4): 15-28 (2008) - [j26]Yingxu Wang:
On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization. Int. J. Cogn. Informatics Nat. Intell. 2(4): 70-84 (2008) - [j25]Yingxu Wang, Yiyu Yao, Guoyin Wang:
Perspectives on Denotational Mathematics: New Means of Thought. Trans. Comput. Sci. 2: 1-5 (2008) - [j24]Yingxu Wang:
On Contemporary Denotational Mathematics for Computational Intelligence. Trans. Comput. Sci. 2: 6-29 (2008) - [j23]Yingxu Wang:
On Mathematical Laws of Software. Trans. Comput. Sci. 2: 46-83 (2008) - [j22]Yingxu Wang:
Toward a Generic Mathematical Model of Abstract Game Theories. Trans. Comput. Sci. 2: 205-223 (2008) - [c33]Yingxu Wang, Ying Wang:
The cognitive processes of consciousness and attention. IEEE ICCI 2008: 30-39 - [c32]Yingxu Wang:
A hierarchical abstraction model for software engineering. ROA@ICSE 2008: 43-48 - [e6]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 Computer Society 2008, ISBN 978-1-4244-2538-9 [contents] - [e5]Marina L. Gavrilova, Chih Jeng Kenneth Tan, Yingxu Wang, Yiyu Yao, Guoyin Wang:
Transactions on Computational Science II. Lecture Notes in Computer Science 5150, Springer 2008, ISBN 978-3-540-87562-8 [contents] - 2007
- [j21]Yingxu Wang:
The Theoretical Framework of Cognitive Informatics. Int. J. Cogn. Informatics Nat. Intell. 1(1): 1-27 (2007) - [j20]Yingxu Wang:
On Laws of Work Organization in Human Cooperation. Int. J. Cogn. Informatics Nat. Intell. 1(2): 1-15 (2007) - [j19]Yingxu Wang, Günther Ruhe:
The Cognitive Process of Decision Making. Int. J. Cogn. Informatics Nat. Intell. 1(2): 73-85 (2007) - [j18]Yingxu Wang:
Toward Theoretical Foundations of Autonomic Computing. Int. J. Cogn. Informatics Nat. Intell. 1(3): 1-16 (2007) - [j17]Yingxu Wang:
The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain. Int. J. Cogn. Informatics Nat. Intell. 1(3): 66-77 (2007) - [j16]Yingxu Wang:
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes. Int. J. Cogn. Informatics Nat. Intell. 1(4): 1-13 (2007) - [j15]Yingxu Wang:
The Cognitive Processes of Formal Inferences. Int. J. Cogn. Informatics Nat. Intell. 1(4): 75-86 (2007) - [c31]Yousheng Tian, Yingxu Wang:
A Knowledge Representation Tool Based on Concept Algebra. IEEE ICCI 2007: 294-301 - 2006
- [j14]Yingxu Wang, Witold Kinsner:
Editorial Recent Advances in Cognitive Informatics. IEEE Trans. Syst. Man Cybern. Syst. 36(2): 121-123 (2006) - [j13]Yingxu Wang, Ying Wang, Shushma Patel, Dilip Patel:
A layered reference model of the brain (LRMB). IEEE Trans. Syst. Man Cybern. Syst. 36(2): 124-133 (2006) - [j12]Yingxu Wang:
On the informatics laws and deductive semantics of software. IEEE Trans. Syst. Man Cybern. Syst. 36(2): 161-171 (2006) - [j11]Yingxu Wang, Ying Wang:
Cognitive informatics models of the brain. IEEE Trans. Syst. Man Cybern. Syst. 36(2): 203-207 (2006) - [c30]Xinming Tan, Yingxu Wang:
Transforming RTPA Mathematical Models of System Behaviors Into C++. IEEE ICCI 2006: 362-369 - [c29]Xinming Tan, Yingxu Wang, Cyprian F. Ngolah:
Design and Implementation of an Automatic RTPA Code Generator. CCECE 2006: 434-437 - [c28]Cyprian F. Ngolah, Yingxu Wang, Xinming Tan:
Implementing the Real-Time Processes of RTPA using Real-Time Java. CCECE 2006: 602-605 - [c27]Tony Khoo, Yingxu Wang:
Formalization of UML Models by RTPA. CCECE 2006: 612-615 - [c26]Vincent Chiew, Yingxu Wang:
Design of a Cognitive Complexities Measurement and Analysis Tool. CCECE 2006: 1667-1670 - [c25]Yingxu Wang:
The OAR Model for Knowledge Representation. CCECE 2006: 1727-1730 - [c24]Yingxu Wang:
A Unified Mathematical Model of Programs. CCECE 2006: 2381-2384 - [c23]Yingxu Wang, Yuyu Yuan:
The Formal Economic Model of Software Engineering. CCECE 2006: 2385-2388 - [c22]Yingxu Wang:
On Constraints and Count-Measures for Software Engineering. CCECE 2006: 2389-2392 - [c21]Yingxu Wang:
A Mathematical Model for Explaining the Mythic Man-Month. CCECE 2006: 2393-2396 - [c20]Yingxu Wang:
Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation. RSKT 2006: 69-78 - [e4]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 Computer Society 2006, ISBN 1-4244-0475-4 [contents] - 2005
- [c19]Cyprian F. Ngolah, Yingxu Wang:
Formal specification of CORBA-based distributed objects and behaviors. IEEE ICCI 2005: 331-339 - 2004
- [j10]Yingxu Wang, Shushma Patel:
Guest editorial: On Modeling Object-Oriented Information Systems. Softw. Syst. Model. 3(4): 258-261 (2004) - [c18]Xinming Tan, Yingxu Wang, Cyprian F. Ngolah:
Specification of the RTPA Grammar and Its Recognition. IEEE ICCI 2004: 54-63 - [c17]Vincent Chiew, Yingxu Wang:
Formal Description of the Cognitive Process of Problem Solving. IEEE ICCI 2004: 74-83 - [c16]Yingxu Wang, Dong Liu, Günther Ruhe:
Formal Description of the Cognitive Process of Decision Making. IEEE ICCI 2004: 124-130 - [e3]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, ISBN 0-7695-2190-8 [contents] - 2003
- [j9]Yingxu Wang:
On the Latest Development in Cognitive Informatics: Conference Summary of the First IEEE International Conference on Cognitive Informatics (ICCI '02). ACM SIGSOFT Softw. Eng. Notes 28(2): 2 (2003) - [c15]Yingxu Wang, Shushma Patel, Dilip Patel, Ying Wang:
A Layered Reference Model of the Brain. IEEE ICCI 2003: 7-17 - [c14]Vincent Chiew, Yingxu Wang:
From Cognitive Psychology to Cognitive Informatics. IEEE ICCI 2003: 114-120 - [e2]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, ISBN 0-7695-1986-5 [contents] - 2002
- [j8]Yingxu Wang, Antony Bryant:
Process-Based Software Engineering: Building the Infrastructures. Ann. Softw. Eng. 14(1-4): 9-37 (2002) - [j7]Yingxu Wang:
The Real-Time Process Algebra (RTPA). Ann. Softw. Eng. 14(1-4): 235-274 (2002) - [c13]Yingxu Wang, Ying Wang:
Cognitive Models of the Brain. IEEE ICCI 2002: 259-269 - [c12]Yingxu Wang:
The Latest Development on Cognitive Informatics. OOIS 2002: 5 - [c11]Yingxu Wang, Graham King:
A European COTS Architecture with Built-in Tests. OOIS 2002: 336-347 - [c10]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 - [c9]Vincent Chiew, Yingxu Wang:
Software Engineering Process Benchmarking. PROFES 2002: 519-531 - [c8]Yingxu Wang:
Real-Time Process Algebra and Its Applications. 10th Anniversary Colloquium of UNU/IIST 2002: 322-336 - 2001
- [c7]Yingxu Wang, Hareton K. N. Leung:
A Benchmark-Based Adaptable Software Process Model. EUROMICRO 2001: 216-224 - [c6]Yingxu Wang:
Formal Description of Object-Oriented Software Measurement and Metrics in SEMS. OOIS 2001: 123-132 - [c5]Yingxu Wang, Shushma Patel, Dilip Patel:
On Built-in Test Classes for Object-Oriented and Component-Based Information Systems. OOIS 2001: 307-316 - [e1]Yingxu Wang, Shushma Patel, Ronald Johnston:
7th International Conference on Object Oriented Information Systems, OOIS 2001, Calgary, Canada, August 27-29, 2001. Proceedings. Springer 2001, ISBN 978-1-85233-546-5 [contents] - 2000
- [j6]Yingxu Wang, Dilip Patel:
Editors' introduction: Comparative software engineering: Review and perspectives. Ann. Softw. Eng. 10: 1-10 (2000) - [j5]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)
1990 – 1999
- 1999
- [j4]Yingxu Wang, Islam Choudhury, Dilip Patel, Shushma Patel, Alec Dorling, Hakan Wickberg, Graham King:
On the Foundations of Object-Oriented Informations Systems. Obj. Logiciel Base données Réseaux 5(1) (1999) - [j3]Yingxu Wang, Graham King, Dilip Patel, Shushma Patel, Alec Dorling:
On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests. Ann. Softw. Eng. 7: 283-296 (1999) - [c4]Yingxu Wang, Graham King, Hakan Wickburg:
A Method for Built-in Tests in Component-based Software Maintenance. CSMR 1999: 186-189 - [c3]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- - [c2]Yingxu Wang, Alec Dorling, Hakan Wickberg, Graham King:
Experience in Comparative Process Assessment with Multi-Process-Models. EUROMICRO 1999: 2268-2273 - 1998
- [j2]Yingxu Wang, Graham King, Dilip Patel, Ian Court, Geoff Staples, Margaret Ross, Shushma Patel:
On built-in tests and reuse in object-oriented programming. ACM SIGSOFT Softw. Eng. Notes 23(4): 60-64 (1998) - [c1]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 - 1997
- [j1]Yingxu Wang, Graham King, Ian Court, Margaret Ross, Geoff Staples:
On testable object-oriented programming. ACM SIGSOFT Softw. Eng. Notes 22(4): 84-90 (1997)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-27 21:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint