| Publication | Date of Publication | Type |
|---|
| Specification and verification of concurrent systems by causality and realizability | 2023-09-18 | Paper |
| Refining the Safety-Liveness Classification of Temporal Properties According to Realizability | 2023-04-13 | Paper |
| Theory and methodology of assumption/commitment based system interface specification and architectural contracts | 2018-08-08 | Paper |
| On the Role of Logic and Algebra in Software Engineering | 2015-07-08 | Paper |
| A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer | 2015-06-24 | Paper |
| Pragmatic Formal Specification of System Properties by Tables | 2015-06-22 | Paper |
| Computability and realizability for interactive computations | 2015-05-04 | Paper |
| A Model of Dynamic Systems | 2014-07-24 | Paper |
| Verifying of interface assertions for infinite state Mealy machines | 2014-06-10 | Paper |
| Message Sequence Charts in the Development Process — Roles and Limitations | 2013-07-24 | Paper |
| A Theory of System Interaction: Components, Interfaces, and Services | 2013-06-18 | Paper |
| Multifunctional software systems: Structured modeling and specification of functional requirements | 2010-11-25 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2003 | 2010-05-26 | Paper |
| A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems | 2010-03-23 | Paper |
| Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence | 2010-03-09 | Paper |
| On the correctness of upper layers of automotive systems | 2009-05-27 | Paper |
| From “Formal Methods” to System Modeling | 2008-09-25 | Paper |
| Interaction and Realizability | 2008-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5447362 | 2008-03-06 | Paper |
| From Chaos to Undefinedness | 2007-09-07 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Modeling layered distributed communication systems | 2005-12-13 | Paper |
| A semantic and methodological essence of message sequence charts | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473706 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470494 | 2004-07-01 | Paper |
| Modellbildung in der Informatik | 2004-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934620 | 2002-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767984 | 2002-07-28 | Paper |
| Methodology, languages and foundations of software engineering. Final report of the research laboratory SYSLAB (1. 10. 1994--30. 9. 1999) | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767168 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760239 | 2001-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702603 | 2001-11-22 | Paper |
| Exercises for the introduction to computer science | 2001-10-30 | Paper |
| Specification and Development of Interactive Systems | 2001-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722013 | 2001-07-11 | Paper |
| Adapting Calculational Logic to the Undefined | 2000-05-04 | Paper |
| Informatik Eine grundlegende Einführung | 1998-11-24 | Paper |
| Compositional refinement of interactive systems | 1998-11-04 | Paper |
| Übungen zur Einführung in die Informatik | 1997-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364532 | 1997-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4344502 | 1997-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4718231 | 1997-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885876 | 1996-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858905 | 1996-02-01 | Paper |
| Basic introduction to computer science. P. 4: Theoretical computer science, algorithms and data structures, logic programming, object orientation | 1995-11-29 | Paper |
| Computer science. An introduction. Part 3: Structures of systems and assembler programming | 1994-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282670 | 1994-02-24 | Paper |
| Computer science. A fundamental introduction. Part 1: Problem oriented programming | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018067 | 1993-01-16 | Paper |
| Algebraic and functional specification of an interactive serializable database interface | 1992-09-27 | Paper |
| Specification and design of shared resource arbitration | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4711833 | 1992-06-25 | Paper |
| Towards a formal foundation of the specification and description language SDL | 1991-01-01 | Paper |
| On denotational versus predicative semantics | 1991-01-01 | Paper |
| Nondeterministic data flow programs: How to avoid the merge anomaly | 1988-01-01 | Paper |
| Equational specification of partial higher-order algebras | 1988-01-01 | Paper |
| Views of queues | 1988-01-01 | Paper |
| Broadcasting buffering communication | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3814786 | 1988-01-01 | Paper |
| Predicative specifications for functional programs describing communicating networks | 1987-01-01 | Paper |
| Specification and top-down design of distributed systems | 1987-01-01 | Paper |
| Semantics of finite and infinite networks of concurrent communicating agents | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028333 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030233 | 1987-01-01 | Paper |
| On the algebraic definition of programming languages | 1987-01-01 | Paper |
| Algebraic implementations preserve program correctness | 1986-01-01 | Paper |
| A theory for nondeterminism, parallelism, communication, and concurrency | 1986-01-01 | Paper |
| Denotational semantics of communicating sequential programs | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3750112 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4727396 | 1986-01-01 | Paper |
| On the Herbrand-Kleene universe for nondeterministic computations | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677156 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681910 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3683524 | 1985-01-01 | Paper |
| A systematic approach to language constructs for concurrent programs | 1984-01-01 | Paper |
| A systematic study of models of abstract data types | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216137 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3339253 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347276 | 1984-01-01 | Paper |
| Semantics of communicating processes | 1984-01-01 | Paper |
| On hierarchies of abstract data types | 1983-01-01 | Paper |
| Denotational semantics of communicating processes based on a language for applicative multiprogramming | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657416 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657421 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3662598 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666242 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667932 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3670524 | 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 |
| Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4746772 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4746778 | 1982-01-01 | Paper |
| Programming in a wide spectrum language: A collection of examples | 1981-01-01 | Paper |
| Program Development as a Formal Activity | 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/Q3911357 | 1980-01-01 | Paper |
| Derivation of Invariant Assertions During Program Development by Transformation | 1980-01-01 | Paper |
| Methodical solution of the problem of ascending subsequences of maximum length within a given sequence | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4184269 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4184294 | 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 |
