Hans-Dieter Ehrich

According to our database1, Hans-Dieter Ehrich authored at least 79 papers between 1972 and 2012.

Collaborative distances:



In proceedings 
PhD thesis 



On csauthors.net:


Datenbanken und Informationssysteme.
Proceedings of the 40 Jahre Informatik an der Technischen Universität Braunschweig, 1972, 2012

My ADT Shrine.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Model Checking PLC Software Written in Function Block Diagram.
Proceedings of the Third International Conference on Software Testing, 2010

OOLH: A Formal Framework for Specifying System Requirements.
Proceedings of the SIGSAND-EUROPE 2008: Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems, June 12, 2008

Journal of Systems and Software, 2006

Bioinformatik: Erkenntnisse aus der Datenflut?
Proceedings of the Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), 2006

Harmonizing intra- and inter-object specification and verification: a multi-object logics approach.
ACM SIGSOFT Software Engineering Notes, 2005

Information & Software Technology, 2004

Checking Object System Designs Incrementally.
J. UCS, 2003

Objects, Agents, and Features: An Introduction.
Proceedings of the Objects, 2003

Compositional Checking of Communication among Observers.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Specifying Communication in Distributed Information Systems.
Acta Inf., 2000

Object Specification.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools.
Proceedings of the Conceptual Modeling, 1998

Logics for Specifying Concurrent Information Systems.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

Information Systems Modelling with TROLL Formal Methods at Work.
Inf. Syst., 1997

Developing an Information System Using TROLL: An Application Field Study.
Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

Specification of abstract data types.
Wiley, ISBN: 978-0-471-95067-7, 1996

Entwicklung zuverlässiger Informationssysteme.
EMISA Forum, 1995

Korso Reference Languages - Concepts and Application Domains.
Proceedings of the KORSO, 1995

Modulare Semantik für nebenläfige Familien sequentieller Objekte.
Grundlagen von Datenbanken, 1994

Local Specification of Distributed Families of Sequential Objects.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

Constructing Systems as Object Communities.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Zur Entwicklung zuverlässiger Informationssysteme in KorSo.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Object-Oriented Design of Information Systems: TROLL Language Features.
CISM - Advances in Database Systems, 1993

Object-Oriented Design of Information Systems: Theoretical Foundations.
CISM - Advances in Database Systems, 1993

Towards Reliable Information Systems: The KorSo Approach
Proceedings of the Advanced Information Systems Engineering, 1993

Conceptual modelling of database applications using extended ER model.
Data Knowl. Eng., 1992

Spezifikation von Objektsystemen.
Objektbanken für Experten, 1992

Object Interaction.
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Concepts of Object-Orientation.
Proceedings of the Informationssysteme und Künstliche Intelligenz: Modellierung, 1992

Object-Oriented Specification and Stepwise Refinement.
Proceedings of the Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, 1991

Objects and their Specification.
Proceedings of the Recent Trends in Data Type Specification, 1991

From Data Types to Object Types.
Elektronische Informationsverarbeitung und Kybernetik, 1990

A Categorial Theory of Objects as Observed Processes.
Proceedings of the Foundations of Object-Oriented Languages, 1990

What is an Object, After All?
Proceedings of the Object-Oriented Databases: Analysis, 1990

Algebraic Implementation of Objects over Objects.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

The Basic Building Blocks of Information Systems.
Proceedings of the Information System Concepts: An In-depth Analysis, 1989

Objekt-orientierter Entwurf von Informationssystmenen: Das IS-CORE Projekt.
Grundlagen von Datenbanken, 1989

Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen.
Proceedings of the Datenbanksysteme in Büro, 1989

Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie.
Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02266-4, 1989

Abstract Object Types for Databases.
Proceedings of the Advances in Object-Oriented Database Systems, 1988

Objects, Object Types, and Object Identification.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Objects and Object Types.
ADT, 1988

Object-Oriented Specification of Databases: An Algebraic Approach.
Proceedings of the VLDB'87, 1987

Abstract Object Types: A Temporal Perspective.
Proceedings of the Temporal Logic in Specification, 1987

Three-Level-Specification of Databases using an extended Entity-Relationship Model.
Proceedings of the Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, 1987

Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken.
Proceedings of the Datenbanksysteme in Büro, 1987

Towards an Algebraic Semantics for Database Specification.
Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

Towards an Algebraic Semantics for Databases.
ADT, 1986

Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic.
TFAIS, 1985

Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics.
Proceedings of the Category Theory and Computer Programming, 1985

Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.
Theor. Comput. Sci., 1984

Specification, Semantics, and Enforcement of Dynamic Database Constraints.
Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

Algebraic (?) Specification of Conceptual Database Schemata.
Proceedings of the Recent Trends in Data Type Specification, 1984

Algebraic Domain Equations.
Theor. Comput. Sci., 1983

Algebraic Specification with subsorts using declarations.
Bulletin of the EATCS, 1983

An Operational Semantics for Specifications of Abstract Data Types with Error Handling.
Acta Inf., 1983

Algebraic and operational semantics of exceptions and errors.
Proceedings of the Theoretical Computer Science, 1983

Algebraic Specifications of Database Constraints.
ADT, 1983

On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types.
J. ACM, 1982

Algebraic Domain Equations.
ADT, 1982

Operational Aspects of Algebraic Specifications.
ADT, 1982

On Realization and Implementation.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Specifying Algebraic Data Types by Domain Equations.
Proceedings of the Fundamentals of Computation Theory, 1981

Proving Implementations Correct - Two Alternative Approaches.
IFIP Congress, 1980

Extensions and Implementations of Abstract Data Type Specifications.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Constructive Specifications of Abstract Data Types by Replacements.
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978

Algebraic Semantics of Type Definitions and Structured Variables.
FCT, 1977

On the Storage Space Requirement of Consecutive Retrieval with Redundancy.
Inf. Process. Lett., 1976

An Axiomatic Approach to Information Structures.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

Outline of an Algebraic Theory of Structured Objects.
Proceedings of the Third International Colloquium on Automata, 1976

Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte.
Proceedings of the 1. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science), 1975

Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme.
Acta Inf., 1974

Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata.
Acta Inf., 1974

Theory of Direct-Access Storage Functions.
IFIP Congress, 1974

Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen
Acta Inf., 1973

Datenstrukturen und Q-Systeme - Eine Mathematische Studie.
Proceedings of the Gesellschaft für Informatik e.V., 1973

A Note on State Minimization of a Special Class of Incomplete Sequential Machines.
IEEE Trans. Computers, 1972