Yingxu. Wang

Q: What Schools Are Affiliated With Yingxu. Wang

Yingxu. Wang is affiliated with the following schools: University of Calgary, Chongqing University of Science and Technology, Stanford University

Yingxu. Wang's AcademicInfluence.com Rankings

Yingxu. Wang

Computer Science

#4939

World Rank

#5217

Historical Rank

Artificial Intelligence

#1360

World Rank

#1387

Historical Rank

Database

#2109

World Rank

#2218

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Yingxu. Wang's Degrees

Bachelors Computer Science Harbin Institute of Technology
Masters Computer Science Harbin Institute of Technology
PhD Computer Science Harbin Institute of Technology

Similar Degrees You Can Earn

Why Is Yingxu. Wang Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Yingxu. Wang's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

On Cognitive Informatics (2002) (424)
The Theoretical Framework of Cognitive Informatics (2007) (356)
A layered reference model of the brain (LRMB) (2006) (306)
On the cognitive process of human problem solving (2010) (285)
The Real-Time Process Algebra (RTPA) (2002) (272)
The Cognitive Process of Decision Making (2007) (238)
Software Engineering Foundations: A Software Science Perspective (2007) (209)
On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling (2008) (179)
On Contemporary Denotational Mathematics for Computational Intelligence (2008) (175)
Contemporary Cybernetics and Its Facets of Cognitive Informatics and Computational Intelligence (2009) (148)
International Journal of Software Science and Computational Intelligence (2013) (143)
The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain (2007) (138)
RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors (2008) (130)
On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence (2009) (126)
Software Engineering Processes: Principles and Applications (2000) (120)
On Cognitive Computing (2009) (108)
Process-Based Software Engineering: Building the Infrastructures (2002) (100)
Cognitive informatics models of the brain (2006) (97)
Editorial Recent Advances in Cognitive Informatics (2006) (93)
On the System Algebra Foundations for Granular Computing (2009) (90)
In Search of Denotational Mathematics: Novel Mathematical Means for Contemporary Intelligence, Brain, and Knowledge Sciences (2012) (87)
Measurement of the cognitive functional complexity of software (2003) (86)
A new measure of software complexity based on cognitive weights (2003) (83)
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes (2007) (82)
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (II) (2011) (82)
Using Process Algebra to Describe Human and Software Behaviors (2003) (80)
Cognitive Informatics: Towards Future Generation Computers that Think and Feel (2006) (78)
A Doctrine of Cognitive Informatics (CI) (2009) (74)
A method for built-in tests in component-based software maintenance (1999) (73)
A layered reference model of the brain (2003) (72)
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling (2008) (70)
Perspectives on Cognitive Informatics and Cognitive Computing (2010) (69)
Cognitive Intelligence: Deep Learning, Thinking, and Reasoning by Brain-Inspired Systems (2016) (68)
Discovering the Capacity of Human Memory (2003) (67)
Novel Approaches in Cognitive Informatics and Natural Intelligence (2008) (67)
On Visual Semantic Algebra (VSA): A Denotational Mathematical Structure for Modeling and Manipulating Visual Objects and Patterns (2009) (66)
Cognitive Robots: A Reference Model Toward Intelligent Authentication (2010) (65)
Deductive Semantics of RTPA (2008) (63)
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing (2009) (62)
The Cognitive Processes of Formal Inferences (2007) (61)
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra (2011) (61)
Towards a Formal Framework of Cognitive Linguistics (2012) (61)
Perspectives on the Field of Cognitive Informatics and its Future Development (2011) (59)
On Concept Algebra for Computing with Words (CWW) (2010) (59)
On Concept Algebra and Knowledge Representation (2006) (59)
On Formal and Cognitive Semantics for Semantic Computing (2010) (59)
Advances in Cognitive Informatics and Cognitive Computing (2010) (58)
On the Big-R Notation for Describing Iterative and Recursive Behaviors (2006) (57)
On the cognitive informatics foundations of software engineering (2004) (56)
On Neuroinformatics: Mathematical Models of Neuroscience and Neurocomputing (2012) (54)
On built-in test reuse in object-oriented framework design (2000) (54)
Cognitive Informatics for Revealing Human Cognition: Knowledge Manipulations in Natural Intelligence (2012) (52)
Formal description of the cognitive process of decision making (2004) (51)
Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence (Advances in Cognitive Informatics and Natural Intelligence (Acini) Book Series) (2009) (51)
On Denotational Mathematics Foundations for the Next Generation of Computers: Cognitive Computers for Knowledge Processing (2012) (50)
Cognitive Informatics and Cognitive Computing in Year 10 and Beyond (2011) (49)
A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine (2011) (49)
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS) (2009) (48)
On Cognitive Models of Causal Inferences and Causation Networks (2011) (48)
Cognitive models of the brain (2002) (47)
The Theoretical Framework and Cognitive Process of Learning (2007) (47)
The Formal Design Model of an Automatic Teller Machine (ATM) (2010) (46)
Formal Description of the Cognitive Process of Memorization (2009) (46)
Neuroinformatics Models of Human Memory: Mapping the Cognitive Functions of Memory onto Neurophysiological Structures of the Brain (2013) (45)
On cognitive foundations of creativity and the cognitive process of creation (2008) (45)
Kinect Sensor Gesture and Activity Recognition: New Applications for Consumer Cognitive Systems (2018) (43)
Towards the abstract system theory of system science for cognitive and intelligent systems (2015) (43)
On the informatics laws and deductive semantics of software (2006) (43)
Toward Theoretical Foundations of Autonomic Computing (2007) (41)
On Abstract Intelligence and Brain Informatics: Mapping Cognitive Functions of the Brain onto its Neural Structures (2012) (41)
On the mathematical laws of software (2005) (40)
On Cognitive Foundations and Mathematical Theories of Knowledge Science (2016) (40)
Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive Computing (2011) (37)
Software Science: On the General Mathematical Models and Formal Properties of Software (2014) (36)
Transdisciplinary Advancements in Cognitive Mechanisms and Human Information Processing (2011) (36)
A novel fuzzy multimodal information fusion technology for human biometric traits identification (2011) (36)
A Formal Syntax of Natural Languages and the Deductive Grammar (2009) (36)
On Semantic Algebra: A Denotational Mathematics for Natural Language Comprehension and Cognitive Computing (2013) (35)
On the Cognitive Complexity of Software and its Quantification and Formal Measurement (2009) (35)
The Cognitive Mechanisms and Formal Models of Consciousness (2012) (34)
Developments in Natural Intelligence Research and Knowledge Engineering: Advancing Applications (2012) (34)
Design and Implementation of an Autonomic Code Generator Based on RTPA (2010) (33)
Brain-Inspired Systems: A Transdisciplinary Exploration on Cognitive Cybernetics, Humanity, and Systems Science Toward Autonomous Artificial Intelligence (2020) (33)
Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations (2009) (33)
Formal Relational Rules of English Syntax for Cognitive Linguistics, Machine Learning, and Cognitive Computing (2013) (30)
A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics (2013) (30)
The Cognitive Process of Comprehension: A Formal description (2010) (30)
Cognitive Learning Methodologies for Brain-Inspired Cognitive Robotics (2015) (29)
A Web Knowledge Discovery Engine Based on Concept Algebra (2007) (29)
On a Novel Cognitive Knowledge Base (CKB) for Cognitive Robots and Machine Learning (2014) (29)
Software and Intelligent Sciences: New Transdisciplinary Findings (2012) (28)
From cognitive psychology to cognitive informatics (2003) (28)
Formal description of the cognitive process of problem solving (2004) (27)
Big Data Analytics on the Characteristic Equilibrium of Collective Opinions in Social Networks (2014) (26)
The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors (2010) (26)
On the informatics laws of software (2002) (26)
Welcome to the Journal of Advanced Mathematics and Applications Contemporary Mathematics as a Metamethodology of Science, Engineering, Society, and Humanity (2012) (25)
On Laws of Work Organization in Human Cooperation (2007) (25)
The Cognitive Process and Formal Models of Human Attentions (2013) (25)
The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks (2010) (25)
The measurement theory for software engineering (2003) (25)
Cognitive Complexity of Software and its Measurement (2006) (25)
Abstract Intelligence: Embodying and Enabling Cognitive Systems by Mathematical Engineering (2017) (25)
Formal Cognitive Models of Data , Information , Knowledge , and Intelligence (2015) (24)
A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing (2010) (23)
Perspectives on Cognitive Computers and Knowledge Processors (2013) (23)
Breakthroughs in Software Science and Computational Intelligence (2012) (23)
On abstract intelligence and its denotational mathematics foundations (2008) (22)
Cognitive Robots (2010) (22)
Perspectives on eBrain and Cognitive Computing (2012) (22)
Exploring the Cognitive Foundations of Software Engineering (2009) (22)
The cognitive process of comprehension (2003) (22)
Formal Modeling and Specification of Design Patterns Using RTPA (2008) (22)
A formal knowledge representation system for the cognitive learning engine (2011) (21)
Deep reasoning and thinking beyond deep learning by cognitive robots and brain-inspired systems (2016) (21)
The Formal Design Model of a Lift Dispatching System (LDS) (2009) (21)
Advances in Abstract Intelligence and Soft Computing (2012) (21)
The Formal Design Models of Digraph Architectures and Behaviors (2012) (20)
The OAR Model for Knowledge Representation (2006) (20)
Unveiling the Cognitive Mechanisms of Eyes: The Visual Sensor Vs. the Perceptive Browser of the Brain (2014) (20)
Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences (2012) (20)
Cognitive computing and World Wide Wisdom (WWW+) (2010) (19)
An Operational Semantics of Real-Time Process Algebra (RTPA) (2008) (19)
On Long Lifespan Systems and Applications (2012) (19)
Perspectives on Cognitive Computing and Applications (2010) (19)
Cognitive Informatics and Computational Intelligence: From Information Revolution to Intelligence Revolution (2015) (18)
On the cognitive processes of human perception (2005) (18)
Towards a theoretical framework of autonomous systems underpinned by intelligence and systems sciences (2021) (18)
Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks (2011) (18)
The Formal Design Model of a Telephone Switching System (TSS) (2009) (17)
A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra (2009) (17)
Formal specification of a real-time lift dispatching system (2002) (17)
The Cognitive Informatics Theory and Mathematical Models of Visual Information Processing in the Brain (2009) (17)
Cognitive computational models of emotions (2011) (17)
On Abstract Systems and System Algebra (2006) (16)
The Formal Design Models of Tree Architectures and Behaviors (2011) (16)
On the philosophical, cognitive and mathematical foundations of symbiotic autonomous systems (2021) (16)
Basic theories for neuroinformatics and neurocomputing (2013) (16)
Fuzzy Causal Patterns of Humor and Jokes for Cognitive and Affective Computing (2014) (16)
Quantitative Semantic Analysis and Comprehension by Cognitive Machine Learning (2016) (16)
Specification of the RTPA grammar and its recognition (2004) (16)
On the Mathematical Theories and Cognitive Foundations of Information (2015) (15)
Cognitive Computational Models of Emotions and Affective Behaviors (2012) (15)
Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion (2009) (15)
Toward a Cognitive Behavioral Reference Model of Artificial Brains (2012) (15)
Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I) (2009) (15)
A Denotational Mathematical Theory of System Science: System Algebra for Formal System Modeling and Manipulations (2015) (15)
Component-Based Software Measurement (2003) (15)
A semantic algebra for cognitive linguistics and cognitive computing (2013) (15)
Cognitive robotics and mathematical engineering (2015) (14)
Development of an Intelligent Agent-Based GQM Software Measurement System (2003) (14)
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems (2011) (14)
Formal Models and Cognitive Mechanisms of the Human Sensory System (2013) (14)
The cognitive processes of abstraction and formal inferences (2005) (14)
The Formal Design Model of a File Management System (FMS) (2011) (14)
On coping with real-time software dynamic inconsistency by built-in tests (1999) (14)
Engineering Foundations of Software Engineering (2007) (14)
Big Data Algebra (BDA): A Denotational Mathematical Structure for Big Data Science and Engineering (2016) (14)
Experiments on the supervised learning algorithm for formal concept elicitation by cognitive robots (2016) (13)
On autonomous computing and cognitive processes (2004) (13)
On abstract intelligence and brain informatics: Mapping the cognitive functions onto the neural architectures (2012) (13)
A worldwide survey of base process activities towards software engineering process excellence (1998) (13)
RTPA: a new approach to real-time system specification (2002) (13)
The Formal Design Models of a Set of Abstract Data Types (ADTs) (2010) (13)
Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain (2008) (13)
A Denotational Semantics of Real-Time Process Algebra (RTPA) (2008) (13)
A Novel Machine Learning Algorithm for Cognitive Concept Elicitation by Cognitive Robots (2017) (13)
Design and implementation of a Web-based distributed control system (2002) (13)
Transactions on Computational Science V (2009) (12)
On cognitive properties of human factors in engineering (2005) (12)
Simulation and Visualization of Concept Algebra in MATLAB (2014) (12)
On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization (2008) (12)
On Granular Algebra: A Denotational Mathematics for Modeling Granular Systems in Granular Computing (2014) (11)
Cognitive foundations of knowledge science and deep knowledge learning by cognitive robots (2017) (11)
Granular algebra for modeling granular systems and granular computing (2009) (11)
Cognitive Informatics Foundations of Nature and Machine Intelligence (2007) (11)
Cognitive Informatics: Towards Cognitive Machine Learning and Autonomous Knowledge Manipulation (2018) (11)
On formal models for cognitive linguistics (2012) (11)
Towards a theory of fuzzy probability for cognitive computing (2014) (11)
A framework for testing distributed software components (2005) (11)
Diagnosis/Prognosis of COVID-19 Chest Images via Machine Learning and Hypersignal Processing: Challenges, opportunities, and applications (2021) (11)
On Autonomous Systems: From Reflexive, Imperative and Adaptive Intelligence to Autonomous and Cognitive Intelligence (2019) (11)
Building cognitive knowledge bases sharable by humans and cognitive robots (2017) (11)
Exploring Java code generation based on formal specifications in RTPA (2004) (11)
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists) (2011) (11)
Cognitive Computing and machinable thought (2009) (11)
A practical methodology for measurement deployment in GQM (2003) (10)
A hierarchical abstraction model for software engineering (2008) (10)
The real-time task scheduling algorithm of RTOS+ (2004) (10)
On Visual Semantic Algebra (VSA) and the cognitive process of pattern recognition (2008) (10)
A cognitive informatics theory for visual information processing (2008) (10)
Design and Implementation of an Automatic RTPA Code Generator (2006) (10)
Formal Properties and Mathematical Rules of Concept Algebra for Cognitive Machine Learning (II) (2016) (10)
From information revolution to intelligence revolution: Big data science vs. intelligence science (2014) (10)
Fuzzy Logical Algebra (FLA): A Denotational Mathematical Structure for Formal Reasoning and Knowledge Representation (2016) (9)
On built-in tests and reuse in object-oriented programming (1998) (9)
Formal Description of the Mechanisms and Cognitive Process of Memorization (2007) (9)
The Emergence of Abstract Sciences and Transdisciplinary Advances: Developments in Systems, Man, and Cybernetics (2019) (9)
Case studies on translation of RTPA specifications into Java programs (2002) (9)
A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development (2011) (9)
A novel type checker for software system specifications in RTPA (2004) (9)
Specification of design patterns using real-time process algebra (RTPA) (2004) (9)
Formal Ontology Generation by deep machine learning (2017) (9)
Psychological experiments on the cognitive complexities of fundamental control structures of software systems (2005) (9)
The Formal Design Models of a Universal Array (UA) and its Implementation (2011) (9)
Big Data Analyses for Collective Opinion Elicitation in Social Networks (2014) (8)
The Theory of Fuzzy Arithmetic in the Extended Domain of Fuzzy Numbers (2014) (8)
The operational semantics of Concept Algebra for cognitive computing and machine learning (2011) (8)
SOFTWARE ENGINEERING STANDARDS: REVIEW AND PERSPECTIVES (2002) (8)
A novel decision grid theory for dynamic decision making (2005) (8)
Formal description of an ATM system by RTPA (2003) (8)
Formal properties and rules of concept algebra (2015) (8)
Building semantic hierarchies of formal concepts by deep cognitive machine learning (2017) (8)
On Cognitive Informatics Foundations of Knowledge and Formal Knowledge Systems (2007) (8)
COGNITIVE LINGUISTIC PERSPECTIVES ON THE CHINESE LANGUAGE (2013) (8)
Fuzzy Causal Inferences based on Fuzzy Semantics of Fuzzy Concepts in Cognitive Computing (2014) (8)
OOIS 2001 : 7th International Conference on Object-Oriented Information Systems, 27-29 August 2001, Calgary, Canada : proceedings (2001) (8)
Design of a real-time virtual machine (RTVM) (2005) (8)
Editors' introduction: Comparative software engineering: Review and perspectives (2000) (8)
TB-ICT: A Trustworthy Blockchain-Enabled System for Indoor COVID-19 Contact Tracing (2021) (7)
On Future Development of Autonomous Systems: A Report of the Plenary Panel at IEEE ICAS’21 (2021) (7)
Cognitive Foundations and Formal Theories of Human and Robot Visions (2018) (7)
A Rigorous Cognitive Theory for Autonomous Decision Making (2020) (7)
On information and knowledge representation in the brain (2003) (7)
A Survey and Formal Analyses on Sequence Learning Methodologies and Deep Neural Networks (2018) (7)
Advances in the Fields of Cognitive Informatics and Cognitive Computing (2010) (7)
On Probability Algebra: Classic Theory of Probability Revisited (2016) (7)
Towards a fuzzy logical algebra (FLA) for formal inferences in cognitive computing and cognitive robotics (2015) (7)
Cognitive Informatics and Denotational Mathematical Means for Brain Informatics (2010) (7)
Fuzzy inferences methodologies for cognitive informatics and computational intelligence (2009) (7)
Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation (2006) (7)
A European COTS Architecture with Built-in Tests (2002) (7)
Formal description of a supervised learning algorithm for concept elicitation by cognitive robots (2016) (6)
A benchmark-based adaptable software process model (2001) (6)
An intelligent fault recognizer for rotating machinery via remote characteristic vibration signal detection (2011) (6)
CHALLENGES IN ENGINEERING EDUCATION OF COGNITIVE DYNAMIC SYSTEMS (2012) (6)
Abstract intelligence and cognitive robots (2010) (6)
Cognitive Informatics : Exploring the Theoretical Foundations for Natural Intelligence , Neural Informatics , Autonomic Computing , and Agent Systems (2007) (6)
A Unified Mathematical Model of Programs (2006) (6)
Implementing task scheduling and event handling in RTOS+ (2004) (6)
Formal Description of the UML Architecture and Extensibility (2000) (6)
Formal Descriptions of a Set of Meta Cognitive Processes of the Brain (2007) (6)
On Relation Algebra: A Denotational Mathematical Structure of Relation Theory for Knowledge Representation and Cognitive Computing (2017) (6)
System science models of software engineering (2005) (5)
Perspectives on Cognitive Informatics and Cognitive Computing: Summary of the Panel of IEEE ICCI'09 (2009) (5)
Perspectives on cognitive informatics and its future development: Summary of plenary panel II of IEEE ICCI'10 (2010) (5)
Real-Time Process Algebra and Its Applications (2002) (5)
Big Data Analytics: A Cognitive Perspectives (2017) (5)
Denotational Mathematical Models of an Air Traffic Control System (ATCS-II): Process Models of Functions in RTPA (2013) (5)
On the Cognitive Foundations of Autonomous Systems and General AI (2021) (5)
Sequence Learning for Images Recognition in Videos with Differential Neural Networks (2019) (5)
A Perspective on Foundations of Object-Oriented Information Systems (1998) (5)
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA (2012) (5)
Cognitive Informatics: Four Years in Practice (2009) (5)
Software Engineering Measurement and Analysis: An Applied Framework of Software Metrics (2004) (5)
Formal models of object-oriented patterns using RTPA (2005) (5)
A hierarchical theory of system topology and distributed functional fusions (2017) (5)
RTPA-based Software Generation by AI Programming (2019) (5)
Special Issue on Cybernetics and Cognitive Informatics (2009) (5)
A new mathematical notation for describing notion and thought in software design (2002) (5)
Exploring Machine Cognition Mechanisms for Autonomic Computing (2007) (5)
A new approach to test case generation based on real-time process algebra (RTPA) (2004) (5)
Formal rules for concept and semantics manipulations in cognitive linguistics and machine learning (2017) (5)
Cognitive Informatics in Year 10 and Beyond: summary of the plenary panel (2011) (5)
The cognitive processes of consciousness and attention (2008) (5)
Tool Support for Software Development Based on Formal Specifications in RTPA (2009) (5)
The Cognitive and Mathematical Foundations of Analytic Epidemiology (2020) (5)
Design and Implementation of a Knowledge Base for Machine Knowledge Learning (2018) (5)
Towards a Methodology for RTPA-MATLAB Code Generation Based on Machine Learning Rules (2018) (5)
A formal measurement of the cognitive complexity of texts in cognitive linguistics (2012) (5)
Autolearner: An Autonomic Machine Learning System Based on Concept Algebra (2007) (4)
On the Emergence of Abstract Sciences and Breakthroughs in Machine Knowledge Learning (2019) (4)
The Cognitive Complexity of Texts and Its Formal Measurement in Cognitive Linguistics (2013) (4)
A Tripartite Theory of Trustworthiness for Autonomous Systems (2020) (4)
On Cognitive Learning Methodologies for Cognitive Robotics (2015) (4)
Cognitive Computing: Methodologies for Neural Computing and Semantic Computing in Brain-Inspired Systems (2018) (4)
Applying Concept Algebra to Information Restructuring of Web Documents (2007) (4)
Design of a Cognitive Complexities Measurement and Analysis Tool (2006) (4)
Intelligent Mathematics (IM): Indispensable Mathematical Means for General AI, Autonomous Systems, Deep Knowledge Learning, Cognitive Robots, and Intelligence Science (2020) (4)
Keynote speech 1: Online machine learning for big data analytics by cognitive robots (2016) (4)
A Worldwide Survey on Best Practices Toward Software Engineering Process Excellence (1999) (4)
The Formal Economic Model of Software Engineering (2006) (4)
Economic models of software engineering and the software maintenance crisis (2005) (4)
On a Theory of Fuzzy Numbers and Fuzzy Arithmetic (2014) (4)
Toward a Generic Mathematical Model of Abstract Game Theories (2008) (4)
Experience in comparative process assessment with multi-process-models (1999) (4)
What the software industry says about the practices modelled in current software process models? (1999) (4)
Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China (2006) (4)
Fuzzy Semantic Models of Fuzzy Concepts in Fuzzy Systems (2022) (3)
Novel Optimization Theories and Implementations in Numerical Methods (2013) (3)
Design of a parser for real-time process algebra (2003) (3)
Perspectives on the Emerging Field of Autonomous Systems and its Theoretical Foundations (2021) (3)
Brain-Inspired Systems (BIS): Cognitive Foundations and Applications (2018) (3)
Software Engineering Process Benchmarking (2002) (3)
Specification of abstract data types using real-time process algebra (RTFA) (2003) (3)
On inference algebra: A formal means for machine reasoning and cognitive computing (2011) (3)
Toward Formal Models of the Theoretical Framework of Fundamental Economics (2009) (3)
On the Latest Development in Cognitive Informatics: Conference Summary of the First IEEE International Conference on Cognitive Informatics (ICCI '02) (2003) (3)
Perspectives on Denotational Mathematics: New Means of Thought (2008) (3)
An extension of SEMEST: the online software engineering measurement tool (2004) (3)
Convergence of Software Science and Computational Intelligence: A New Transdisciplinary Research Field (2012) (3)
Mathematical models and properties of games (2005) (3)
Formalization of UML Models by RTPA (2006) (3)
Formal description of the cognitive comprehension process (2003) (3)
Bit: A Method for Built-In Tests in Object-Oriented Programming (1998) (3)
Diagnosis/Prognosis of COVID-19 Images: Challenges, Opportunities, and Applications (2020) (3)
Formal Description of Time Management in Real-Time Operating Systems (2006) (3)
Sociological models of software engineering (2005) (3)
Static and dynamic behaviors (2020) (3)
Denotational Mathematical Models of an Air Traffic Control System (ATCS-I): Structure Models of Architectures in RTPA (2013) (3)
On the Incremental Union of Relations: A Key Property of General Systems Explained (2015) (3)
A Mathematical Model for Explaining the Mythic Man-Month (2006) (3)
On cognitive mechanism of the eyes: the sensor vs. the browser of the brain (2003) (3)
Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 18-20 August 2003, London, UK (2003) (3)
Formal concept refinement by deep cognitive machine learning (2017) (3)
Algorithms for determining semantic relations of formal concepts by cognitive machine learning based on concept algebra (2016) (2)
Formal specification of CORBA-based distributed objects and behaviors (2005) (2)
The cognitive processes of analysis and synthesis in formal inferences (2008) (2)
Software engineering process modelling analysis (1998) (2)
An RTPA supporting environment for Java code generation (2005) (2)
Product and Process Metrics: A Software Engineering Measurement Expert System (2002) (2)
On the Foundations of Object-Oriented Informations Systems (1999) (2)
Research and Application of Large-Scale Data Set Processing Based on SVM (2012) (2)
A denotational semantics for RTPA (2005) (2)
S-Box Construction Method Based on the Combination of Quantum Chaos and PWLCM Chaotic Map (2021) (2)
Toward Cognitive Informatics and Cognitive Computers: A Report on IEEE ICCI'06 (2009) (2)
Implementing the Real-Time Processes of RTPA using Real-Time Java (2006) (2)
Multiobjective Image Data Hiding Based on Neural Networks and Memetic Optimization (2014) (2)
Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada (2004) (2)
Sentence Comprehension and Semantic Syntheses by Cognitive Machine Learning (2018) (2)
Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China (2009) (2)
Design and Simulation of a Novel Fuzzy Calculator Based on the Theory of Fuzzy Arithmetic (2015) (2)
From bioengineering and cognitive engineering to brain inspired systems (2017) (2)
Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, ICCI 2008, Stanford University, California, USA, August 14-16, 2008 (2008) (2)
The cognitive processes of perceptions on spatiality, time, and motion (2008) (2)
Mathematical Foundations of Software Engineering (2007) (2)
On the Cognitive and Theoretical Foundations of Big Data Science and Engineering (2017) (2)
Formal Linguistics and the Deductive Grammar (2007) (2)
A Knowledge Representation Tool Based on Concept Algebra (2007) (2)
On Built-in Test Classes for Object-Oriented and Component-Based Information Systems (2001) (2)
Filtering Out Infrequent Events by Expectation from Business Process Event Logs (2018) (1)
On the organization laws of software engineering (2005) (1)
Formal description of the ADT model of B-Trees (2005) (1)
On cognitive foundations of big data science and engineering (2016) (1)
Formal Specification and Representation of Design Patterns Using RTPA (2006) (1)
Management Science Foundations of Software Engineering (2007) (1)
Transformation of UML Models into Formal RTPA Specifications (2007) (1)
Formal description of a real-time process dispatcher (2005) (1)
Proceedings of the Six IEEE International Conference on Cognitive Informatics, ICCI 2007, August 6-8, Lake Tahoe, CA, USA (2007) (1)
Perspectives on cognitive computing and applications: Summary of plenary Panel I of IEEE ICCI'10 (2010) (1)
Qualification and quantification of fuzzy linguistic variables and fuzzy expressions (2009) (1)
Software Costs and Schedule Estimations Based on the Work Coordination Laws (2007) (1)
Formal description of a generic graph model with RTPA (2004) (1)
An operational semantics for RTPA (2005) (1)
Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation (2009) (1)
On Constraints and Count-Measures for Software Engineering (2006) (1)
Cognitive neuroscience and the spike frequency modulation (SFM) theory for neural signaling systems (2016) (1)
Latest advances on theory of spike frequency modulation in neuroinformatics (2018) (1)
An Autonomous Semantic Learning Methodology for Fake News Recognition (2021) (1)
Design of an Integrated Hyper Specification Documentation Tool (2006) (1)
Meta Processes of Software Engineering (2007) (1)
13th IEEE International Conference on Cognitive Informatics and Cognitive Computing, (ICCI*CC’14) at LSBU, London, UK. (2014) (1)
In Search of Cognitive Foundations of Creativity (2020) (1)
The Latest Development on Cognitive Informatics (2002) (1)
Principles of Software Engineering (2007) (1)
A formal model inspired on human decision-making process (2015) (1)
On Long Lifespan systems (2008) (1)
Dynamic Path Optimization for Robot Route Planning (2019) (0)
Theoretical Foundations of Autonomic Computing (2009) (0)
Modeling and Specification of Design Patterns Using (2007) (0)
Constraints of Software Engineering (2007) (0)
Mathematical Models and Algorithms for Chemical Reaction Balancing in MATLAB (2015) (0)
Empirical Principles of Software Engineering (2007) (0)
Abstract Intelligence (2020) (0)
A Neuroinformatics Theory for Cognitive Neurorehabilitation (2021) (0)
Cognitive Intelligence (2020) (0)
Economics Foundations of Software Engineering (2007) (0)
Fine-grained Differential Harmony Search algorithm (2015) (0)
Proceedings : the second IEEE International Conference on Cognitive Informatics, 18-20 August 2003, London, England /edited by Dilip Patel, Shushma Patel, Yingxu Wang ; sponsored by South Bank University London (2003) (0)
A Mathematical Theory and Algorithms for Calibrating and Balancing Complex Chemical Reaction Functions (2017) (0)
What the Softward Industry Says about the Practices Modelled in Current Softward Process Models? (1999) (0)
A Cognitive Machine Learning System for Phrases Composition and Semantic Comprehension (2018) (0)
The Type System of Software Engineering (2007) (0)
toward theoretical Foundations of Autonomic computing 1 (2007) (0)
The Spike Frequency Modulation (SFM) Theory for Neuroinformatics and Cognitive Cybernetics (2019) (0)
Erratum to: Towards the abstract system theory of system science for cognitive and intelligent systems (2016) (0)
Formal description of the ADT model of files using RTPA (2005) (0)
Information Science Foundations of Software Engineering (2007) (0)
Retrospect on Software Engineering (2007) (0)
Cognitive Complexity ofSoftware anditsMeasurement (2006) (0)
A d enotational s emantics of r eal- t ime Process Algebra ( rt PA) (2008) (0)
Perspectives on Autonomic Computing (2007) (0)
Representation of knowledge and inference rules in SEMEST+ (2005) (0)
DESIGN AND IMPLEMENTATION OF A WEB-BASED DISTRIBUTED CONTRCIL SYSTEM (2002) (0)
Formal Model of the Atm System in Rtpa (2007) (0)
IMPLEMENTING THE REAL-TIMEPROCESSESOF RTPA USINGREAL-TIMEJAVA (2006) (0)
Formal Software Requirement Elicitation based on Semantic Algebra and Cognitive Computing (2020) (0)
Objects Detection and Recognition in Videos for Sequence Learning (2019) (0)
Design and implementation of dependable CAN-based distributed systems. (2001) (0)
Transforming RTPA Mathematical Models of System Behaviors Into C++ (2006) (0)
A Type Framework for Modeling Data Objects in Software Engineering (2007) (0)
Editorial: Exploring Machine Cognition Mechanisms for Autonomic Computing Paper 1: on Laws of Work Organization in Human Cooperation " Paper 2: toward Autonomic Computing: Adaptive Neural Network for Trajectory Planning (0)
A Graph Convolutional Neural Network for Reliable Gait-Based Human Recognition (2021) (0)
Implementation of the kernel techniques of real-time process algebra (2005) (0)
A Survey and Analysis on Sequence Learning Methodologies and Deep Neural Networks (2018) (0)
A Special Issue on A New Frontier of Cognitive Informatics and Cognitive Computing (2012) (0)
Specification of dependability requirements for bus-based distributed systems. (2001) (0)
a s ociopsychological Perspective on Collective i ntelligence in m etaheuristic Computing (2010) (0)
Wang‚Äôs Formal Principles of Software Engineering (2007) (0)
Prospect on Software Science (2007) (0)
PART IV: PERSPECTIVES ON SOFTWARE SCIENCE (2007) (0)
Sociology Foundations of Software Engineering (2007) (0)
Models of Entities and Structures of Software Engineering (2007) (0)
Linguistic Foundations of Software Engineering (2007) (0)
An Internet-based distributed system by using real-time CORBA (2003) (0)
t he c ognitive Process and f ormal Models of Human a ttentions (2013) (0)
Welcome to the Journal of Advanced Mathematics and Applications (2012) (0)
Cognitive models of causal inferences using causation networks (2010) (0)
Advances in Autonomous Systems: A Summary of the AutoDefence Summer School at IEEE ICAS’21 (2021) (0)
Guest editorial: On Modeling Object-Oriented Information Systems (2003) (0)
Distributed system dependability description, comprehension, methods and tools. (2001) (0)
Mathematical Symbols, Notations, and Abbreviations (2007) (0)
Philosophical Foundations of Software Engineering (2007) (0)
Wang‚Äôs Laws of Software Engineering (2007) (0)
Algebraic Process Relations of Software Engineering (2007) (0)
Cognitive robots powered by deep machine knowledge learning (2017) (0)
A cognitive model of motor planning for virtual creatures (2015) (0)
Computing Foundations of Software Engineering (2007) (0)
Review and Perspectives of the Internet and Intranet (1998) (0)
OnConcept Algebra andKnowledge Representation (2006) (0)
From computing with words (CWW) to reasoning with fuzzy concepts (RFC) (2016) (0)
A large-scale empirical study on the cognitive complexity of software (2010) (0)
ON THE COGNITIVE FOUNDATION AND ABSTRACT MEANS OF ENGINEERING DESIGNS (2011) (0)
SOME CHALLENGES IN THE DESIGN AND EDUCATION OF INTELLIGENT MACHINES AND SYSTEMS (2011) (0)
Theoretical Foundations of Autonomic Computing1 (2016) (0)
A Neural Circuit Theory for Neuroinformatics and Brain-Machine Interactions (2019) (0)
Formal Description of Object-Oriented Software Measurement and Metrics in SEMS (2001) (0)
A Methodology and Experiments towards Autonomous Decision Making (2020) (0)
Deductive Semantics of Software Engineering (2007) (0)
Reading on Formal and Cognitive Semantics (2010) (0)
On Cognitive Processes of Analysis and Synthesis in Cognitive Computing (2015) (0)
System Science Foundations of Software Engineering (2007) (0)
Special Issue on Denotational Mathematics Abstracts 1. on Concept Algebra: a Denotational Mathematical Structure for Knowledge and Software Modeling on System Algebra: a Denotational Mathematical Structure for Abstract Systems Modeling Rtpa: a Denotational Mathematics for Manipulating Intelligent an (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Yingxu. Wang?

Yingxu. Wang is affiliated with the following schools:

Yingxu. Wang's Academic­Influence.com Rankings

Yingxu. Wang's Degrees

Similar Degrees You Can Earn

Why Is Yingxu. Wang Influential?

Yingxu. Wang's Published Works

Published Works

What Schools Are Affiliated With Yingxu. Wang?

Yingxu. Wang's AcademicInfluence.com Rankings