| Publication | Date of Publication | Type |
|---|
| Formal Derivation of Concurrent Garbage Collectors | 2010-07-26 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Solution Strategies for Multi-domain Constraint Logic Programs | 2010-02-02 | Paper |
| Evolving Specification Engineering | 2009-01-27 | Paper |
| Integration of declarative and constraint programming | 2007-03-23 | Paper |
| Programmieren lernen | 2006-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431340 | 2003-10-21 | Paper |
| Development of communication protocols using algebraic and temporal specifications. | 2003-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223591 | 1999-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2785479 | 1997-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023824 | 1993-01-23 | Paper |
| Grundlagen der Informatik / Foundations of Computer Science | 1992-06-29 | Paper |
| Grundlagen der Informatik / Foundations of Computer Science | 1992-06-29 | Paper |
| Grundlagen der Informatik / Foundations of Computer Science | 1992-06-29 | Paper |
| Grundlagen der Informatik / Foundations of Computer Science | 1992-06-29 | Paper |
| Grundlagen der Informatik / Foundations of Computer Science | 1992-06-25 | Paper |
| Grundlagen der Informatik / Foundations of Computer Science | 1992-06-25 | Paper |
| Formal program construction by transformations-computer-aided, intuition-guided programming | 1989-01-01 | Paper |
| A simple calculus for program transformation (inclusive of induction) | 1987-01-01 | Paper |
| On the algebraic definition of programming languages | 1987-01-01 | Paper |
| Algebraic implementations preserve program correctness | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3736891 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3339255 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3339261 | 1984-01-01 | Paper |
| On hierarchies of abstract data types | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666258 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3670524 | 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 |
| Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm | 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/Q3875322 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3886833 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4184268 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4184269 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190110 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4191561 | 1978-01-01 | Paper |
| A family of rules for recursion removal | 1976-01-01 | Paper |
