A Note on State Minimization of a Special Class of Incomplete Sequential Machines. - Hans-Dieter Ehrich (IEEE Trans. Computers, 1972)

Datenstrukturen und Q-Systeme - Eine Mathematische Studie. - Hans-Dieter Ehrich (GI Jahrestagung, 1973)

Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen - Hans-Dieter Ehrich (Acta Informatica, 1973)

Theory of Direct-Access Storage Functions. - Hans-Dieter Ehrich (IFIP Congress, 1974)

Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata. - Hans-Dieter Ehrich (Acta Informatica, 1974)

Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme. - Hans-Dieter Ehrich (Acta Informatica, 1974)

Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte. - Hans-Dieter Ehrich (WG, 1975)

Outline of an Algebraic Theory of Structured Objects. - Hans-Dieter Ehrich (ICALP, 1976)

An Axiomatic Approach to Information Structures. - Hans-Dieter Ehrich (MFCS, 1976)

On the Storage Space Requirement of Consecutive Retrieval with Redundancy. - Hans-Dieter Ehrich; Witold Lipski Jr. (Inf. Process. Lett., 1976)

Algebraic Semantics of Type Definitions and Structured Variables. - Hans-Dieter Ehrich (FCT, 1977)

Constructive Specifications of Abstract Data Types by Replacements. - Hans-Dieter Ehrich; V. G. Lohberger (Graph-Grammars and Their Application to Computer Science and Biology, 1978)

Extensions and Implementations of Abstract Data Type Specifications. - Hans-Dieter Ehrich (MFCS, 1978)

Proving Implementations Correct - Two Alternative Approaches. - Hans-Dieter Ehrich; Udo W. Lipeck (IFIP Congress, 1980)

Specifying Algebraic Data Types by Domain Equations. - Hans-Dieter Ehrich (FCT, 1981)

On Realization and Implementation. - Hans-Dieter Ehrich (MFCS, 1981)

Operational Aspects of Algebraic Specifications. - Hans-Dieter Ehrich (ADT, 1982)

Algebraic Domain Equations. - Hans-Dieter Ehrich (ADT, 1982)

On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types. - Hans-Dieter Ehrich (J. ACM, 1982)

Algebraic Specifications of Database Constraints. - Udo W. Lipeck; Hans-Dieter Ehrich (ADT, 1983)

Algebraic and operational semantics of exceptions and errors. - Martin Gogolla; Klaus Drosten; Udo W. Lipeck; Hans-Dieter Ehrich (Theoretical Computer Science, 1983)

An Operational Semantics for Specifications of Abstract Data Types with Error Handling. - Gregor Engels; Udo Pletat; Hans-Dieter Ehrich (Acta Informatica, 1983)

Algebraic Specification with subsorts using declarations. - Martin Gogolla; Hans-Dieter Ehrich (Bull. EATCS, 1983)

Algebraic Domain Equations. - Hans-Dieter Ehrich; Udo W. Lipeck (Theor. Comput. Sci., 1983)

Algebraic (?) Specification of Conceptual Database Schemata. - Hans-Dieter Ehrich (ADT, 1984)

Specification, Semantics, and Enforcement of Dynamic Database Constraints. - Hans-Dieter Ehrich; Udo W. Lipeck; Martin Gogolla (VLDB, 1984)

Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. - Martin Gogolla; Klaus Drosten; Udo W. Lipeck; Hans-Dieter Ehrich (Theor. Comput. Sci., 1984)

Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. - Hans-Dieter Ehrich (CTCS, 1985)

Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. - Udo W. Lipeck; Hans-Dieter Ehrich; Martin Gogolla (TFAIS, 1985)

Towards an Algebraic Semantics for Databases. - Hans-Dieter Ehrich (ADT, 1986)

Towards an Algebraic Semantics for Database Specification. - Hans-Dieter Ehrich; Klaus Drosten; Martin Gogolla (DS-2, 1986)

Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken. - Michael Drawin; Karl Neumann; Hans-Dieter Ehrich (BTW, 1987)

Three-Level-Specification of Databases using an extended Entity-Relationship Model. - Uwe Hohenstein; Leonore Neugebauer; Gunter Saake; Hans-Dieter Ehrich (EMISA, 1987)

Abstract Object Types: A Temporal Perspective. - Amílcar Sernadas; José Luiz Fiadeiro; Cristina Sernadas; Hans-Dieter Ehrich (Temporal Logic in Specification, 1987)

Object-Oriented Specification of Databases: An Algebraic Approach. - Amílcar Sernadas; Cristina Sernadas; Hans-Dieter Ehrich (VLDB, 1987)

Objects and Object Types. - Hans-Dieter Ehrich; Amílcar Sernadas; Cristina Sernadas (ADT, 1988)

Objects, Object Types, and Object Identification. - Hans-Dieter Ehrich; Amílcar Sernadas; Cristina Sernadas (Categorial Methods in Computer Science, 1988)

Abstract Object Types for Databases. - Hans-Dieter Ehrich; Amílcar Sernadas; Cristina Sernadas (OODBS, 1988)

Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie. - Hans-Dieter Ehrich; Martin Gogolla; Udo W. Lipeck (Teubner, 1989)

Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen. - Friedrich Lohmann; Karl Neumann; Hans-Dieter Ehrich (BTW, 1989)

Objekt-orientierter Entwurf von Informationssystmenen: Das IS-CORE Projekt. - Hans-Dieter Ehrich (Grundlagen von Datenbanken, 1989)

The Basic Building Blocks of Information Systems. - Amílcar Sernadas; José Luiz Fiadeiro; Cristina Sernadas; Hans-Dieter Ehrich (ISCO, 1989)

Algebraic Implementation of Objects over Objects. - Hans-Dieter Ehrich; Amílcar Sernadas (REX Workshop, 1989)

What is an Object, After All? - Amílcar Sernadas; Hans-Dieter Ehrich (DS-4, 1990)

A Categorial Theory of Objects as Observed Processes. - Hans-Dieter Ehrich; Joseph A. Goguen; Amílcar Sernadas (REX Workshop, 1990)

From Data Types to Object Types. - Hans-Dieter Ehrich; Amílcar Sernadas; Cristina Sernadas (J. Inf. Process. Cybern., 1990)

Objects and their Specification. - Hans-Dieter Ehrich; Martin Gogolla; Amílcar Sernadas (COMPASS/ADT, 1991)

Object-Oriented Specification and Stepwise Refinement. - Gunter Saake; Ralf Jungclaus; Hans-Dieter Ehrich (Open Distributed Processing, 1991)

Concepts of Object-Orientation. - Hans-Dieter Ehrich; Gunter Saake; Amílcar Sernadas (IS/KI, 1992)

Object Interaction. - José Félix Costa; Amílcar Sernadas; Cristina Sernadas; Hans-Dieter Ehrich (MFCS, 1992)

Spezifikation von Objektsystemen. - Thorsten Hartmann; Ralf Jungclaus; Gunter Saake; Hans-Dieter Ehrich (Objektbanken für Experten, 1992)

Conceptual modelling of database applications using extended ER model. - Gregor Engels; Martin Gogolla; Uwe Hohenstein; Klaus Hülsmann; Perdita Löhr-Richter; Gunter Saake; Hans-Dieter Ehrich (Data Knowl. Eng., 1992)

Towards Reliable Information Systems: The KorSo Approach - Nikolaos Vlachantonis; Rudolf Herzig; Martin Gogolla; Grit Denker; Stefan Conrad 001; Hans-Dieter Ehrich (CAiSE, 1993)

Object-Oriented Design of Information Systems: Theoretical Foundations. - Hans-Dieter Ehrich; Ralf Jungclaus; Grit Denker; Amílcar Sernadas (CISM - Advances in Database Systems, 1993)

Object-Oriented Design of Information Systems: TROLL Language Features. - Gunter Saake; Thorsten Hartmann; Ralf Jungclaus; Hans-Dieter Ehrich (CISM - Advances in Database Systems, 1993)

Zur Entwicklung zuverlässiger Informationssysteme in KorSo. - Stefan Conrad 001; Grit Denker; Martin Gogolla; Rudolf Herzig; Nikolaos Vlachantonis; Hans-Dieter Ehrich (GI Jahrestagung, 1993)

Constructing Systems as Object Communities. - Hans-Dieter Ehrich; Grit Denker; Amílcar Sernadas (TAPSOFT, 1993)

Local Specification of Distributed Families of Sequential Objects. - Hans-Dieter Ehrich; Amílcar Sernadas (COMPASS/ADT, 1994)

Modulare Semantik für nebenläfige Familien sequentieller Objekte. - Hans-Dieter Ehrich (Grundlagen von Datenbanken, 1994)

Korso Reference Languages - Concepts and Application Domains. - Hans-Dieter Ehrich; Franz Regensburger; Wolfgang Grieskamp; Carola Gerke; Rudolf Herzig; Martin Gogolla; Grit Denker; Ernst-Rüdiger Olderog (KORSO Book, 1995)

Entwicklung zuverlässiger Informationssysteme. - Stefan Conrad 001; Grit Denker; Martin Gogolla; Rudolf Herzig; Nikolaos Vlachantonis; Hans-Dieter Ehrich (EMISA Forum, 1995)

Specification of abstract data types. - Jacques Loeckx; Hans-Dieter Ehrich; Markus Wolf (Wiley, 1996)

Developing an Information System Using TROLL: An Application Field Study. - Maren Krone; Mojgan Kowsari; Peter Hartel; Grit Denker; Hans-Dieter Ehrich (CAiSE, 1996)

Information Systems Modelling with TROLL Formal Methods at Work. - Peter Hartel; Grit Denker; Mojgan Kowsari; Maren Krone; Hans-Dieter Ehrich (Inf. Syst., 1997)

Logics for Specifying Concurrent Information Systems. - Hans-Dieter Ehrich; Carlos Caleiro; Amílcar Sernadas; Grit Denker (Logics for Databases and Information Systems, 1998)

The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. - Antonio Grau; Juliana Küster Filipe; Mojgan Kowsari; Silke Eckstein; Ralf Pinger; Hans-Dieter Ehrich (ER, 1998)

Object Specification. - Hans-Dieter Ehrich (Algebraic Foundations of Systems Specification, 1999)

Specifying Communication in Distributed Information Systems. - Hans-Dieter Ehrich; Carlos Caleiro (Acta Informatica, 2000)

Compositional Checking of Communication among Observers. - Ralf Pinger; Hans-Dieter Ehrich (FASE, 2001)

Objects, Agents, and Features: An Introduction. - John-Jules Ch. Meyer; Mark Dermot Ryan; Hans-Dieter Ehrich (Objects, Agents, and Features, 2003)

Checking Object System Designs Incrementally. - Hans-Dieter Ehrich; Maik Kollmann; Ralf Pinger (J. Univers. Comput. Sci., 2003)

Editorial. - Huimin Lin; Hans-Dieter Ehrich; T. H. Tse (Inf. Softw. Technol., 2004)

Harmonizing intra- and inter-object specification and verification: a multi-object logics approach. - Hans-Dieter Ehrich (ACM SIGSOFT Softw. Eng. Notes, 2005)

Bioinformatik: Erkenntnisse aus der Datenflut? - Hans-Dieter Ehrich; Silke Eckstein; Brigitte Mathiak; Andreas Kupfer; Claudia Täubner (Grundlagen von Datenbanken, 2006)

Editorial. - Hans-Dieter Ehrich; Klaus-Dieter Schewe; T. H. Tse (J. Syst. Softw., 2006)

OOLH: A Formal Framework for Specifying System Requirements. - Yuen Man Hon; Jan-Tecker Gayen; Hans-Dieter Ehrich (SIGSAND-EUROPE, 2008)

Model Checking PLC Software Written in Function Block Diagram. - Olivera Pavlovic; Hans-Dieter Ehrich (ICST, 2010)

My ADT Shrine. - Hans-Dieter Ehrich (WADT, 2010)

Datenbanken und Informationssysteme. - Günther Stiege; Hans-Dieter Ehrich; Wolf-Tilo Balke (40 Jahre Informatik @ Braunschweig, 2012)