| 2010 | ICST | Model Checking PLC Software Written in Function Block Diagram. | Olivera Pavlovic, Hans-Dieter Ehrich |
| 2001 | FASE | Compositional Checking of Communication among Observers. | Ralf Pinger, Hans-Dieter Ehrich |
| 1998 | ER | The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. | Antonio Grau, Juliana Kster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich |
| 1996 | CaiSE | Developing an Information System Using TROLL: An Application Field Study. | Maren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich |
| 1994 | COMPASS | Local Specification of Distributed Families of Sequential Objects. | Hans-Dieter Ehrich, Amlcar Sernadas |
| 1993 | CaiSE | Towards Reliable Information Systems: The KorSo Approach | Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich |
| 1993 | GI | Zur Entwicklung zuverlssiger Informationssysteme in KorSo. | Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich |
| 1992 | MFCS | Object Interaction. | Jos Flix Costa, Amlcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich |
| 1991 | COMPASS | Objects and their Specification. | Hans-Dieter Ehrich, Martin Gogolla, Amlcar Sernadas |
| 1990 | DS | What is an Object, After All? | Amlcar Sernadas, Hans-Dieter Ehrich |
| 1989 | BTW | Entwurf eines Datenbank-Prototyps fr geowissenschaftliche Anwendungen. | Friedrich Lohmann, Karl Neumann, Hans-Dieter Ehrich |
| 1989 | ISCO | The Basic Building Blocks of Information Systems. | Amlcar Sernadas, Jos Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich |
| 1987 | BTW | Regelorientierte Erzeugung von Karten-Entwrfen auf geowissenschaftlichen Datenbanken. | Michael Drawin, Karl Neumann, Hans-Dieter Ehrich |
| 1987 | VLDB | Object-Oriented Specification of Databases: An Algebraic Approach. | Amlcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich |
| 1986 | DS | Towards an Algebraic Semantics for Database Specification. | Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla |
| 1984 | VLDB | Specification, Semantics, and Enforcement of Dynamic Database Constraints. | Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla |
| 1981 | FCT | Specifying Algebraic Data Types by Domain Equations. | Hans-Dieter Ehrich |
| 1981 | MFCS | On Realization and Implementation. | Hans-Dieter Ehrich |
| 1978 | MFCS | Extensions and Implementations of Abstract Data Type Specifications. | Hans-Dieter Ehrich |
| 1977 | FCT | Algebraic Semantics of Type Definitions and Structured Variables. | Hans-Dieter Ehrich |
| 1976 | ICALP | Outline of an Algebraic Theory of Structured Objects. | Hans-Dieter Ehrich |
| 1976 | MFCS | An Axiomatic Approach to Information Structures. | Hans-Dieter Ehrich |
| 1975 | WG | Ein axiomatischer Ansatz fr eine Algebra strukturierter Objekte. | Hans-Dieter Ehrich |
| 1973 | GI | Datenstrukturen und Q-Systeme - Eine Mathematische Studie. | Hans-Dieter Ehrich |