 | 2008 |
|---|
| 73 |       | Yuen Man Hon,
Jan-Tecker Gayen,
Hans-Dieter Ehrich:
OOLH: A Formal Framework for Specifying System Requirements.
SIGSAND-EUROPE 2008: 75-78 |
| 2006 |
|---|
| 72 |  | Hans-Dieter Ehrich,
Silke Eckstein,
Brigitte Mathiak,
Andreas Kupfer,
Claudia Täubner:
Bioinformatik: Erkenntnisse aus der Datenflut?
Grundlagen von Datenbanken 2006: 13-32 |
| 71 | | Hans-Dieter Ehrich,
Klaus-Dieter Schewe,
T. H. Tse:
Editorial.
Journal of Systems and Software 79(5): 575-576 (2006) |
| 2005 |
|---|
| 70 | | 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) |
| 2004 |
|---|
| 69 | | Mark Dermot Ryan,
John-Jules Ch. Meyer,
Hans-Dieter Ehrich:
Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers
Springer 2004 |
| 68 | | Huimin Lin,
Hans-Dieter Ehrich,
T. H. Tse:
Editorial.
Information & Software Technology 46(15): 987-988 (2004) |
| 2003 |
|---|
| 67 | | John-Jules Ch. Meyer,
Mark Dermot Ryan,
Hans-Dieter Ehrich:
Objects, Agents, and Features: An Introduction.
Objects, Agents, and Features 2003: 1-7 |
| 66 | | Hans-Dieter Ehrich,
Maik Kollmann,
Ralf Pinger:
Checking Object System Designs Incrementally.
J. UCS 9(2): 106-119 (2003) |
| 2001 |
|---|
| 65 | | Ralf Pinger,
Hans-Dieter Ehrich:
Compositional Checking of Communication among Observers.
FASE 2001: 32-44 |
| 2000 |
|---|
| 64 | | Hans-Dieter Ehrich,
Carlos Caleiro:
Specifying Communication in Distributed Information Systems.
Acta Inf. 36(8): 591-616 (2000) |
| 1998 |
|---|
| 63 | | 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 |
| 62 | | 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 |
| 1997 |
|---|
| 61 | | 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) |
| 1996 |
|---|
| 60 | | 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 |
| 1995 |
|---|
| 59 | | 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 |
| 58 | | Stefan Conrad,
Grit Denker,
Martin Gogolla,
Rudolf Herzig,
Nikolaos Vlachantonis,
Hans-Dieter Ehrich:
Entwicklung zuverlässiger Informationssysteme.
EMISA Forum 5(2): 25-33 (1995) |
| 1994 |
|---|
| 57 | | Hans-Dieter Ehrich,
Amílcar Sernadas:
Local Specification of Distributed Families of Sequential Objects.
COMPASS/ADT 1994: 219-235 |
| 56 | | Hans-Dieter Ehrich:
Modulare Semantik für nebenläfige Familien sequentieller Objekte.
Grundlagen von Datenbanken 1994: 45 |
| 1993 |
|---|
| 55 | | Nikolaos Vlachantonis,
Rudolf Herzig,
Martin Gogolla,
Grit Denker,
Stefan Conrad,
Hans-Dieter Ehrich:
Towards Reliable Information Systems: The KorSo Approach
CAiSE 1993: 463-482 |
| 54 | | 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 |
| 53 | | 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 |
| 52 | | 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 |
| 51 | | Hans-Dieter Ehrich,
Grit Denker,
Amílcar Sernadas:
Constructing Systems as Object Communities.
TAPSOFT 1993: 453-467 |
| 1992 |
|---|
| 50 | | Hans-Dieter Ehrich,
Gunter Saake,
Amílcar Sernadas:
Concepts of Object-Orientation.
IS/KI 1992: 1-19 |
| 49 | | José Félix Costa,
Amílcar Sernadas,
Cristina Sernadas,
Hans-Dieter Ehrich:
Object Interaction.
MFCS 1992: 200-208 |
| 48 | | Thorsten Hartmann,
Ralf Jungclaus,
Gunter Saake,
Hans-Dieter Ehrich:
Spezifikation von Objektsystemen.
Objektbanken für Experten 1992: 220-242 |
| 47 | | 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) |
| 1991 |
|---|
| 46 | | Hans-Dieter Ehrich,
Martin Gogolla,
Amílcar Sernadas:
Objects and their Specification.
COMPASS/ADT 1991: 40-65 |
| 45 | | Gunter Saake,
Ralf Jungclaus,
Hans-Dieter Ehrich:
Object-Oriented Specification and Stepwise Refinement.
Open Distributed Processing 1991: 99-121 |
| 1990 |
|---|
| 44 | | Amílcar Sernadas,
Hans-Dieter Ehrich:
What is an Object, After All?
DS-4 1990: 39-69 |
| 43 | | Hans-Dieter Ehrich,
Joseph A. Goguen,
Amílcar Sernadas:
A Categorial Theory of Objects as Observed Processes.
REX Workshop 1990: 203-228 |
| 42 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
From Data Types to Object Types.
Elektronische Informationsverarbeitung und Kybernetik 26(1/2): 33-48 (1990) |
| 1989 |
|---|
| 41 | | Friedrich Lohmann,
Karl Neumann,
Hans-Dieter Ehrich:
Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen.
BTW 1989: 43-57 |
| 40 | | Hans-Dieter Ehrich:
Objekt-orientierter Entwurf von Informationssystmenen: Das IS-CORE Projekt.
Grundlagen von Datenbanken 1989 |
| 39 | | Hans-Dieter Ehrich,
Amílcar Sernadas:
Algebraic Implementation of Objects over Objects.
REX Workshop 1989: 239-266 |
| 1988 |
|---|
| 38 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
Objects and Object Types.
ADT 1988 |
| 37 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
Objects, Object Types, and Object Identification.
Categorial Methods in Computer Science 1988: 142-156 |
| 36 | | Hans-Dieter Ehrich,
Amílcar Sernadas,
Cristina Sernadas:
Abstract Object Types for Databases.
OODBS 1988: 144-149 |
| 1987 |
|---|
| 35 | | Michael Drawin,
Karl Neumann,
Hans-Dieter Ehrich:
Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken.
BTW 1987: 231-246 |
| 34 | | Uwe Hohenstein,
Leonore Neugebauer,
Gunter Saake,
Hans-Dieter Ehrich:
Three-Level-Specification of Databases using an extended Entity-Relationship Model.
EMISA 1987: 58-88 |
| 33 | | Amílcar Sernadas,
José Luiz Fiadeiro,
Cristina Sernadas,
Hans-Dieter Ehrich:
Abstract Object Types: A Temporal Perspective.
Temporal Logic in Specification 1987: 324-350 |
| 32 | | Amílcar Sernadas,
Cristina Sernadas,
Hans-Dieter Ehrich:
Object-Oriented Specification of Databases: An Algebraic Approach.
VLDB 1987: 107-116 |
| 1986 |
|---|
| 31 | | Hans-Dieter Ehrich:
Towards an Algebraic Semantics for Databases.
ADT 1986 |
| 30 | | Hans-Dieter Ehrich,
Klaus Drosten,
Martin Gogolla:
Towards an Algebraic Semantics for Database Specification.
DS-2 1986: 119-135 |
| 1985 |
|---|
| 29 | | Hans-Dieter Ehrich:
Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics.
CTCS 1985: 412-433 |
| 28 | | Udo W. Lipeck,
Hans-Dieter Ehrich,
Martin Gogolla:
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic.
TFAIS 1985: 145-157 |
| 1984 |
|---|
| 27 | | Hans-Dieter Ehrich:
GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings
Springer 1984 |
| 26 | | Hans-Dieter Ehrich:
Fachgespräche auf der 14. GI-Jahrestagung, Braunschweig, 1.-2. Oktober 1984, Proceedings
Springer 1984 |
| 25 | | Hans-Dieter Ehrich:
Algebraic (?) Specification of Conceptual Database Schemata.
ADT 1984: 22-27 |
| 24 | | Hans-Dieter Ehrich,
Udo W. Lipeck,
Martin Gogolla:
Specification, Semantics, and Enforcement of Dynamic Database Constraints.
VLDB 1984: 301-308 |
| 23 | | 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) |
| 1983 |
|---|
| 22 | | Udo W. Lipeck,
Hans-Dieter Ehrich:
Algebraic Specifications of Database Constraints.
ADT 1983 |
| 21 | | Martin Gogolla,
Klaus Drosten,
Udo W. Lipeck,
Hans-Dieter Ehrich:
Algebraic and operational semantics of exceptions and errors.
Theoretical Computer Science 1983: 141-151 |
| 20 | | 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) |
| 19 | | Martin Gogolla,
Hans-Dieter Ehrich:
Algebraic Specification with subsorts using declarations.
Bulletin of the EATCS 21: 31-38 (1983) |
| 18 | | Hans-Dieter Ehrich,
Udo W. Lipeck:
Algebraic Domain Equations.
Theor. Comput. Sci. 27: 167-196 (1983) |
| 1982 |
|---|
| 17 | | Hans-Dieter Ehrich:
Algebraic Domain Equations.
ADT 1982 |
| 16 | | Hans-Dieter Ehrich:
Operational Aspects of Algebraic Specifications.
ADT 1982 |
| 15 | | Hans-Dieter Ehrich:
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types.
J. ACM 29(1): 206-227 (1982) |
| 1981 |
|---|
| 14 | | Hans-Dieter Ehrich:
Specifying Algebraic Data Types by Domain Equations.
FCT 1981: 120-129 |
| 13 | | Hans-Dieter Ehrich:
On Realization and Implementation.
MFCS 1981: 271-280 |
| 1980 |
|---|
| 12 | | Hans-Dieter Ehrich,
Udo W. Lipeck:
Proving Implementations Correct - Two Alternative Approaches.
IFIP Congress 1980: 83-88 |
| 1978 |
|---|
| 11 | | 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 |
| 10 | | Hans-Dieter Ehrich:
Extensions and Implementations of Abstract Data Type Specifications.
MFCS 1978: 155-164 |
| 1977 |
|---|
| 9 | | Hans-Dieter Ehrich:
Algebraic Semantics of Type Definitions and Structured Variables.
FCT 1977: 84-97 |
| 1976 |
|---|
| 8 | | Hans-Dieter Ehrich:
Outline of an Algebraic Theory of Structured Objects.
ICALP 1976: 508-530 |
| 7 | | Hans-Dieter Ehrich:
An Axiomatic Approach to Information Structures.
MFCS 1976: 277-283 |
| 6 | | Hans-Dieter Ehrich,
Witold Lipski Jr.:
On the Storage Space Requirement of Consecutive Retrieval with Redundancy.
Inf. Process. Lett. 4(4): 101-104 (1976) |
| 1974 |
|---|
| 5 | | Hans-Dieter Ehrich:
Theory of Direct-Access Storage Functions.
IFIP Congress 1974: 647-651 |
| 4 | | Hans-Dieter Ehrich:
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata
Acta Inf. 4: 201-211 (1974) |
| 3 | | Hans-Dieter Ehrich:
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme
Acta Inf. 4: 299-310 (1974) |
| 1973 |
|---|
| 2 | | Hans-Dieter Ehrich:
Datenstrukturen und Q-Systeme - Eine Mathematische Studie.
GI Jahrestagung 1973: 363-371 |
| 1 | | Hans-Dieter Ehrich:
Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen
Acta Inf. 2: 172-179 (1973) |
