| Publication | Date of Publication | Type |
|---|
| Constructing systems as object communities | 2022-11-02 | Paper |
| Object interaction | 2022-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224783 | 2019-07-24 | Paper |
| My ADT shrine | 2012-06-08 | Paper |
| Objects, Agents, and Features | 2005-12-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764106 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702602 | 2001-04-01 | Paper |
| Specifying communication in distributed information systems | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4400803 | 1998-08-02 | Paper |
| Specification of abstract data types | 1997-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3993542 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3468602 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4725723 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707382 | 1985-01-01 | Paper |
| Algebraic and operational semantics of specifications allowing exceptions and errors | 1984-01-01 | Paper |
| Algebraic domain equations | 1983-01-01 | Paper |
| An operational semantics for specifications of abstract data types with error handling | 1983-01-01 | Paper |
| On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668831 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3341872 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668832 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956382 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917479 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917478 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953141 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888509 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3878743 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187290 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4188716 | 1979-01-01 | Paper |
| Extensions and implementations of abstract data type specifications | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3920619 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160386 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4127985 | 1977-01-01 | Paper |
| On the storage space requirement of consecutive retrieval with redundancy | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105783 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4136544 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4146237 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4179800 | 1976-01-01 | Paper |
| Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. I: Datenstrukturen und Schemata | 1975-01-01 | Paper |
| Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. II: Zugriffssysteme | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4048574 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4401060 | 1973-01-01 | Paper |
| Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen | 1973-01-01 | Paper |
| A Note on State Minimization of a Special Class of Incomplete Sequential Machines | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611014 | 1970-01-01 | Paper |
