Hans-Dieter Ehrich

Publication Activity (10 Years)

Years Active: 1972-2012
Publications (10 Years): 0

Publications

Günther Stiege, Hans-Dieter Ehrich, Wolf-Tilo Balke
Datenbanken und Informationssysteme. 40 Jahre Informatik @ Braunschweig (2012)
Olivera Pavlovic, Hans-Dieter Ehrich
Model Checking PLC Software Written in Function Block Diagram. ICST (2010)
Hans-Dieter Ehrich
My ADT Shrine. WADT (2010)
Yuen Man Hon, Jan-Tecker Gayen, Hans-Dieter Ehrich
OOLH: A Formal Framework for Specifying System Requirements. SIGSAND-EUROPE (2008)
Hans-Dieter Ehrich, Klaus-Dieter Schewe, T. H. Tse
Editorial. J. Syst. Softw. 79 (5) (2006)
Hans-Dieter Ehrich, Silke Eckstein, Brigitte Mathiak, Andreas Kupfer, Claudia Täubner
Bioinformatik: Erkenntnisse aus der Datenflut? Grundlagen von Datenbanken (2006)
Hans-Dieter Ehrich
Harmonizing intra- and inter-object specification and verification: a multi-object logics approach. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Huimin Lin, Hans-Dieter Ehrich, T. H. Tse
Editorial. Inf. Softw. Technol. 46 (15) (2004)
Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
Checking Object System Designs Incrementally. J. Univers. Comput. Sci. 9 (2) (2003)
John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich
Objects, Agents, and Features: An Introduction. Objects, Agents, and Features (2003)
Ralf Pinger, Hans-Dieter Ehrich
Compositional Checking of Communication among Observers. FASE (2001)
Hans-Dieter Ehrich, Carlos Caleiro
Specifying Communication in Distributed Information Systems. Acta Informatica 36 (8) (2000)
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)
Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker
Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems (1998)
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) (1997)
Maren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich
Developing an Information System Using TROLL: An Application Field Study. CAiSE (1996)
Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich
Entwicklung zuverlässiger Informationssysteme. EMISA Forum 5 (2) (1995)
Hans-Dieter Ehrich
Modulare Semantik für nebenläfige Familien sequentieller Objekte. Grundlagen von Datenbanken (1994)
Hans-Dieter Ehrich, Amílcar Sernadas
Local Specification of Distributed Families of Sequential Objects. COMPASS/ADT (1994)
Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich
Towards Reliable Information Systems: The KorSo Approach CAiSE (1993)
Gunter Saake, Thorsten Hartmann, Ralf Jungclaus, Hans-Dieter Ehrich
Object-Oriented Design of Information Systems: TROLL Language Features. CISM - Advances in Database Systems (1993)
Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas
Constructing Systems as Object Communities. TAPSOFT (1993)
Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas
Object-Oriented Design of Information Systems: Theoretical Foundations. CISM - Advances in Database Systems (1993)
Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich
Zur Entwicklung zuverlässiger Informationssysteme in KorSo. GI Jahrestagung (1993)
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 (1992)
Hans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas
Concepts of Object-Orientation. IS/KI (1992)
José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
Object Interaction. MFCS (1992)
Thorsten Hartmann, Ralf Jungclaus, Gunter Saake, Hans-Dieter Ehrich
Spezifikation von Objektsystemen. Objektbanken für Experten (1992)
Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas
Objects and their Specification. COMPASS/ADT (1991)
Gunter Saake, Ralf Jungclaus, Hans-Dieter Ehrich
Object-Oriented Specification and Stepwise Refinement. Open Distributed Processing (1991)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
From Data Types to Object Types. J. Inf. Process. Cybern. 26 (1/2) (1990)
Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas
A Categorial Theory of Objects as Observed Processes. REX Workshop (1990)
Amílcar Sernadas, Hans-Dieter Ehrich
What is an Object, After All? DS-4 (1990)
Hans-Dieter Ehrich, Amílcar Sernadas
Algebraic Implementation of Objects over Objects. REX Workshop (1989)
Friedrich Lohmann, Karl Neumann, Hans-Dieter Ehrich
Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen. BTW (1989)
Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
The Basic Building Blocks of Information Systems. ISCO (1989)
Hans-Dieter Ehrich
Objekt-orientierter Entwurf von Informationssystmenen: Das IS-CORE Projekt. Grundlagen von Datenbanken (1989)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
Objects, Object Types, and Object Identification. Categorial Methods in Computer Science (1988)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
Objects and Object Types. ADT (1988)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
Abstract Object Types for Databases. OODBS (1988)
Michael Drawin, Karl Neumann, Hans-Dieter Ehrich
Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken. BTW (1987)
Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
Object-Oriented Specification of Databases: An Algebraic Approach. VLDB (1987)
Uwe Hohenstein, Leonore Neugebauer, Gunter Saake, Hans-Dieter Ehrich
Three-Level-Specification of Databases using an extended Entity-Relationship Model. EMISA (1987)
Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification (1987)
Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla
Towards an Algebraic Semantics for Database Specification. DS-2 (1986)
Hans-Dieter Ehrich
Towards an Algebraic Semantics for Databases. ADT (1986)
Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. TFAIS (1985)
Hans-Dieter Ehrich
Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. CTCS (1985)
Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theor. Comput. Sci. 34 (1984)
Hans-Dieter Ehrich
Algebraic (?) Specification of Conceptual Database Schemata. ADT (1984)
Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla
Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB (1984)
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)
Gregor Engels, Udo Pletat, Hans-Dieter Ehrich
An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica 19 (1983)
Martin Gogolla, Hans-Dieter Ehrich
Algebraic Specification with subsorts using declarations. Bull. EATCS 21 (1983)
Hans-Dieter Ehrich, Udo W. Lipeck
Algebraic Domain Equations. Theor. Comput. Sci. 27 (1983)
Hans-Dieter Ehrich
Operational Aspects of Algebraic Specifications. ADT (1982)
Hans-Dieter Ehrich
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types. J. ACM 29 (1) (1982)
Hans-Dieter Ehrich
Algebraic Domain Equations. ADT (1982)
Hans-Dieter Ehrich
Specifying Algebraic Data Types by Domain Equations. FCT (1981)
Hans-Dieter Ehrich
On Realization and Implementation. MFCS (1981)
Hans-Dieter Ehrich, Udo W. Lipeck
Proving Implementations Correct - Two Alternative Approaches. IFIP Congress (1980)
Hans-Dieter Ehrich
Extensions and Implementations of Abstract Data Type Specifications. MFCS (1978)
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)
Hans-Dieter Ehrich
Algebraic Semantics of Type Definitions and Structured Variables. FCT (1977)
Hans-Dieter Ehrich
Outline of an Algebraic Theory of Structured Objects. ICALP (1976)
Hans-Dieter Ehrich
An Axiomatic Approach to Information Structures. MFCS (1976)
Hans-Dieter Ehrich, Witold Lipski Jr.
On the Storage Space Requirement of Consecutive Retrieval with Redundancy. Inf. Process. Lett. 4 (4) (1976)
Hans-Dieter Ehrich
Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte. WG (1975)
Hans-Dieter Ehrich
Theory of Direct-Access Storage Functions. IFIP Congress (1974)
Hans-Dieter Ehrich
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata. Acta Informatica 4 (1974)
Hans-Dieter Ehrich
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme. Acta Informatica 4 (1974)
Hans-Dieter Ehrich
Datenstrukturen und Q-Systeme - Eine Mathematische Studie. GI Jahrestagung (1973)
Hans-Dieter Ehrich
Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen Acta Informatica 2 (1973)
Hans-Dieter Ehrich
A Note on State Minimization of a Special Class of Incomplete Sequential Machines. IEEE Trans. Computers 21 (5) (1972)