| Publication | Date of Publication | Type |
|---|
| Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems | 2019-07-17 | Paper |
| Faithful Modeling of Product Lines with Kripke Structures and Modal Logic | 2019-02-08 | Paper |
| A theoretical framework for cardinality-based feature models: the semantics and computational aspects | 2018-06-27 | Paper |
| Simulation relations for fault-tolerance | 2018-01-08 | Paper |
| What Is a Derived Signature Morphism? | 2016-02-25 | Paper |
| Modeling Product Lines with Kripke Structures and Modal Logic | 2016-02-25 | Paper |
| Categorical foundations for structured specifications in \(\mathsf{Z}\) | 2016-01-06 | Paper |
| A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules | 2015-12-11 | Paper |
| A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting | 2015-01-13 | Paper |
| Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance | 2014-07-22 | Paper |
| Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications | 2014-07-08 | Paper |
| Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics | 2013-09-13 | Paper |
| A Branching Time Logical System for Open Distributed Systems Development | 2013-04-19 | Paper |
| Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows | 2012-11-06 | Paper |
| Encapsulating deontic and branching time specifications | 2012-10-11 | Paper |
| Towards a First-Order Deontic Action Logic | 2012-06-08 | Paper |
| Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting | 2010-08-31 | Paper |
| Characterizing Locality (Encapsulation) with Bisimulation | 2010-08-31 | Paper |
| Formal Methods at the Crossroads. From Panacea to Foundational Support | 2010-03-30 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Deontic action logic, atomic Boolean algebras and fault-tolerance | 2010-02-09 | Paper |
| On what exactly goes on when software is developed step-by-step. II: The sequel | 2009-07-09 | Paper |
| Reasoning about System-Degradation and Fault-Recovery with Deontic Logic | 2009-04-24 | Paper |
| Design in CommUnity with Extension Morphisms | 2008-09-25 | Paper |
| A Complete and Compact Propositional Deontic Logic | 2008-09-17 | Paper |
| A Tableaux System for Deontic Action Logic | 2008-08-28 | Paper |
| Extension Morphisms for CommUnity | 2007-09-07 | Paper |
| A Verification Logic for Rewriting Logic | 2005-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436991 | 2003-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417813 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415071 | 2003-07-28 | Paper |
| On a generalized modularization theorem | 2002-07-25 | Paper |
| Interpolation in practical formal development | 2002-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722043 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518414 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250362 | 1999-06-17 | Paper |
| Categorical semantics of parallel program design | 1997-12-08 | Paper |
| On the Modularization Theorem for logical specifications | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870817 | 1996-03-26 | Paper |
| Temporal theories as modularisation units for concurrent system specification | 1992-09-27 | Paper |
| A Constructive Presentation for the Modal Connective of Necessity (□) | 1992-09-27 | Paper |
| Temporal Reasoning over Deontic Specifications | 1991-01-01 | Paper |
| Abstract Data Types and Type Theory: Theories as Types | 1991-01-01 | Paper |
| Proof theory and computer programming | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709888 | 1985-01-01 | Paper |
| An Informal Approach to Formal (Algebraic) Specifications | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343424 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3345797 | 1982-01-01 | Paper |
| Continuous Data Types | 1982-01-01 | Paper |
| Conceptual modeling of data base operations | 1981-01-01 | Paper |
| Higher order data types | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875333 | 1980-01-01 | Paper |
| On the design and specification of message oriented programs | 1980-01-01 | Paper |
| Pumping lemmas for term languages | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4192939 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138119 | 1977-01-01 | Paper |
| A generalized approach to formal languages | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4775490 | 1974-01-01 | Paper |
