dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Hans-Dieter Ehrich Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Juliana Küster Filipe Bowles (Juliana Küster Filipe) [65]
2Carlos Caleiro [64] [66]
3Stefan Conrad [53] [56] [59]
4José Félix Costa [50]
5Grit Denker [52] [53] [55] [56] [59] [60] [61] [63] [64]
6Michael Drawin [35]
7Klaus Drosten [21] [23] [30]
8Silke Eckstein [65] [74]
9Gregor Engels [20] [48]
10José Luiz Fiadeiro [33]
11Jan-Tecker Gayen [75]
12Carola Gerke [60]
13Martin Gogolla [19] [21] [23] [24] [28] [30] [42] [47] [48] [53] [56] [59] [60]
14Joseph A. Goguen [44]
15Antonio Grau [65]
16Wolfgang Grieskamp [60]
17Peter Hartel [61] [63]
18Thorsten Hartmann [49] [54]
19Rudolf Herzig [53] [56] [59] [60]
20Uwe Hohenstein [34] [48]
21Yuen Man Hon [75]
22Klaus Hülsmann [48]
23Ralf Jungclaus [46] [49] [54] [55]
24Maik Kollmann [68]
25Mojgan Kowsari [61] [63] [65]
26Maren Krone [61] [63]
27Andreas Kupfer [74]
28Huimin Lin [70]
29Udo W. Lipeck [12] [18] [21] [22] [23] [24] [28] [42]
30Witold Lipski Jr. [6]
31Jacques Loeckx [62]
32V. G. Lohberger [11]
33Friedrich Lohmann [41]
34Perdita Löhr (Perdita Löhr-Richter) [48]
35Brigitte Mathiak [74]
36John-Jules Ch. Meyer [69] [71]
37Leonore Neugebauer [34]
38Karl Neumann [35] [41]
39Ernst-Rüdiger Olderog [60]
40Olivera Pavlovic [77]
41Ralf Pinger [65] [67] [68]
42Udo Pletat [20]
43Franz Regensburger [60]
44Mark Ryan (Mark Dermot Ryan) [69] [71]
45Gunter Saake [34] [46] [48] [49] [51] [54]
46Klaus-Dieter Schewe [73]
47Amílcar Sernadas [32] [33] [36] [37] [38] [39] [43] [44] [45] [47] [50] [51] [52] [55] [58] [64]
48Cristina Sernadas [32] [33] [36] [37] [38] [43] [50]
49Claudia Täubner [74]
50T. H. Tse [70] [73]
51Nikolaos Vlachantonis [53] [56] [59]
52Markus Wolf [62]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page