| Publication | Date of Publication | Type |
|---|
| Process calculi for modelling mobile, service-oriented, and collective autonomic systems | 2024-02-23 | Paper |
| A reduction-based cut-free Gentzen calculus for dynamic epistemic logic | 2024-02-20 | Paper |
| A modular bisimulation characterisation for fragments of hybrid logic | 2023-12-22 | Paper |
| Proof systems for structured algebraic specifications: An overview | 2022-12-09 | Paper |
| Behavioural and abstractor specifications revisited | 2018-07-26 | Paper |
| A SOC-Based Formal Specification and Verification of Hybrid Systems | 2016-02-25 | Paper |
| Model-Checking Helena Ensembles with Spin | 2015-09-14 | Paper |
| Algebraic Reinforcement Learning | 2015-09-14 | Paper |
| Which Soft Constraints do you Prefer? | 2015-03-19 | Paper |
| Assembly Theories for Communication-Safe Component Systems | 2014-07-24 | Paper |
| A Rewriting Logic Framework for Soft Constraints | 2014-01-24 | Paper |
| Statistical Model Checking for Composite Actor Systems | 2013-09-13 | Paper |
| Building a Modal Interface Theory for Concurrency and Data | 2012-06-08 | Paper |
| Interface theories for concurrency and data | 2011-07-07 | Paper |
| A contract-based approach to adaptivity | 2011-06-07 | Paper |
| Comparing goal-oriented and procedural service orchestration1 | 2010-09-14 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| What Is a Multi-modeling Language? | 2009-10-22 | Paper |
| On the Specification and Verification of Model Transformations | 2009-10-22 | Paper |
| Service Specification and Matchmaking Using Description Logic | 2009-01-27 | Paper |
| A Heterogeneous Approach to UML Semantics | 2008-06-19 | Paper |
| Specification and refinement of mobile systems in MTLA and mobile UML | 2006-04-06 | Paper |
| Objects, Agents, and Features | 2005-12-27 | Paper |
| Adapting Proofs-as-Programs | 2005-09-28 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Global Computing | 2005-08-19 | Paper |
| A coordination approach to mobile components | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045612 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471724 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430297 | 2003-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417820 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413609 | 2003-07-21 | Paper |
| A formal approach to object-oriented software engineering | 2002-08-13 | Paper |
| Recursive equations in higher-order process calculi | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702598 | 2002-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767168 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767183 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764133 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722042 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941939 | 2000-10-25 | Paper |
| Proof systems for structured specifications with observability operators | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385454 | 1998-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385539 | 1998-05-14 | Paper |
| Timed rewriting logic with an application to object-based specification | 1997-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4357065 | 1997-10-07 | Paper |
| Behavioural and abstractor specifications | 1997-01-02 | Paper |
| A Calculus of Higher-Order Parameterization for Algebraic Specifications | 1995-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842536 | 1995-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840948 | 1995-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035653 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3999578 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4711833 | 1992-06-25 | Paper |
| Crypt-equivalent algebraic specifications | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789048 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809236 | 1988-01-01 | Paper |
| On the algebraic definition of programming languages | 1987-01-01 | Paper |
| Algebraic implementations preserve program correctness | 1986-01-01 | Paper |
| Structured algebraic specifications: A kernel language | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3026326 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3725526 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777428 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677154 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687694 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707384 | 1985-01-01 | Paper |
| A systematic study of models of abstract data types | 1984-01-01 | Paper |
| Nondeterministic three-valued logic: isotonic and guarded truth-functions | 1983-01-01 | Paper |
| On hierarchies of abstract data types | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657416 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3662598 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666260 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3672054 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4743723 | 1983-01-01 | Paper |
| Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen | 1982-01-01 | Paper |
| Partial abstract types | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3660896 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954805 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960110 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4746772 | 1982-01-01 | Paper |
| Programming in a wide spectrum language: A collection of examples | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912001 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912057 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939217 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954806 | 1981-01-01 | Paper |
| Program development: From enumeration to backtracking | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3871894 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875322 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883462 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3886833 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3911230 | 1980-01-01 | Paper |
| Methodical solution of the problem of ascending subsequences of maximum length within a given sequence | 1979-01-01 | Paper |
| Small Universal Post Systems | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190110 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4192046 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194409 | 1979-01-01 | Paper |
| Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen | 1978-01-01 | Paper |
| An attempt for a mathematical foundation and evaluation of MACS, a method for multidimensional automatical cluster detection | 1978-01-01 | Paper |
| Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten | 1977-01-01 | Paper |
