The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hans-Dieter Ehrich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  69. Model Checking PLC Software Written in Function Block Diagram. [Citation Graph (, )][DBLP]


  70. OOLH: A Formal Framework for Specifying System Requirements. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002