| Publication | Date of Publication | Type |
|---|
| A Characterization of Distributed ASMs with Partial-Order Runs | 2022-10-14 | Paper |
| A Behavioural Theory of Recursive Algorithms | 2021-05-20 | Paper |
| The abstract state machines method for modular design and analysis of programming languages | 2017-05-17 | Paper |
| Concurrent abstract state machines | 2016-08-22 | Paper |
| Ambient abstract state machines with applications | 2012-08-17 | Paper |
| The Subject-Oriented Approach to Software Design and the Abstract State Machines Method | 2012-03-09 | Paper |
| The Abstract State Machines Method for High-Level System Design and Analysis | 2010-04-23 | Paper |
| Abstract State Machines 2004. Advances in Theory and Practice | 2009-04-30 | Paper |
| Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems | 2007-08-23 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| A high-level modular definition of the semantics of C\(_{\sharp}\) | 2005-06-10 | Paper |
| Abstract state machines: a unifying view of models of computation and of system design frameworks | 2005-04-21 | Paper |
| The ASM refinement method | 2005-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433924 | 2003-11-03 | Paper |
| Abstract State Machines | 2003-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413669 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413680 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767182 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753698 | 2002-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753710 | 2002-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753662 | 2001-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753665 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753718 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753719 | 2001-11-11 | Paper |
| The classical decision problem. | 2001-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2742791 | 2001-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520499 | 2001-02-26 | Paper |
| Initialization problems for Java | 2000-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268493 | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4390866 | 1998-11-26 | Paper |
| A description of the tableau method using abstract state machines | 1997-11-04 | Paper |
| Specification and correctness proof of a WAM extension with abstract type constraints | 1997-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691140 | 1997-01-14 | Paper |
| Refinement of a typed WAM extension by polymorphic order-sorted types | 1996-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873992 | 1996-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4878775 | 1996-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873986 | 1996-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873989 | 1996-04-21 | Paper |
| A mathematical definition of full Prolog | 1996-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4839029 | 1995-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4288282 | 1995-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282584 | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202930 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010351 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4004289 | 1992-09-18 | Paper |
| Computability, complexity, logic. Transl. from the German | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976026 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976572 | 1992-06-26 | Paper |
| D. Rödding: Ein Nachruf. (D. Rödding: obituary) | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3032237 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3032240 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3827989 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3794169 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3722466 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220555 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677732 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3312213 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3315498 | 1982-01-01 | Paper |
| Conservative reduction classes of Krom formulas | 1982-01-01 | Paper |
| Prefix classes of krom formulae with identity | 1982-01-01 | Paper |
| The equivalence of Horn and network complexity for Boolean functions | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919696 | 1981-01-01 | Paper |
| The reachability problem for Petri nets and decision problems for Skolem arithmetic | 1980-01-01 | Paper |
| The R. E. Complexity of Decision Problems for Commutative Semi‐Thue Systems With Recursive Rule Set | 1980-01-01 | Paper |
| A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3866091 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3900017 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182474 | 1978-01-01 | Paper |
| Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128521 | 1976-01-01 | Paper |
| Diem-Grade Logischer Entscheidungsprobleme | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198063 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4100083 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4046033 | 1974-01-01 | Paper |
| Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen | 1974-01-01 | Paper |
| Eine Entscheidbare Klasse Von Kromformeln | 1973-01-01 | Paper |
