#### Filter Results:

- Full text PDF available (109)

#### Publication Year

1997

2019

- This year (13)
- Last 5 years (64)
- Last 10 years (180)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Yingxu Wang
- Ann. Software Eng.
- 2002

The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recognized that the specification of… (More)

- Yingxu Wang
- 2008

To deal with the difficulties inherent in large-scale software development, the foundations of software engineering are yet to be explored. This comprehensive text is the first book to cover the… (More)

- Yingxu Wang
- IJCINI
- 2007

Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost all science and… (More)

- Yingxu Wang
- 2003

Supplementary to matter and energy, information is the third essence for modeling the natural world. An emerging discipline known as cognitive informatics (CI) is developed recently that forms a… (More)

- Yingxu Wang
- IJCINI
- 2008

Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent algebraic system for intelligent… (More)

- Yingxu Wang
- IJCINI
- 2008

Concepts are the most fundamental unit of cognition that carries certain meanings in expression, thinking, reasoning, and system modeling. In denotational mathematics, a concept is formally modeled… (More)

- Yingxu Wang
- Trans. Computational Science
- 2008

Denotational mathematics is a category of expressive mathematicalstructures that deals with high-level mathematical entities beyond numbers andsets, such as abstract objects, complex relations,… (More)

- Yingxu Wang
- IJCINI
- 2008

Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language from a unique abstract semantic function to the concrete semantics… (More)

- Yingxu Wang
- IJCINI
- 2007

The cognitive models of information representation are fundamental research areas in cognitive informatics, which attempts to reveal the mechanisms and potential of the brain in learning and… (More)

- Yingxu Wang
- 5th IEEE International Conference on Cognitive…
- 2006

A concept is a basic unit of cognition that carries certain meanings. In cognitive informatics, a concept is formally modeled as an abstract and dynamic mathematical structure that encapsulates… (More)