| Publication | Date of Publication | Type |
|---|
| A fuzzy extension for SHOIQ based on comparisons between degrees of membership | 2021-12-15 | Paper |
| A feature subset selection algorithm automatic recommendation method | 2013-06-20 | Paper |
| Recursive constructions for \(t\)-covering arrays | 2012-06-01 | Paper |
| The complexity of variable minimal formulas | 2010-10-08 | Paper |
| Extended fuzzy description logics with comparisons between fuzzy membership degrees | 2010-02-12 | Paper |
| Reasoning with general terminological axioms in fuzzy description logic FALCN | 2010-02-12 | Paper |
| A theoretical framework for distributed reduction in concept lattice | 2009-07-22 | Paper |
| Reasoning within extended fuzzy description logic supporting terminological axiom restrictions | 2009-03-06 | Paper |
| Research on Bayesian network based user’s interest model | 2009-03-06 | Paper |
| Reasoning Technique for Extended Fuzzy $\cal{ALCQ}$ | 2009-02-03 | Paper |
| Secure OWL Query | 2009-01-20 | Paper |
| Implication-Based Approximating Bounded Model Checking | 2008-07-01 | Paper |
| Fundamental Approaches to Software Engineering | 2007-11-28 | Paper |
| Formal verification for C program | 2007-11-05 | Paper |
| Developing semantic business model for VO construction on semantic grid | 2007-06-08 | Paper |
| A new approach of feature selection for text categorization | 2007-06-08 | Paper |
| A low cost tax SOA infrastructure in Grid applications | 2007-06-08 | Paper |
| An approach of data-flow analysis based on exception propagation analysis | 2007-04-05 | Paper |
| System dependence graph construction for aspect oriented C++ | 2006-10-13 | Paper |
| Optimal allocation of test case considering testing-resource in partition testing | 2006-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5486905 | 2006-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5482203 | 2006-08-28 | Paper |
| Constrained factorization method for nonnegative matrix | 2006-08-16 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| AI*IA 2005: Advances in Artificial Intelligence | 2006-06-27 | Paper |
| On computational complexity of the extended fuzzy description logic with numerical restriction | 2006-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5468421 | 2006-05-26 | Paper |
| Using pre-estimate with feedback for adaptation Web server QoS guarantee | 2006-05-09 | Paper |
| BP network based users’ interest model in mining WWW Cache | 2006-05-09 | Paper |
| Computational Science - ICCS 2004 | 2005-12-23 | Paper |
| Computational Science - ICCS 2004 | 2005-12-23 | Paper |
| Computational Science - ICCS 2004 | 2005-12-23 | Paper |
| Computational Science – ICCS 2005 | 2005-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701990 | 2005-10-31 | Paper |
| An improved accuracy measure for rough sets | 2005-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823833 | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045871 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4456927 | 2004-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436662 | 2003-12-04 | Paper |
| More comments on ?A cohesion measure for object-oriented classes? by Heung-Seok Chae, Yong-Rae Kwon and Doo-Hwan Bae (Softw. Pract. Exper. 2000; 30:1405-1431) | 2003-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412505 | 2003-07-15 | Paper |
| Change impact analysis to support architectural evolution | 2003-05-11 | Paper |
| Extracting objects from Ada83 programs: A case study | 2002-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771772 | 2002-02-18 | Paper |
| Design and implementation of the modeling language AML | 2001-06-25 | Paper |
| Algebraic semantics of the modeling language AML | 2001-06-25 | Paper |
