| Publication | Date of Publication | Type |
|---|
| Verification based decision-making for self-adaptive systems: a model-driven approach | 2018-05-25 | Paper |
| A research on an improved general fuzzy min-max neural network | 2015-10-28 | Paper |
Proving inequalities and solving global optimization problems via simplified CAD projection
Journal of Symbolic Computation | 2015-08-19 | Paper |
Managing software requirements changes based on negotiation-style revision
Journal of Computer Science and Technology | 2014-02-06 | Paper |
From inconsistency handling to non-canonical requirements management: a logical perspective
International Journal of Approximate Reasoning | 2013-06-13 | Paper |
Measuring the blame of each formula for inconsistent prioritized knowledge bases
Journal of Logic and Computation | 2012-06-20 | Paper |
A syntax-based approach to measuring the degree of inconsistency for belief bases
International Journal of Approximate Reasoning | 2011-11-22 | Paper |
On the design of base-collector junction of InGaAs/InP DHBT
Science in China. Series E | 2009-12-15 | Paper |
A priority-based negotiations approach for handling inconsistencies in multi-perspective software requirements
Journal of Systems Science and Complexity | 2009-10-15 | Paper |
Web services composing by multiagent negotiation
Journal of Systems Science and Complexity | 2009-10-15 | Paper |
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging
Fundamenta Informaticae | 2009-06-23 | Paper |
Missing Data Analysis: A Kernel-Based Multi-Imputation Approach
Transactions on Computational Science III | 2009-03-03 | Paper |
From knowledge based software engineering to knowware based software engineering
Science in China. Series F | 2008-11-10 | Paper |
Evolving quantum circuits at the gate level with a hybrid quantum-inspired evolutionary algorithm
Soft Computing | 2008-08-20 | 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 |
| Goal ordering extraction and abstract method | 2006-07-12 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
SOFSEM 2005: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2005-12-07 | Paper |
| scientific article; zbMATH DE number 2202202 (Why is no real title available?) | 2005-09-05 | 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 |
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 |
