Yingxu Wang

Orcid: 0000-0003-0445-3632

Affiliations:
  • University of Calgary, Canada
  • South Bank University, London, UK (former)


According to our database1, Yingxu Wang authored at least 228 papers between 1997 and 2023.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
TB-ICT: A Trustworthy Blockchain-Enabled System for Indoor Contact Tracing in Epidemic Control.
IEEE Internet Things J., April, 2023

An Autonomous Fake News Recognition System by Semantic Learning and Cognitive Computing.
Trans. Comput. Sci., 2023

The odyssey to next-generation computers: cognitive computers (κC) inspired by the brain and powered by intelligent mathematics.
Frontiers Comput. Sci., 2023

Chapter Six - The design of a S-box based on DNA computing and chaos theories.
Adv. Comput., 2023

2022
A Formal Theory of AI Trustworthiness for Evaluating Autonomous AI Systems.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

A Cognitive Computing Methodology for Software Requirement Elicitation and Formal Specification.
Proceedings of the 21st 2022 International Conference on Cognitive Informatics & Cognitive Computing, 2022

Recent Breakthroughs in Cognitive Informatics and Cognitive Computing towards Autonomous AI (Plenary Panel Report-I of IEEE ICCI*CC'22).
Proceedings of the 21st 2022 International Conference on Cognitive Informatics & Cognitive Computing, 2022

On Abstract Sciences: From Data, Information, Knowledge to Intelligence Sciences.
Proceedings of the 21st 2022 International Conference on Cognitive Informatics & Cognitive Computing, 2022

On Intelligent Mathematics underpinning Contemporary Abstract Sciences and Autonomous AI.
Proceedings of the 21st 2022 International Conference on Cognitive Informatics & Cognitive Computing, 2022

2021
Diagnosis/Prognosis of COVID-19 Chest Images via Machine Learning and Hypersignal Processing: Challenges, opportunities, and applications.
IEEE Signal Process. Mag., 2021

S-Box Construction Method Based on the Combination of Quantum Chaos and PWLCM Chaotic Map.
Int. J. Cogn. Informatics Nat. Intell., 2021

Towards a theoretical framework of autonomous systems underpinned by intelligence and systems sciences.
IEEE CAA J. Autom. Sinica, 2021

TB-ICT: A Trustworthy Blockchain-Enabled System for Indoor COVID-19 Contact Tracing.
CoRR, 2021

On the Philosophical, Cognitive and Mathematical Foundations of Symbiotic Autonomous Systems (SAS).
CoRR, 2021

A Neuroinformatics Theory for Cognitive Neurorehabilitation.
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

Autonomous Software Requirement Specifications towards AI Programming.
Proceedings of the 20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2021

IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Informatics and Cognitive Computing towards General AI (Plenary Panel Report-I).
Proceedings of the 20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2021

On the Cognitive Foundations of Autonomous Systems and General AI.
Proceedings of the 20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2021

On the Emergence of Autonomous Systems towards Deep Thinking Machines and General AI Driven by Abstract Intelligence Theories and Intelligent Mathematics.
Proceedings of the 20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2021

2020
Diagnosis/Prognosis of COVID-19 Images: Challenges, Opportunities, and Applications.
CoRR, 2020

A Methodology and Experiments towards Autonomous Decision Making.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

A Tripartite Theory of Trustworthiness for Autonomous Systems.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

A Rigorous Cognitive Theory for Autonomous Decision Making.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Formal Software Requirement Elicitation based on Semantic Algebra and Cognitive Computing.
Proceedings of the 19th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2020

The Cognitive and Mathematical Foundations of Analytic Epidemiology.
Proceedings of the 19th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2020

Intelligent Mathematics (IM): Indispensable Mathematical Means for General AI, Autonomous Systems, Deep Knowledge Learning, Cognitive Robots, and Intelligence Science.
Proceedings of the 19th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2020

A Cognitive Model of the Tactile Vibration Sense and Experiments on a Touch Simulation System.
Proceedings of the 19th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2020

2019
A Neural Circuit Theory for Neuroinformatics and Brain-Machine Interactions.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

The Spike Frequency Modulation (SFM) Theory for Neuroinformatics and Cognitive Cybernetics.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Sequence Learning for Images Recognition in Videos with Differential Neural Networks.
Proceedings of the 18th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2019

RTPA-based Software Generation by AI Programming.
Proceedings of the 18th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2019

On Autonomous Systems: From Reflexive, Imperative and Adaptive Intelligence to Autonomous and Cognitive Intelligence.
Proceedings of the 18th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2019

Objects Detection and Recognition in Videos for Sequence Learning.
Proceedings of the 18th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2019

Dynamic Path Optimization for Robot Route Planning.
Proceedings of the 18th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2019

Unique Dragonfly Optimization Algorithm for Harvesting and Clustering the Key Features.
Proceedings of the 18th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2019

2018
Cognitive Computing: Methodologies for Neural Computing and Semantic Computing in Brain-Inspired Systems.
Int. J. Softw. Sci. Comput. Intell., 2018

Cognitive Informatics: Towards Cognitive Machine Learning and Autonomous Knowledge Manipulation.
Int. J. Cogn. Informatics Nat. Intell., 2018

Kinect Sensor Gesture and Activity Recognition: New Applications for Consumer Cognitive Systems.
IEEE Consumer Electron. Mag., 2018

A Cognitive Machine Learning System for Phrases Composition and Semantic Comprehension.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Towards a Methodology for RTPA-MATLAB Code Generation Based on Machine Learning Rules.
Proceedings of the 17th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2018

Design and Implementation of a Knowledge Base for Machine Knowledge Learning.
Proceedings of the 17th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2018

A Survey and Formal Analyses on Sequence Learning Methodologies and Deep Neural Networks.
Proceedings of the 17th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2018

Cognitive Foundations and Formal Theories of Human and Robot Visions.
Proceedings of the 17th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2018

Sentence Comprehension and Semantic Syntheses by Cognitive Machine Learning.
Proceedings of the 17th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2018

2017
On the Cognitive and Theoretical Foundations of Big Data Science and Engineering.
New Math. Nat. Comput., 2017

Abstract Intelligence: Embodying and Enabling Cognitive Systems by Mathematical Engineering.
Int. J. Cogn. Informatics Nat. Intell., 2017

A Novel Machine Learning Algorithm for Cognitive Concept Elicitation by Cognitive Robots.
Int. J. Cogn. Informatics Nat. Intell., 2017

Big Data Analytics: A Cognitive Perspectives.
Int. J. Cogn. Informatics Nat. Intell., 2017

Music Emotions Recognition by Machine Learning With Cognitive Classification Methodologies.
Int. J. Cogn. Informatics Nat. Intell., 2017

Building cognitive knowledge bases sharable by humans and cognitive robots.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

A hierarchical theory of system topology and distributed functional fusions.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Formal concept refinement by deep cognitive machine learning.
Proceedings of the 16th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2017

Formal Ontology Generation by deep machine learning.
Proceedings of the 16th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2017

Formal rules for concept and semantics manipulations in cognitive linguistics and machine learning.
Proceedings of the 16th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2017

Cognitive foundations of knowledge science and deep knowledge learning by cognitive robots.
Proceedings of the 16th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2017

Building semantic hierarchies of formal concepts by deep cognitive machine learning.
Proceedings of the 16th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2017

Music emotions recognition by cognitive classification methodologies.
Proceedings of the 16th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2017

2016
Cognitive Intelligence: Deep Learning, Thinking, and Reasoning by Brain-Inspired Systems.
Int. J. Cogn. Informatics Nat. Intell., 2016

Quantitative Semantic Analysis and Comprehension by Cognitive Machine Learning.
Int. J. Cogn. Informatics Nat. Intell., 2016

On Cognitive Foundations and Mathematical Theories of Knowledge Science.
Int. J. Cogn. Informatics Nat. Intell., 2016

Dimensional Music Emotion Recognition by Machine Learning.
Int. J. Cogn. Informatics Nat. Intell., 2016

From computing with words (CWW) to reasoning with fuzzy concepts (RFC).
Proceedings of the 2016 Annual Conference of the North American Fuzzy Information Processing Society, 2016

Experiments on the supervised learning algorithm for formal concept elicitation by cognitive robots.
Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

Formal description of a supervised learning algorithm for concept elicitation by cognitive robots.
Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

On cognitive foundations of big data science and engineering.
Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

Deep reasoning and thinking beyond deep learning by cognitive robots and brain-inspired systems.
Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

Algorithms for determining semantic relations of formal concepts by cognitive machine learning based on concept algebra.
Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

2015
Cognitive Informatics and Computational Intelligence: From Information Revolution to Intelligence Revolution.
Int. J. Softw. Sci. Comput. Intell., 2015

On the Mathematical Theories and Cognitive Foundations of Information.
Int. J. Cogn. Informatics Nat. Intell., 2015

Cognitive Learning Methodologies for Brain-Inspired Cognitive Robotics.
Int. J. Cogn. Informatics Nat. Intell., 2015

Towards a fuzzy logical algebra (FLA) for formal inferences in cognitive computing and cognitive robotics.
Proceedings of the 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2015

Cognitive robotics and mathematical engineering.
Proceedings of the 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2015

Formal properties and rules of concept algebra.
Proceedings of the 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2015

A cognitive model of motor planning for virtual creatures.
Proceedings of the 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2015

Fine-grained Differential Harmony Search algorithm.
Proceedings of the 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2015

A formal model inspired on human decision-making process.
Proceedings of the 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2015

2014
On a Novel Cognitive Knowledge Base (CKB) for Cognitive Robots and Machine Learning.
Int. J. Softw. Sci. Comput. Intell., 2014

Simulation and Visualization of Concept Algebra in MATLAB.
Int. J. Softw. Sci. Comput. Intell., 2014

Big Data Analytics on the Characteristic Equilibrium of Collective Opinions in Social Networks.
Int. J. Cogn. Informatics Nat. Intell., 2014

Fuzzy Causal Patterns of Humor and Jokes for Cognitive and Affective Computing.
Int. J. Cogn. Informatics Nat. Intell., 2014

Unveiling the Cognitive Mechanisms of Eyes: The Visual Sensor Vs. the Perceptive Browser of the Brain.
Int. J. Cogn. Informatics Nat. Intell., 2014

Big Data Analyses for Collective Opinion Elicitation in Social Networks.
Proceedings of the 13th IEEE International Conference on Trust, 2014

Towards a theory of fuzzy probability for cognitive computing.
Proceedings of the IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, 2014

From information revolution to intelligence revolution: Big data science vs. intelligence science.
Proceedings of the IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, 2014

2013
A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics.
Int. J. Softw. Sci. Comput. Intell., 2013

The Cognitive Process and Formal Models of Human Attentions.
Int. J. Softw. Sci. Comput. Intell., 2013

Formal Models and Cognitive Mechanisms of the Human Sensory System.
Int. J. Softw. Sci. Comput. Intell., 2013

Perspectives on Cognitive Computers and Knowledge Processors.
Int. J. Cogn. Informatics Nat. Intell., 2013

Neuroinformatics Models of Human Memory: Mapping the Cognitive Functions of Memory onto Neurophysiological Structures of the Brain.
Int. J. Cogn. Informatics Nat. Intell., 2013

A semantic algebra for cognitive linguistics and cognitive computing.
Proceedings of the IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, 2013

Basic theories for neuroinformatics and neurocomputing.
Proceedings of the IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, 2013

2012
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA.
Int. J. Softw. Sci. Comput. Intell., 2012

The Formal Design Models of Digraph Architectures and Behaviors.
Int. J. Softw. Sci. Comput. Intell., 2012

Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences.
Int. J. Softw. Sci. Comput. Intell., 2012

Cognitive Computational Models of Emotions and Affective Behaviors.
Int. J. Softw. Sci. Comput. Intell., 2012

Perspectives on eBrain and Cognitive Computing.
Int. J. Cogn. Informatics Nat. Intell., 2012

On Abstract Intelligence and Brain Informatics: Mapping Cognitive Functions of the Brain onto its Neural Structures.
Int. J. Cogn. Informatics Nat. Intell., 2012

The Cognitive Mechanisms and Formal Models of Consciousness.
Int. J. Cogn. Informatics Nat. Intell., 2012

Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (II).
Int. J. Cogn. Informatics Nat. Intell., 2012

A formal measurement of the cognitive complexity of texts in cognitive linguistics.
Proceedings of the 11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2012

On formal models for cognitive linguistics.
Proceedings of the 11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2012

On abstract intelligence and brain informatics: Mapping the cognitive functions onto the neural architectures.
Proceedings of the 11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2012

2011
The Formal Design Models of Tree Architectures and Behaviors.
Int. J. Softw. Sci. Comput. Intell., 2011

The Formal Design Model of a File Management System (FMS).
Int. J. Softw. Sci. Comput. Intell., 2011

The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists).
Int. J. Softw. Sci. Comput. Intell., 2011

The Formal Design Models of a Universal Array (UA) and its Implementation.
Int. J. Softw. Sci. Comput. Intell., 2011

Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems.
Int. J. Softw. Sci. Comput. Intell., 2011

On Cognitive Models of Causal Inferences and Causation Networks.
Int. J. Softw. Sci. Comput. Intell., 2011

A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine.
Int. J. Softw. Sci. Comput. Intell., 2011

Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks.
Int. J. Softw. Sci. Comput. Intell., 2011

Perspectives on the Field of Cognitive Informatics and its Future Development.
Int. J. Cogn. Informatics Nat. Intell., 2011

Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra.
Int. J. Cogn. Informatics Nat. Intell., 2011

Cognitive Informatics and Cognitive Computing in Year 10 and Beyond.
Int. J. Cogn. Informatics Nat. Intell., 2011

Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I).
Int. J. Cogn. Informatics Nat. Intell., 2011

Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive Computing.
Int. J. Cogn. Informatics Nat. Intell., 2011

A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development.
Int. J. Cogn. Informatics Nat. Intell., 2011

The operational semantics of Concept Algebra for cognitive computing and machine learning.
Proceedings of the 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2011

Cognitive Informatics in Year 10 and Beyond: summary of the plenary panel.
Proceedings of the 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2011

A formal knowledge representation system for the cognitive learning engine.
Proceedings of the 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2011

Cognitive computational models of emotions.
Proceedings of the 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2011

An intelligent fault recognizer for rotating machinery via remote characteristic vibration signal detection.
Proceedings of the 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2011

2010
Cognitive Robots.
IEEE Robotics Autom. Mag., 2010

Abstract intelligence and cognitive robots.
Paladyn J. Behav. Robotics, 2010

The Formal Design Model of an Automatic Teller Machine (ATM).
Int. J. Softw. Sci. Comput. Intell., 2010

The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors.
Int. J. Softw. Sci. Comput. Intell., 2010

The Formal Design Models of a Set of Abstract Data Types (ADTs).
Int. J. Softw. Sci. Comput. Intell., 2010

Design and Implementation of an Autonomic Code Generator Based on RTPA.
Int. J. Softw. Sci. Comput. Intell., 2010

Perspectives on Cognitive Computing and Applications.
Int. J. Softw. Sci. Comput. Intell., 2010

The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks.
Int. J. Softw. Sci. Comput. Intell., 2010

On Concept Algebra for Computing with Words (CWW).
Int. J. Semantic Comput., 2010

On Formal and Cognitive Semantics for Semantic Computing.
Int. J. Semantic Comput., 2010

The Cognitive Process of Comprehension: A Formal description.
Int. J. Cogn. Informatics Nat. Intell., 2010

Perspectives on Cognitive Informatics and Cognitive Computing.
Int. J. Cogn. Informatics Nat. Intell., 2010

A Web Knowledge Discovery Engine Based on Concept Algebra.
Int. J. Cogn. Informatics Nat. Intell., 2010

A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing.
Int. J. Appl. Metaheuristic Comput., 2010

On the cognitive process of human problem solving.
Cogn. Syst. Res., 2010

A large-scale empirical study on the cognitive complexity of software.
Proceedings of the 23rd Canadian Conference on Electrical and Computer Engineering, 2010

Cognitive Informatics and Denotational Mathematical Means for Brain Informatics.
Proceedings of the Brain Informatics, International Conference, 2010

Perspectives on cognitive informatics and its future development: Summary of plenary panel II of IEEE ICCI'10.
Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

Perspectives on cognitive computing and applications: Summary of plenary Panel I of IEEE ICCI'10.
Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

2009
Contemporary Cybernetics and Its Facets of Cognitive Informatics and Computational Intelligence.
IEEE Trans. Syst. Man Cybern. Part B, 2009

Formal Description of the Cognitive Process of Memorization.
Trans. Comput. Sci., 2009

Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations.
Trans. Comput. Sci., 2009

A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra.
Trans. Comput. Sci., 2009

On the System Algebra Foundations for Granular Computing.
Int. J. Softw. Sci. Comput. Intell., 2009

Exploring the Cognitive Foundations of Software Engineering.
Int. J. Softw. Sci. Comput. Intell., 2009

The Formal Design Model of a Lift Dispatching System (LDS).
Int. J. Softw. Sci. Comput. Intell., 2009

On Visual Semantic Algebra (VSA): A Denotational Mathematical Structure for Modeling and Manipulating Visual Objects and Patterns.
Int. J. Softw. Sci. Comput. Intell., 2009

The Formal Design Model of a Telephone Switching System (TSS).
Int. J. Softw. Sci. Comput. Intell., 2009

On Cognitive Computing.
Int. J. Softw. Sci. Comput. Intell., 2009

On the Cognitive Complexity of Software and its Quantification and Formal Measurement.
Int. J. Softw. Sci. Comput. Intell., 2009

On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence.
Int. J. Softw. Sci. Comput. Intell., 2009

On Cognitive Foundations of Creativity and the Cognitive Process of Creation.
Int. J. Cogn. Informatics Nat. Intell., 2009

The Cognitive Informatics Theory and Mathematical Models of Visual Information Processing in the Brain.
Int. J. Cogn. Informatics Nat. Intell., 2009

Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion.
Int. J. Cogn. Informatics Nat. Intell., 2009

A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS).
Int. J. Cogn. Informatics Nat. Intell., 2009

Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II).
Fundam. Informaticae, 2009

A Doctrine of Cognitive Informatics (CI).
Fundam. Informaticae, 2009

Toward Formal Models of the Theoretical Framework of Fundamental Economics.
Fundam. Informaticae, 2009

A Formal Syntax of Natural Languages and the Deductive Grammar.
Fundam. Informaticae, 2009

Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing.
Fundam. Informaticae, 2009

Perspectives on Cognitive Informatics and Cognitive Computing: Summary of the Panel of IEEE ICCI'09.
Proceedings of the 8th IEEE International Conference on Cognitive Informatics, 2009

2008
Perspectives on Denotational Mathematics: New Means of Thought.
Trans. Comput. Sci., 2008

Toward a Generic Mathematical Model of Abstract Game Theories.
Trans. Comput. Sci., 2008

On Mathematical Laws of Software.
Trans. Comput. Sci., 2008

On Contemporary Denotational Mathematics for Computational Intelligence.
Trans. Comput. Sci., 2008

An Operational Semantics of Real-Time Process Algebra (RTPA).
Int. J. Cogn. Informatics Nat. Intell., 2008

Formal Modeling and Specification of Design Patterns Using RTPA.
Int. J. Cogn. Informatics Nat. Intell., 2008

On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization.
Int. J. Cogn. Informatics Nat. Intell., 2008

Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain.
Int. J. Cogn. Informatics Nat. Intell., 2008

Deductive Semantics of RTPA.
Int. J. Cogn. Informatics Nat. Intell., 2008

RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors.
Int. J. Cogn. Informatics Nat. Intell., 2008

On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling.
Int. J. Cogn. Informatics Nat. Intell., 2008

On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling.
Int. J. Cogn. Informatics Nat. Intell., 2008

On the Big-R Notation for Describing Interative and Recursive Behaviors.
Int. J. Cogn. Informatics Nat. Intell., 2008

A Denotational Semantics of Real-Time Process Algebra (RTPA).
Int. J. Cogn. Informatics Nat. Intell., 2008

A hierarchical abstraction model for software engineering.
Proceedings of the 2nd International Workshop on the Role of Abstraction in Software Engineering, 2008

The cognitive processes of consciousness and attention.
Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, 2008

2007
The Cognitive Process of Decision Making.
Int. J. Cogn. Informatics Nat. Intell., 2007

The Cognitive Processes of Formal Inferences.
Int. J. Cogn. Informatics Nat. Intell., 2007

On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes.
Int. J. Cogn. Informatics Nat. Intell., 2007

The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain.
Int. J. Cogn. Informatics Nat. Intell., 2007

Toward Theoretical Foundations of Autonomic Computing.
Int. J. Cogn. Informatics Nat. Intell., 2007

On Laws of Work Organization in Human Cooperation.
Int. J. Cogn. Informatics Nat. Intell., 2007

The Theoretical Framework of Cognitive Informatics.
Int. J. Cogn. Informatics Nat. Intell., 2007

A Knowledge Representation Tool Based on Concept Algebra.
Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006
A layered reference model of the brain (LRMB).
IEEE Trans. Syst. Man Cybern. Syst., 2006

Cognitive informatics models of the brain.
IEEE Trans. Syst. Man Cybern. Syst., 2006

Editorial Recent Advances in Cognitive Informatics.
IEEE Trans. Syst. Man Cybern. Syst., 2006

On the informatics laws and deductive semantics of software.
IEEE Trans. Syst. Man Cybern. Syst., 2006

Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation.
Proceedings of the Rough Sets and Knowledge Technology, First International Conference, 2006

The Formal Economic Model of Software Engineering.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

A Mathematical Model for Explaining the Mythic Man-Month.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

On Constraints and Count-Measures for Software Engineering.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

A Unified Mathematical Model of Programs.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

The OAR Model for Knowledge Representation.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Design and Implementation of an Automatic RTPA Code Generator.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Implementing the Real-Time Processes of RTPA using Real-Time Java.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Formalization of UML Models by RTPA.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Design of a Cognitive Complexities Measurement and Analysis Tool.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Transforming RTPA Mathematical Models of System Behaviors Into C++.
Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

2005
Formal specification of CORBA-based distributed objects and behaviors.
Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

2004
Guest editorial: On Modeling Object-Oriented Information Systems.
Softw. Syst. Model., 2004

Specification of the RTPA Grammar and Its Recognition.
Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 2004

Formal Description of the Cognitive Process of Problem Solving.
Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 2004

2003
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, 2003

A Layered Reference Model of the Brain.
Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 2003

From Cognitive Psychology to Cognitive Informatics.
Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 2003

2002
Process-Based Software Engineering: Building the Infrastructures.
Ann. Softw. Eng., 2002

The Real-Time Process Algebra (RTPA).
Ann. Softw. Eng., 2002

Real-Time Process Algebra and Its Applications.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Product and Process Metrics: A Software Engineering Measurement Expert System.
Proceedings of the Product Focused Software Process Improvement, 2002

Software Engineering Process Benchmarking.
Proceedings of the Product Focused Software Process Improvement, 2002

A European COTS Architecture with Built-in Tests.
Proceedings of the Object-Oriented. Information Systems, 8th International Conference, 2002

The Latest Development on Cognitive Informatics.
Proceedings of the Object-Oriented. Information Systems, 8th International Conference, 2002

Cognitive Models of the Brain.
Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001
On Built-in Test Classes for Object-Oriented and Component-Based Information Systems.
Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

Formal Description of Object-Oriented Software Measurement and Metrics in SEMS.
Proceedings of the 7th International Conference on Object Oriented Information Systems, 2001

A Benchmark-Based Adaptable Software Process Model.
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

2000
On built-in test reuse in object-oriented framework design.
ACM Comput. Surv., 2000

1999
On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests.
Ann. Softw. Eng., 1999

On the Foundations of Object-Oriented Informations Systems.
Obj. Logiciel Base données Réseaux, 1999

What the Softward Industry Says about the Practices Modelled in Current Softward Process Models?
Proceedings of the 25th EUROMICRO '99 Conference, 1999

Experience in Comparative Process Assessment with Multi-Process-Models.
Proceedings of the 25th EUROMICRO '99 Conference, 1999

A Method for Built-in Tests in Component-based Software Maintenance.
Proceedings of the 3rd European Conference on Software Maintenance and Reengineering (CSMR '99), 1999

1998
On built-in tests and reuse in object-oriented programming.
ACM SIGSOFT Softw. Eng. Notes, 1998

A Worldwide Survey of Base Process Activities Towards Software Engineering Process Excellence.
Proceedings of the Forging New Links, 1998

1997
On testable object-oriented programming.
ACM SIGSOFT Softw. Eng. Notes, 1997


  Loading...