| Publication | Date of Publication | Type |
|---|
Constructing systems as object communities
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Object interaction
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
| scientific article; zbMATH DE number 7085029 (Why is no real title available?) | 2019-07-24 | Paper |
My ADT shrine
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Objects, Agents, and Features
Lecture Notes in Computer Science | 2005-12-27 | Paper |
| scientific article; zbMATH DE number 1693511 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1368958 (Why is no real title available?) | 2001-04-01 | Paper |
Specifying communication in distributed information systems
Acta Informatica | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1182731 (Why is no real title available?) | 1998-08-02 | Paper |
| Specification of abstract data types | 1997-02-23 | Paper |
| scientific article; zbMATH DE number 44414 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 4135383 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 3999265 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3936494 (Why is no real title available?) | 1985-01-01 | Paper |
Algebraic and operational semantics of specifications allowing exceptions and errors
Theoretical Computer Science | 1984-01-01 | Paper |
Algebraic domain equations
Theoretical Computer Science | 1983-01-01 | Paper |
An operational semantics for specifications of abstract data types with error handling
Acta Informatica | 1983-01-01 | Paper |
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
Journal of the ACM | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3823107 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3876565 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3823108 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3776842 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3729432 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3729431 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3772919 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3694565 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3683039 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3624765 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3626572 (Why is no real title available?) | 1979-01-01 | Paper |
Extensions and implementations of abstract data type specifications
Mathematical Foundations of Computer Science 1978 | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3733232 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3594632 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3555429 (Why is no real title available?) | 1977-01-01 | Paper |
On the storage space requirement of consecutive retrieval with redundancy
Information Processing Letters | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3529408 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3564315 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3576673 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3615853 (Why is no real title available?) | 1976-01-01 | Paper |
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. I: Datenstrukturen und Schemata
Acta Informatica | 1975-01-01 | Paper |
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. II: Zugriffssysteme
Acta Informatica | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3463164 (Why is no real title available?) | 1974-01-01 | Paper |
Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen
Acta Informatica | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3433468 (Why is no real title available?) | 1973-01-01 | Paper |
A Note on State Minimization of a Special Class of Incomplete Sequential Machines
IEEE Transactions on Computers | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3333290 (Why is no real title available?) | 1970-01-01 | Paper |
