Hans-Dieter Ehrich

According to our database1, Hans-Dieter Ehrich
  • authored at least 78 papers between 1972 and 2012.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

2010
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

2008
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

2006
Editorial.
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

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

2004
Editorial.
Information & Software Technology, 2004

2003
Checking Object System Designs Incrementally.
J. UCS, 2003

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

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

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

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

1998
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

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

1996
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

1995
Entwicklung zuverlässiger Informationssysteme.
EMISA Forum, 1995

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

1994
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

1993
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

1992
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

1991
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

1990
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

1989
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

1988
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

1987
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

1986
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

1985
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

1984
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

1983
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

1982
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

1981
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

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

1978
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, International Workshop, Bad Honnef, October 30, 1978

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

1976
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.
ICALP, 1976

1974
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

1973
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

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


  Loading...