| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7339588 (Why is no real title available?) | 2021-04-27 | Paper |
scientific article; zbMATH DE number 7339588 (Why is no real title available?)
(available as arXiv preprint) | 2021-04-27 | Paper |
Weak QMV algebras and some ring-like structures
Soft Computing | 2018-02-27 | Paper |
| From big data to big knowledge: HACE+bigKE | 2017-07-14 | Paper |
Computing power of Turing machines in the framework of unsharp quantum logic
Theoretical Computer Science | 2015-09-16 | Paper |
A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata
Theoretical Computer Science | 2012-06-25 | Paper |
The use of tail inequalities on the probable computational time of randomized search heuristics
Theoretical Computer Science | 2012-06-25 | Paper |
A direct product decomposition of QMV algebras
Science China. Mathematics | 2012-05-31 | Paper |
Automata theory based on lattice-ordered semirings
Soft Computing | 2012-05-16 | Paper |
Automata theory based on unsharp quantum logic
Mathematical Structures in Computer Science | 2009-08-26 | Paper |
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging
Fundamenta Informaticae | 2009-06-23 | Paper |
From knowledge based software engineering to knowware based software engineering
Science in China. Series F | 2008-11-10 | Paper |
Semirings and pseudo MV algebras
Soft Computing | 2007-09-06 | Paper |
Automatically multi-paradigm requirements modeling and analyzing: an ontology-based approach
Science in China. Series F | 2007-02-20 | Paper |
AI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Finite state and finite stop quantum languages
International Journal of Theoretical Physics | 2006-09-28 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
| scientific article; zbMATH DE number 2166686 (Why is no real title available?) | 2005-05-09 | Paper |
Pumping lemma for quantum automata
International Journal of Theoretical Physics | 2005-03-15 | Paper |
Lattices of quantum automata
International Journal of Theoretical Physics | 2003-11-17 | Paper |
Formal ontology: Foundation of domain knowledge sharing and reusing
Journal of Computer Science and Technology | 2003-04-22 | Paper |
Ontology-based semantic cache in AOKB
Journal of Computer Science and Technology | 2002-12-10 | Paper |
Automatic generation of computer animation
Lecture Notes in Computer Science | 2002-02-04 | Paper |
Domain modeling-based software engineering. A formal approach
The Kluwer International Series on Asian Studies in Computer and Information Science (ASIS) | 2001-08-28 | Paper |
A model of reasoning about knowledge
Science in China. Series E | 1999-11-23 | Paper |
A true concurrency model of CCS semantics
Theoretical Computer Science | 1993-08-08 | Paper |
P/R nets and process concepts. I
Science in China. Series A | 1993-01-17 | Paper |
P/R nets and process concepts. II
Science in China. Series A | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 4078767 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3768986 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3768987 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3782962 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3241557 (Why is no real title available?) | 1965-01-01 | Paper |
