| Publication | Date of Publication | Type |
|---|
Formal derivation of concurrent garbage collectors
Lecture Notes in Computer Science | 2010-07-26 | Paper |
Colimits for concurrent collectors
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Solution strategies for multi-domain constraint logic programs
Perspectives of Systems Informatics | 2010-02-02 | Paper |
Evolving Specification Engineering
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Integration of declarative and constraint programming
Theory and Practice of Logic Programming | 2007-03-23 | Paper |
Programmieren lernen
eXamen.press | 2006-08-31 | Paper |
| scientific article; zbMATH DE number 1995123 (Why is no real title available?) | 2003-10-21 | Paper |
Development of communication protocols using algebraic and temporal specifications.
Computer Networks | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1235907 (Why is no real title available?) | 1999-01-05 | Paper |
| Foundation of computer science | 1997-02-24 | Paper |
| scientific article; zbMATH DE number 108364 (Why is no real title available?) | 1993-01-23 | Paper |
Grundlagen der Informatik / Foundations of Computer Science
auto | 1992-06-29 | Paper |
Grundlagen der Informatik / Foundations of Computer Science
auto | 1992-06-29 | Paper |
Grundlagen der Informatik / Foundations of Computer Science
auto | 1992-06-29 | Paper |
Grundlagen der Informatik / Foundations of Computer Science
auto | 1992-06-29 | Paper |
Grundlagen der Informatik / Foundations of Computer Science
auto | 1992-06-25 | Paper |
Grundlagen der Informatik / Foundations of Computer Science
auto | 1992-06-25 | Paper |
Formal program construction by transformations-computer-aided, intuition-guided programming
IEEE Transactions on Software Engineering | 1989-01-01 | Paper |
On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems | 1987-01-01 | Paper |
A simple calculus for program transformation (inclusive of induction)
Science of Computer Programming | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3970091 (Why is no real title available?) | 1986-01-01 | Paper |
Algebraic implementations preserve program correctness
Science of Computer Programming | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3872655 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3872648 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3819084 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825133 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3799001 (Why is no real title available?) | 1983-01-01 | Paper |
On hierarchies of abstract data types
Acta Informatica | 1983-01-01 | Paper |
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen
Informatik Spektrum | 1982-01-01 | Paper |
Program Development as a Formal Activity
IEEE Transactions on Software Engineering | 1981-01-01 | Paper |
Programming in a wide spectrum language: A collection of examples
Science of Computer Programming | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3679161 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3692620 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3628362 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3621081 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3621080 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3630180 (Why is no real title available?) | 1978-01-01 | Paper |
A family of rules for recursion removal
Information Processing Letters | 1976-01-01 | Paper |
