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 | EE | Hans-Dieter Ehrich,
Silke Eckstein,
Brigitte Mathiak,
Andreas Kupfer,
Claudia Täubner:
Bioinformatik: Erkenntnisse aus der Datenflut?
Grundlagen von Datenbanken 2006: 13-32 |
71 | EE | Hans-Dieter Ehrich,
Klaus-Dieter Schewe,
T. H. Tse:
Editorial.
Journal of Systems and Software 79(5): 575-576 (2006) |
2005 |
70 | EE | 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 | EE | John-Jules Ch. Meyer,
Mark Dermot Ryan,
Hans-Dieter Ehrich:
Objects, Agents, and Features: An Introduction.
Objects, Agents, and Features 2003: 1-7 |
66 | EE | Hans-Dieter Ehrich,
Maik Kollmann,
Ralf Pinger:
Checking Object System Designs Incrementally.
J. UCS 9(2): 106-119 (2003) |
2001 |
65 | EE | Ralf Pinger,
Hans-Dieter Ehrich:
Compositional Checking of Communication among Observers.
FASE 2001: 32-44 |
2000 |
64 | EE | Hans-Dieter Ehrich,
Carlos Caleiro:
Specifying Communication in Distributed Information Systems.
Acta Inf. 36(8): 591-616 (2000) |
1998 |
63 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |