| Publication | Date of Publication | Type |
|---|
| R-calculus. V: Description logics | 2024-02-07 | Paper |
| R-Calculus, IV: Propositional Logic | 2023-04-21 | Paper |
| A theory of requirements capture and its applications | 2022-11-02 | Paper |
| A heuristic algorithm for cube packing with time schedule | 2022-10-28 | Paper |
| Logical verification of scientific discovery | 2022-10-28 | Paper |
| The sound and complete R-calculus for revising propositional theories | 2022-10-28 | Paper |
| R-Calculus, III: Post Three-Valued Logic | 2022-08-11 | Paper |
| R-Calculus, II: Many-Valued Logics | 2022-02-21 | Paper |
| A representative model based algorithm for maximal contractions | 2021-12-15 | Paper |
| R-CALCULUS: A Logic of Belief Revision | 2021-08-25 | Paper |
| A decomposition based algorithm for maximal contractions | 2019-05-28 | Paper |
| A sound and complete \(R\)-calculi with respect to contraction and minimal change | 2019-05-28 | Paper |
| The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) | 2019-01-22 | Paper |
| Revision with probability | 2017-02-06 | Paper |
| Sound and complete Gentzen deduction system for intermediate propositional logic | 2016-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3462784 | 2016-01-15 | Paper |
| An average analysis of backtracking on random constraint satisfaction problems | 2015-06-17 | Paper |
| A formal semantics for debugging synchronous message passing-based concurrent programs | 2015-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5498056 | 2015-02-11 | Paper |
| Mathematical logic. Foundations for information science | 2014-12-01 | Paper |
| Optimized statistical analysis of software trustworthiness attributes | 2013-08-20 | Paper |
| \textbf{R}-calculus without the cut rule | 2013-07-03 | Paper |
| Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence | 2012-09-07 | Paper |
| A formal semantics for program debugging | 2012-08-17 | Paper |
| An algorithm to compute maximal contractions for Horn clauses | 2011-06-17 | Paper |
| Dynamical characteristics of software trustworthiness and their evolutionary complexity | 2010-03-03 | Paper |
| Complexity of software trustworthiness and its dynamical statistical analysis methods | 2010-03-03 | Paper |
| A SYMBOLIC CALCULUS ON DEFECT REVISIONS OF AXIOMATIC SYSTEMS | 2009-04-14 | Paper |
| Mathematical logic. Foundations for information science | 2009-01-26 | Paper |
| An Inductive Inference System and Its Rationality | 2009-01-15 | Paper |
| A programmable approach to revising knowledge bases | 2007-02-20 | Paper |
| A development calculus for specifications | 2007-02-20 | Paper |
| Many hard examples in exact phase transitions | 2006-04-28 | Paper |
| SIMILARITY REDUCTIONS AND INTEGRABILITY FOR THE BRUSSELATOR REACTION–DIFFUSION MODEL WITH SYMBOLIC COMPUTATION | 2005-10-27 | Paper |
| Limits of theory sequences over algebraically closed fields and applications. | 2004-01-26 | Paper |
| On the average similarity degree between solutions of random \(k\)-SAT and random CSPs. | 2004-01-26 | Paper |
| A programmable approach to maintenance of a finite knowledge base | 2003-08-13 | Paper |
| The SAT phase transition | 2002-08-18 | Paper |
| Operational and complete approaches to belief revision | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501600 | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4954175 | 2000-05-18 | Paper |
| An incremental approach to automatic algorithm design | 2000-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4943322 | 2000-03-16 | Paper |
| Open logic based on total-ordered partition model | 1999-11-08 | Paper |
| The open logic and its relation to circumscription | 1999-09-13 | Paper |
| On \(k\)-positive satisfiability problem | 1999-01-01 | Paper |
| R-calculus for ELP: An operational approach to knowledge base maintenance | 1997-03-23 | Paper |
| Parametric logic: Foundations | 1996-05-13 | Paper |
| A logical framework for knowledge base maintenance | 1995-07-24 | Paper |
| A mathematic-physical approach to the satisfiability problem | 1995-05-11 | Paper |
| Concurrent calculus (CC) and its properties | 1993-08-24 | Paper |
| An open logic system | 1993-08-17 | Paper |
| A type-theoretic approach to program development | 1990-01-01 | Paper |
| A structural operational semantics for an Edison-like language | 1986-01-01 | Paper |
| A structural operational semantics for an Edison like language. II | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3725531 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657414 | 1983-01-01 | Paper |
