Hans-Dieter Ehrich

Olivera Pavlovic, Hans-Dieter Ehrich: Model Checking PLC Software Written in Function Block Diagram. ICST 2010: 439-448

Hans-Dieter Ehrich: My ADT Shrine. WADT 2010: 13-24

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

Hans-Dieter Ehrich, Klaus-Dieter Schewe, T. H. Tse: Editorial. Journal of Systems and Software 79(5): 575-576 (2006)

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

Hans-Dieter Ehrich: Harmonizing intra- and inter-object specification and verification: a multi-object logics approach. ACM SIGSOFT Software Engineering Notes 30(4): 1 (2005)

Huimin Lin, Hans-Dieter Ehrich, T. H. Tse: Editorial. Information & Software Technology 46(15): 987-988 (2004)

Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (Eds.): Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers. Lecture Notes in Computer Science 2975, Springer 2004, isbn 3-540-21989-7

Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger: Checking Object System Designs Incrementally. J. UCS 9(2): 106-119 (2003)

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

Ralf Pinger, Hans-Dieter Ehrich: Compositional Checking of Communication among Observers. FASE 2001: 32-44

Hans-Dieter Ehrich, Carlos Caleiro: Specifying Communication in Distributed Information Systems. Acta Inf. 36(8): 591-616 (2000)

Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker: Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems 1998: 167-198

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

Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich: Information Systems Modelling with TROLL Formal Methods at Work. Inf. Syst. 22(2/3): 79-99 (1997)

Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf: Specification of abstract data types. Wiley 1996, isbn 978-0-471-95067-7, pp. I-XI, 1-360

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

Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Entwicklung zuverlässiger Informationssysteme. EMISA Forum 5(2): 25-33 (1995)

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

Hans-Dieter Ehrich, Amílcar Sernadas: Local Specification of Distributed Families of Sequential Objects. COMPASS/ADT 1994: 219-235

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

Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich: Towards Reliable Information Systems: The KorSo Approach. CAiSE 1993: 463-482

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

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

Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich: Zur Entwicklung zuverlässiger Informationssysteme in KorSo. GI Jahrestagung 1993: 464-469

Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas: Constructing Systems as Object Communities. TAPSOFT 1993: 453-467

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

Hans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas: Concepts of Object-Orientation. IS/KI 1992: 1-19

José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object Interaction. MFCS 1992: 200-208

Thorsten Hartmann, Ralf Jungclaus, Gunter Saake, Hans-Dieter Ehrich: Spezifikation von Objektsystemen. Objektbanken für Experten 1992: 220-242

Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas: Objects and their Specification. COMPASS/ADT 1991: 40-65

Gunter Saake, Ralf Jungclaus, Hans-Dieter Ehrich: Object-Oriented Specification and Stepwise Refinement. Open Distributed Processing 1991: 99-121

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas: From Data Types to Object Types. Elektronische Informationsverarbeitung und Kybernetik 26(1/2): 33-48 (1990)

Amílcar Sernadas, Hans-Dieter Ehrich: What is an Object, After All? DS-4 1990: 39-69

Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas: A Categorial Theory of Objects as Observed Processes. REX Workshop 1990: 203-228

Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck: Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie. Leitfäden und Monographien der Informatik, Teubner 1989, isbn 978-3-519-02266-4, pp. I-IX, 1-263

Friedrich Lohmann, Karl Neumann, Hans-Dieter Ehrich: Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen. BTW 1989: 43-57

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

Hans-Dieter Ehrich, Amílcar Sernadas: Algebraic Implementation of Objects over Objects. REX Workshop 1989: 239-266

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

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas: Objects, Object Types, and Object Identification. Categorial Methods in Computer Science 1988: 142-156

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas: Abstract Object Types for Databases. OODBS 1988: 144-149

Michael Drawin, Karl Neumann, Hans-Dieter Ehrich: Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken. BTW 1987: 231-246

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

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

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

Hans-Dieter Ehrich: Towards an Algebraic Semantics for Databases. ADT 1986

Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla: Towards an Algebraic Semantics for Database Specification. DS-2 1986: 119-135

Hans-Dieter Ehrich: Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. CTCS 1985: 412-433

Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. TFAIS 1985: 145-157

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

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

Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308

Hans-Dieter Ehrich (Ed.): GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings. Informatik-Fachberichte 88, Springer 1984, isbn 3-540-13861-7

Hans-Dieter Ehrich (Ed.): Fachgespräche auf der 14. GI-Jahrestagung, Braunschweig, 1.-2. Oktober 1984, Proceedings. Informatik-Fachberichte 89, Springer 1984, isbn 3-540-13862-5

Gregor Engels, Udo Pletat, Hans-Dieter Ehrich: An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Inf. 19: 235-253 (1983)

Martin Gogolla, Hans-Dieter Ehrich: Algebraic Specification with subsorts using declarations. Bulletin of the EATCS 21: 31-38 (1983)

Hans-Dieter Ehrich, Udo W. Lipeck: Algebraic Domain Equations. Theor. Comput. Sci. 27: 167-196 (1983)

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

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

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

Hans-Dieter Ehrich: Operational Aspects of Algebraic Specifications. ADT 1982

Hans-Dieter Ehrich: Algebraic Domain Equations. ADT 1982

Hans-Dieter Ehrich: Specifying Algebraic Data Types by Domain Equations. FCT 1981: 120-129

Hans-Dieter Ehrich: On Realization and Implementation. MFCS 1981: 271-280

Hans-Dieter Ehrich, Udo W. Lipeck: Proving Implementations Correct - Two Alternative Approaches. IFIP Congress 1980: 83-88

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

Hans-Dieter Ehrich: Extensions and Implementations of Abstract Data Type Specifications. MFCS 1978: 155-164

Hans-Dieter Ehrich: Algebraic Semantics of Type Definitions and Structured Variables. FCT 1977: 84-97

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

Hans-Dieter Ehrich: Outline of an Algebraic Theory of Structured Objects. ICALP 1976: 508-530

Hans-Dieter Ehrich: An Axiomatic Approach to Information Structures. MFCS 1976: 277-283

Hans-Dieter Ehrich: Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata. Acta Inf. 4: 201-211 (1974)

Hans-Dieter Ehrich: Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme. Acta Inf. 4: 299-310 (1974)

Hans-Dieter Ehrich: Theory of Direct-Access Storage Functions. IFIP Congress 1974: 647-651

Hans-Dieter Ehrich: Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen. Acta Inf. 2: 172-179 (1973)

Hans-Dieter Ehrich: Datenstrukturen und Q-Systeme - Eine Mathematische Studie. GI Jahrestagung 1973: 363-371