| Publication | Date of Publication | Type |
|---|
A characterization of distributed ASMs with partial-order runs
Rigorous State-Based Methods | 2022-10-14 | Paper |
A behavioural theory of recursive algorithms
Fundamenta Informaticae | 2021-05-20 | Paper |
The abstract state machines method for modular design and analysis of programming languages
Journal Of Logic And Computation | 2017-05-17 | Paper |
Concurrent abstract state machines
Acta Informatica | 2016-08-22 | Paper |
Ambient abstract state machines with applications
Journal of Computer and System Sciences | 2012-08-17 | Paper |
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations | 2012-03-09 | Paper |
The abstract state machines method for high-level system design and analysis
Formal Methods: State of the Art and New Directions | 2010-04-23 | Paper |
Abstract State Machines 2004. Advances in Theory and Practice
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
Formal Aspects of Computing | 2007-08-23 | Paper |
Frontiers of Combining Systems
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
A high-level modular definition of the semantics of C\(_{\sharp}\)
Theoretical Computer Science | 2005-06-10 | Paper |
Abstract state machines: a unifying view of models of computation and of system design frameworks
Annals of Pure and Applied Logic | 2005-04-21 | Paper |
The ASM refinement method
Formal Aspects of Computing | 2005-02-08 | Paper |
| scientific article; zbMATH DE number 2000398 (Why is no real title available?) | 2003-11-03 | Paper |
| Abstract State Machines | 2003-10-01 | Paper |
| scientific article; zbMATH DE number 1951192 (Why is no real title available?) | 2003-07-21 | Paper |
| scientific article; zbMATH DE number 1951182 (Why is no real title available?) | 2003-07-21 | Paper |
| scientific article; zbMATH DE number 1696896 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1670502 (Why is no real title available?) | 2002-01-06 | Paper |
| scientific article; zbMATH DE number 1670514 (Why is no real title available?) | 2002-01-06 | Paper |
| scientific article; zbMATH DE number 1670466 (Why is no real title available?) | 2001-12-03 | Paper |
| scientific article; zbMATH DE number 1670469 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1670521 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1670522 (Why is no real title available?) | 2001-11-11 | Paper |
The classical decision problem.
Universitext | 2001-09-30 | Paper |
| scientific article; zbMATH DE number 1650458 (Why is no real title available?) | 2001-09-23 | Paper |
| scientific article; zbMATH DE number 1543046 (Why is no real title available?) | 2001-02-26 | Paper |
Initialization problems for Java
Software - Concepts & Tools | 2000-01-01 | Paper |
| scientific article; zbMATH DE number 1354178 (Why is no real title available?) | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1156869 (Why is no real title available?) | 1998-11-26 | Paper |
A description of the tableau method using abstract state machines
Journal Of Logic And Computation | 1997-11-04 | Paper |
Specification and correctness proof of a WAM extension with abstract type constraints
Formal Aspects of Computing | 1997-03-03 | Paper |
| scientific article; zbMATH DE number 965572 (Why is no real title available?) | 1997-01-14 | Paper |
Refinement of a typed WAM extension by polymorphic order-sorted types
Formal Aspects of Computing | 1996-12-01 | Paper |
| scientific article; zbMATH DE number 868108 (Why is no real title available?) | 1996-08-18 | Paper |
| scientific article; zbMATH DE number 879006 (Why is no real title available?) | 1996-05-14 | Paper |
| scientific article; zbMATH DE number 868103 (Why is no real title available?) | 1996-04-21 | Paper |
| scientific article; zbMATH DE number 868105 (Why is no real title available?) | 1996-04-21 | Paper |
A mathematical definition of full Prolog
Science of Computer Programming | 1996-02-20 | Paper |
| scientific article; zbMATH DE number 773979 (Why is no real title available?) | 1995-07-13 | Paper |
| scientific article; zbMATH DE number 554480 (Why is no real title available?) | 1995-01-02 | Paper |
| scientific article; zbMATH DE number 517056 (Why is no real title available?) | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 408786 (Why is no real title available?) | 1993-09-06 | Paper |
| scientific article; zbMATH DE number 65740 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 54107 (Why is no real title available?) | 1992-09-18 | Paper |
Computability, complexity, logic. Transl. from the German
Studies in Logic and the Foundations of Mathematics | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 18622 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 19144 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4130365 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4103047 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4130360 (Why is no real title available?) | 1987-01-01 | Paper |
D. Rödding: Ein Nachruf. (D. Rödding: obituary)
Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4059377 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3952713 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3885864 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3898846 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3841838 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3845565 (Why is no real title available?) | 1982-01-01 | Paper |
Conservative reduction classes of Krom formulas
Journal of Symbolic Logic | 1982-01-01 | Paper |
Prefix classes of krom formulae with identity
Archiv für mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
The equivalence of Horn and network complexity for Boolean functions
Acta Informatica | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3732029 (Why is no real title available?) | 1981-01-01 | Paper |
The reachability problem for Petri nets and decision problems for Skolem arithmetic
Theoretical Computer Science | 1980-01-01 | Paper |
The R. E. Complexity of Decision Problems for Commutative Semi‐Thue Systems With Recursive Rule Set
Mathematical Logic Quarterly | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3668579 (Why is no real title available?) | 1979-01-01 | Paper |
A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems
Mathematical Logic Quarterly | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3708346 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3619853 (Why is no real title available?) | 1978-01-01 | Paper |
Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen
Archiv für Mathematische Logik und Grundlagenforschung | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3556012 (Why is no real title available?) | 1976-01-01 | Paper |
Diem-Grade Logischer Entscheidungsprobleme
Archiv für Mathematische Logik und Grundlagenforschung | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3639150 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3520403 (Why is no real title available?) | 1975-01-01 | Paper |
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen
Archiv für Mathematische Logik und Grundlagenforschung | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3460256 (Why is no real title available?) | 1974-01-01 | Paper |
Eine Entscheidbare Klasse Von Kromformeln
Mathematical Logic Quarterly | 1973-01-01 | Paper |
