| Publication | Date of Publication | Type |
|---|
| Constructing systems as object communities | 2022-11-02 | Paper |
| Object interaction | 2022-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5119553 | 2020-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5226947 | 2019-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224791 | 2019-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224783 | 2019-07-24 | Paper |
| Probabilistic logic of quantum observations | 2019-06-18 | Paper |
| Decision and optimization problems in the unreliable-circuit logic | 2019-01-08 | Paper |
| On probability and logic | 2018-04-09 | Paper |
| PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS | 2017-05-31 | Paper |
| Universality of quantum Turing machines with deterministic control | 2017-05-17 | Paper |
| A Roadmap to Decidability | 2015-06-24 | Paper |
| Probabilistic situation calculus | 2015-06-17 | Paper |
| Fibring as biporting subsumes asymmetric combinations | 2015-02-27 | Paper |
| Approximate reasoning about logic circuits with single-fan-out unreliable gates | 2015-02-11 | Paper |
| Craig interpolation in the presence of unreliable connectives | 2015-02-05 | Paper |
| Exponentially more concise quantum recognition of non-RMM regular languages | 2014-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416169 | 2014-05-19 | Paper |
| Preservation of Craig interpolation by the product of matrix logics | 2014-04-17 | Paper |
| Reasoning about imperative quantum programs | 2013-10-10 | Paper |
| Extending classical logic for reasoning about quantum systems | 2013-10-04 | Paper |
| Importing logics: soundness and completeness preservation | 2013-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918417 | 2013-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4914978 | 2013-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4912848 | 2013-03-27 | Paper |
| On combined connectives | 2013-03-21 | Paper |
| On meet-combination of logics | 2013-01-14 | Paper |
| Importing logics | 2012-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007251 | 2011-06-21 | Paper |
| Preservation by fibring of the finite model property | 2011-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571948 | 2010-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560845 | 2010-05-14 | Paper |
| A graph-theoretic account of logics | 2010-01-14 | Paper |
| On Graph-theoretic Fibring of Logics | 2010-01-14 | Paper |
| Truth-values as labels: a general recipe for labelled deduction | 2009-11-11 | Paper |
| Reasoning About States of Probabilistic Sequential Programs | 2009-03-12 | Paper |
| Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification | 2008-12-22 | Paper |
| Exogeneous semantics approach to enriching logics | 2008-09-29 | Paper |
| Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems | 2008-05-05 | Paper |
| Quantum Institutions | 2007-09-07 | Paper |
| Reasoning about probabilistic sequential programs | 2007-07-16 | Paper |
| NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS | 2007-03-27 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Weakly complete axiomatization of exogenous quantum propositional logic | 2006-06-30 | Paper |
| Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity | 2004-10-28 | Paper |
| Categorical foundations for randomly timed automata | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737137 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471713 | 2004-07-30 | Paper |
| Fibring Logics with Topos Semantics | 2003-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431334 | 2003-10-21 | Paper |
| Fibring Modal First-Order Logics: Completeness Preservation | 2003-08-24 | Paper |
| Fibring Labelled Deduction Systems | 2003-05-29 | Paper |
| Fibring non-truth-functional logics: Completeness preservation | 2003-04-27 | Paper |
| A two-level temporal logic for evolving specifications. | 2003-01-21 | Paper |
| Categorial fibring of logics with terms and binding operators | 2002-08-05 | Paper |
| Fibring: Completeness preservation | 2002-03-11 | Paper |
| Deriving liveness goals from temporal logic specifications | 2001-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722028 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722027 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499225 | 2001-03-04 | Paper |
| Fibring of logics as a categorial construction | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942098 | 2000-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941925 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941936 | 2000-03-19 | Paper |
| Denotational semantics of object specification | 1998-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4400803 | 1998-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373557 | 1998-05-10 | Paper |
| Synchronization of logics | 1997-11-13 | Paper |
| A temporal logic approach to object certification | 1997-02-27 | Paper |
| Object Specification Logic | 1995-10-04 | Paper |
| Progress assumption in concurrent systems | 1995-07-23 | Paper |
| Object inheritance beyond subtyping | 1994-07-04 | Paper |
| Reasoning About Objects Using a Tableau Method | 1992-06-27 | Paper |
| Branching versus linear logics yet again | 1990-01-01 | Paper |
| Logics of Modal Terms for Systems Specification | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3468602 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826521 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824395 | 1988-01-01 | Paper |
| Specification and verification of database dynamics | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3820049 | 1988-01-01 | Paper |
| The INFOLOG linear tense propositional logic of events and transactions | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745334 | 1986-01-01 | Paper |
| SYSTEMATICS: Its syntax and semantics as a query language (1) | 1981-01-01 | Paper |
| Temporal aspects of logical procedure definition | 1980-01-01 | Paper |
