Hans-Dieter Ehrich


Prof. em. Dr. Hans-Dieter Ehrich


Technische Universität Braunschweig
Institut für Informationssysteme
Mühlenpfordtstraße 23, 2.OG
D-38106 Braunschweig Deutschland

Phone: +49 (531) 391 3267
Email: HD.Ehrich@tu-bs.de
Room: 235


Research interests - information systems  modeling, design, specification, implementation and checking; definition and implementation of the modeling and design language TROLL; theoretical foundations: temporal logic, (multi-)object logic, distributed model checking; among others.
Application projects - bioinformatic databases and modeling; specification, design and checking of railway interlocking systems; integrated specification of a train control system; several others.

Courses - undergratuates: algorithms and data structures; graduates: database systems, information systems design, conceptual modeling of information systems, transaction processing, digital libraries, managing data in bioinformatics.

Professional CV- 1967-71 research and teaching assistent,  U Hannover; 1967-71 research and teaching assistent,  U Kiel; 1974-82 professor of theoretical computer science, U Dortmund; 1979-80 dean of the faculty; 1982-2007 professor of databases and information systems, TU Braunschweig; 1997-99 dean of the faculty; since 2007 emeritus.

Science Organization - 1998-2005 chairman of the advisory board (Beirat) of the Minerva Center "Verification of Reactive Systems" at the Weizmann Institute in Rehovot, Israel. Member of the editorial board of the "Journal of Logic in Computer Science", Oxford University Press. 1992-2000 member of the inspection and advisory board (Fachbeirat) of the Max-Planck-Institut für Informatik in Saarbrücken. 1997-2000 coordinator of the EU ESPRIT 4 Working Group 22704 ASPIRE. Organizer, Coorganizer, member of program committee, member of steering committee etc. of many conferences and workshops.

Memberships - IFIP Working Group 3.1 (Foundations of System Specification), since 1992; IFIP Working Group 2.6 (Databases), 1985-96; GI Fachausschuss 2.5 (Rechnergestützte Informations-systeme), 1987-98; ISO TC 96 SC 5 WG 3 (Conceptual Model), 1979-82; ACM, IEEE (until 2007), GI, EATCS (until 2000); Braunschweigische Wissenschaftliche Gesellschaft, since 1992.



  • here is a list of people who worked with me some time between 1982 and 2007. I am very grateful, we had a good time!
  • I supervised these PhD theses, and I coached these habilitations
  • here is my publication list in chronological order
  • here is my publication list grouped by categories
  • here is the list of publications of my group, including those which I did not coauthor (until 2005)

Below please find my online publication list in reverse chronological order; many of the papers are offered for download.


Ehrich, H. - D., "Proving Implementations Correct - Two Alternative Approaches", IFIP Congress 1980: North-Holland Publ. Comp., 1980. Abstract  Download: 1980IFIP.pdf (384.86 KB)
Ehrich, H. - D., "Zur Theorie abstrakter Datentypen", Wiss. Z. Techn. Univ. Dresden, vol. 29,2, pp. 344-346, 1980.  Download: 1980Dresden.pdf (326.3 KB)
Ehrich, H. - D., and V. G. Lohberger, "Parametrie Specification of Abstract Data Types, Parameter Substitution, and Graph Replacements", Proceedings of the Workshop on "Graphentheoretische Konzepte in der Informatik": Hanser-Verlag, 1979. Abstract  Download: 1979Graphen4.pdf (792.42 KB)
Ehrich, H. - D., "Algebraische Spezifikation von Datenstrukturen", Datenstrukturen, Graphen, Algorithmen.: Hanser Appl. Comp. Sc. 8, pp 48-61, 1978. Abstract  Download: 1978Graphen3.pdf (419.04 KB)
Ehrich, H. - D., and V. G. Lohberger, "Constructing Specifications of Abstract Data Types by Replacements", Proc. Int. Colloquium on Graph Grammars: Springer LNCS 73, pp 180-191, 1978. Abstract  Download: 1978SpecReplace.pdf (214.4 KB)
Ehrich, H. - D., "Extensions and Implementations of Abstract Data Type Specifications", Proc. 7th MFCS: Springer LNCS 64, pages 155–164, 1978. Abstract  Download: 1978MFCS.pdf (217.71 KB)
Ehrich, H. - D., "An Axiomatic Approach to Information Structures", Proc. 5th MFCS: Springer, LNCS 45, pp 277-283, 1976. Abstract  Download: 1976MFCS.pdf (364.21 KB)
Ehrich, H. - D., "Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte", Graphensprachen und Algorithmen auf Graphen: Hanser, Appl. Comp. Sc. 1, pages 143–161, 1976. Abstract  Download: 1976Graphen1.pdf (522.3 KB)
Ehrich, H. - D., "Eine Mathematische Semantik für die Beschreibung von Datenstrukturen", Graphen, Algorithmen, Datenstrukturen: Hanser Appl Comp. Sc. 4, pp 53-64, 1976. Abstract  Download: 1976Graphen2.pdf (716.42 KB)
Ehrich, H. - D., and J. W. Lipski, "On the Storage Space Requirement of Consecutive Retrieval with Redundancy", Information Processing Letters, vol. 4 (4), pp. 101-104, 1976.  Download: 1976ConsecRetrieval.pdf (168.16 KB)
Ehrich, H. - D., "Outline of an Algebraic Theory of Structured Objects", Proc. 3rd ICALP, pages 508-530: Edinburgh University Press, 1976. Abstract  Download: 1976EdinBurgh.pdf (966.41 KB)
Ehrich, H. - D., "Theory of Direct-Access Storage Functions", Proc. IFIP'74 Congress, pp 647-651: North-Holland, 1974. Abstract  Download: 1974IFIP.pdf (217.89 KB)
Ehrich, H. - D., "Datenstrukturen und Q-Systeme - eine Mathematische Studie", Proc. 3. Jahrestagung der GI: Springer, LNCS 1, pp363-371, 1973. Abstract  Download: 1973GIJahrestagung.pdf (834.06 KB)
Ehrich, H. - D., "A Note on State Minimization of a Special Class of lncomplete Sequential Machines", IEEE Transactions on Computers, vol. C-21, No. 5: The Institute of Electrical and Electronics Engineers, Inc., pp. 500-502, 1972. Abstract  Download: 1972IEEE-C-21.pdf (144.06 KB)
Ehrich, H. - D., "Über eine Reduktionsmöglichkeit gewisser Überdeckungsprobleme", Automatentheorie und Formale Sprachen, Bericht Nr. 3 einer Tagung des Mathematischen Forschungsinstituts Oberwolfach, Oktober 1969: Bibliographisches Institut Mannheim, 1970. Abstract  Download: 1970MFO3.pdf (725.62 KB)