Technische Universität Braunschweig
  • Studium & Lehre
    • Vor dem Studium
      • Informationen für Studieninteressierte
      • Studiengänge von A-Z
      • Bewerbung
      • Fit4TU - Self-Assessment
      • Beratungsangebote für Studieninteressierte
      • Warum Braunschweig?
    • Im Studium
      • Erstsemester-Hub
      • Semestertermine
      • Lehrveranstaltungen
      • Studien-ABC
      • Studienorganisation
      • Beratungsnavi
      • Zusatzqualifikationen
      • Finanzierung und Kosten
      • Besondere Studienbedingungen
      • Gesundheit & Wohlbefinden
      • Campusleben
    • Nach dem Studium
      • Exmatrikulation und Vorlegalisation
      • Nach dem Abschluss
      • Alumni*ae
    • Strategien und Qualitätsmanagement
      • Qualitätsmanagement
      • Systemakkreditierung
      • Studienqualitätsmittel
      • TU Lehrpreis
    • Für Lehrende
      • Informationen für Lehrende
      • Konzepte
      • Lernmanagementsystem Stud.IP
    • Kontakt
      • Studienservice-Center
      • Sag's uns - in Studium und Lehre
      • Zentrale Studienberatung
      • Immatrikulationsamt
      • Abteilung 16 - Studium und Lehre
      • Career Service
      • Projekthaus
  • Forschung
    • Forschungsprofil
      • Forschungsschwerpunkte
      • Exzellenzcluster der TU Braunschweig
      • Forschungsprojekte
      • Forschungszentren
      • Forschungsprofile der Professuren
    • Frühe Karrierephase
      • Förderung in den frühen Phasen der wissenschaftlichen Karriere
      • Promotion
      • Postdocs
      • Nachwuchsgruppenleitung
      • Junior Professur und Tenure-Track
      • Habilitation
      • Service-Angebote für Wissenschaftler*innen
    • Forschungsdaten & Transparenz
      • Transparenz in der Forschung
      • Forschungsdaten
      • Open Access Strategie
      • Digitale Forschungsanzeige
    • Forschungsförderung
      • Netzwerk Forschungsförderung
      • Datenbanken und Stiftungen
    • Kontakt
      • Forschungsservice
      • Graduiertenakademie
  • International
    • Internationale Studierende
      • Warum Braunschweig?
      • Studium mit Abschluss
      • Austauschstudium
      • TU Braunschweig Summer School
      • Geflüchtete
      • International Student Support
      • International Career Service
    • Wege ins Ausland
      • Studium im Ausland
      • Praktikum im Ausland
      • Lehren und Forschen im Ausland
      • Arbeiten im Ausland
    • Internationale Forschende
      • Welcome Support for International Researchers
      • Service für gastgebende Einrichtungen
    • Sprachen und interkulturelle Kompetenzvermittlung
      • Deutsch lernen
      • Fremdsprachen lernen
      • Interkulturelle Kompetenzvermittlung
    • Internationales Profil
      • Internationalisierung
      • Internationale Kooperationen
      • Strategische Partnerschaften
      • Internationale Netzwerke
    • International House
      • Wir über uns
      • Kontakt & Sprechstunden
      • Aktuelles und Termine
      • International Days
      • 5. Studentische Konferenz: Internationalisierung der Hochschulen
      • Newsletter, Podcast & Videos
      • Stellenausschreibungen
  • Die TU Braunschweig
    • Unser Profil
      • Ziele & Werte
      • Ordnungen und Leitlinien
      • Allianzen & Partner
      • Hochschulentwicklung 2030
      • Internationale Strategie
      • Fakten & Zahlen
      • Unsere Geschichte
    • Karriere
      • Arbeiten an der TU
      • Stellenmarkt
      • Berufsausbildung an der TU
    • Wirtschaft & Unternehmen
      • Unternehmensgründung
      • Freunde & Förderer
    • Öffentlichkeit
      • Veranstaltungskalender
      • Check-in für Schüler*innen
      • Hochschulinformationstag (HIT)
      • CampusXperience
      • Kinder-Uni
      • Das Studierendenhaus
      • Gasthörer*innen & Senior*innenstudium
      • Nutzung der Universitätsbibliothek
    • Presse & Kommunikation
      • Stabsstelle Presse und Kommunikation
      • Medienservice
      • Ansprechpartner*innen
      • Tipps für Wissenschaftler*innen
      • Themen und Stories
    • Kontakt
      • Allgemeiner Kontakt
      • Anreise
      • Für Hinweisgeber
  • Struktur
    • Leitung & Verwaltung
      • Das Präsidium
      • Stabsstellen
      • Verwaltung
      • Organe, Statusgruppen und Kommissionen
    • Fakultäten
      • Carl-Friedrich-Gauß-Fakultät
      • Fakultät für Lebenswissenschaften
      • Fakultät Architektur, Bauingenieurwesen und Umweltwissenschaften
      • Fakultät für Maschinenbau
      • Fakultät für Elektrotechnik, Informationstechnik, Physik
      • Fakultät für Geistes- und Erziehungswissenschaften
    • Institute
      • Institute von A-Z
    • Einrichtungen
      • Universitätsbibliothek
      • Gauß-IT-Zentrum
      • Zentrale Personalentwicklung
      • International House
      • Projekthaus
      • Transferservice
      • Hochschulsportzentrum
      • Einrichtungen von A-Z
    • Studierendenschaft
      • Studierendenparlament
      • Fachschaften
      • Studentische Wahlen
    • Lehrer*innenbildung
      • Lehrer*innenfortbildung
      • Forschung
    • Chancengleichheit
      • Gleichstellung
      • Familie
      • Diversität
    • Kontakt
      • Personensuche
  • Suche
  • Schnellzugriff
    • Personensuche
    • Webmail
    • cloud.TU Braunschweig
    • Messenger
    • Mensa
    • TUconnect (Studierendenportal)
    • Lehrveranstaltungen
    • Im Notfall
    • Stud.IP
    • UB Katalog
    • Status GITZ-Dienste
    • Störungsmeldung GB3
    • IT Dienste
    • Informationsportal (Beschäftigte)
    • Beratungsnavi
    • Linksammlung
    • DE
    • Instagram
    • YouTube
    • LinkedIn
    • Mastodon
    • Bluesky
Menü
  • Struktur
  • Fakultäten
  • Carl-Friedrich-Gauß-Fakultät
  • Institute
  • Institut für Informationssysteme
  • Mitarbeiter
  • Ehemalige Mitarbeiter
Platzhalterlogo für Vorlagenseiten
Prof. em. Dr. Hans-Dieter Ehrich
  • Ehemalige Mitarbeiter
    • Prof. em. Dr. Hans-Dieter Ehrich
    • Prof. Dr. Christoph Lofi
    • PD Dr. Silke Eckstein
    • PD Dr. Karl Neumann
    • Dr. José María González Pinto
    • Dr. Janus Wawrzinek
    • Dr. Joachim Selke
    • Dr. Silviu Homoceanu
    • Dr. Benjamin Köhncke
    • Dr. Andreas Kupfer
    • Dr. Kinda El Maarry
    • Dr. rer. nat. Stephan Mennicke
    • Dr. Sascha Tönnies
    • Dr. Jan-Christoph Kalo
    • Dr. Sarah Tauscher
    • Christian Nieke
    • Patrick Henning
    • Simon Barthel
    • Philipp Wille

Prof. em. Dr. Hans-Dieter Ehrich

Prof. em. Dr. Hans-Dieter Ehrich

Emeritus

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.

Downloads:

 

  • 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.

Publications

2018

Ehrich, H. - D., "BWG-Kommission „Das Kulturelle Erbe im Digitalen Zeitalter“", Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2017_32, pp. 210-212, 06/2018. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2017_32_Jahrbuch_BWG_Ehrich.pdf (509.2 KB)

Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Logic and Computation, vol. 33, London, College Publications, pp. 1-22, 2018. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2017adt94.pdf (189.66 KB)


2012

Ehrich, H. - D., "My ADT Shrine, invited lecture", Selected Papers from WADT 2010, Till Mossakowski and Hans-Jörg Kreowski, eds., Bremen, Springer LNCS 7137, pp. 13-24, 2012. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2012LNCS7137WADT10.pdf (498.99 KB)Ehrich, H. - D., K. Alber, G. Stiege, R. Vollmar, and D. Wätjen, "40 Jahre Informatik an der Technischen Universität Braunschweig 1972-2012", Lecture Notes in Informatics, vol. T-6, Bonn, Gesellschaft für Informatik, pp. 188, 2012. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Stiege, G., H. - D. Ehrich, and W. - T. Balke, Datenbanken und Informationssysteme, , 2012. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2012IfIS.pdf (2.44 MB)


2010

Pavlovič, O., and H. - D. Ehrich, "Model Checking PLC Software Written in Function Block Diagram", ICST 2010, Paris, IEEE, 2010. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2010ICST.pdf (279.11 KB)


2008

Hon, Y. M., J. - T. Tecker, and H. - D. Ehrich, "OOLH: A formal framework for specifying system requirements", SIGSAND-EUROPE 2008, Berlin, Springer LNI, Vol. 129, 2008. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2008OOLH.pdf (71.71 KB)


2007

Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik - Erkenntnisse aus der Datenflut?", Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. LVII: J. Cramer Verlag, pp. 9-34, 2007. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2007BWG.pdf (491.15 KB)


2006

Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik: Erkenntnisse aus der Datenflut?", 18. Workshop Grundlagen von Datenbanken, pp. 13-32, June, 2006. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2006GrdlDB-Bio.pdf (538.74 KB)Ehrich, H. - D., K. - D. Schewe, and T. H. Tse(eds), "Special Issue Quality Software", Journal of Systems and Software, vol. 79, no. 5: Elsevier B.V., 2006. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download:  2006editorialSpecIssueJSS.pdf (241.7 KB)


2004

Ehrich, H. - D., "Bioinformatik - Modellbildung als Herausforderung für die Informatik", Innovation jenseits von Fachgrenzen, M. Bohnet, H. Hopf, K. Lompe, und H. Oberbeck (Herausgeber), Braunschweig, Technische Universität, pp. 37-50, 2004. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2004RVBioInf.pdf (699.23 KB)Ehrich, H. - D., and K. - D. Schewe(eds), "Proceedings QSIC 2004", QSIC 2004, Braunschweig, IEEE CS Press, 2004. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Lin, H., H. - D. Ehrich, and T. H. Tse(eds), "Special Issue QSIC 2003", Information and Software Technology, vol. 46, no. 15: Elsevier B.V., 2004. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2004EditorialSpecIssueIST.pdf (243.64 KB)Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), "Objects, Agents, and Features", Dagstuhl Seminar 03081, Dagstuhl, Springer LNCS 2975, 2004. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2004ObjAgFeatIntro.pdf (294.54 KB)


2003

Ehrich, H. - D., M. Kollmann, and R. Pinger, "Checking Object System Designs Incrementally", Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2003JUCS.pdf (167.55 KB)Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), Objects, Agents, and Features. Dagstuhl Seminar 13081 Report, , Schloss Dagstuhl, IBFI GmbH, 2003. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2003DagstuhlSeminar03081.pdf (97.64 KB)Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), Objects, Agents, and Features. Dagstuhl Seminar 13081 Report, , Schloss Dagstuhl, IBFI GmbH, 2003. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2003DagstuhlSeminar03081.pdf (97.64 KB)


2002

Ehrich, H. - D., "Abstract Data Types", The Concise Handbook of Algebra: Kluwer Academic Publishers, pp. 486-490, 2002. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2002HandbAlgebra.pdf (528.49 KB)Ehrich, H. - D., M. Kollmann, and R. Pinger, "Distributed Model Checking", Proc. FM-TOOLS 2002, pp. 53-58, 2002. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2002FMTOOLS.pdf (595.59 KB)


2001

Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. LNCS 2029: Springer, pp. 32-44, 2001. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2001FASE.pdf (171.57 KB)Ehrich, H. - D., "Überprüfung von Softwareskizzen und -entwürfen", Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J Cramer Verlag, pp. 69-72, 2001. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2001BWG.pdf (46.05 KB)


2000

Ehrich, H. - D., and R. Pinger, "Checking object systems via multiple observers", International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Conventions (ICSC), Canada, pp. 242-248, 2000. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2000ISA.pdf (112.72 KB)Ehrich, H. - D., "Informationssysteme - Hilfe für Dienstleister aller Art", Carolo-Wilhelmina Mitteilungen, vol. Band 35 (Sonderheft "10 Jahre Simultan-Studiengänge"), pp. 46-47, 2000. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2000CWM.pdf (461.8 KB)Ehrich, H. - D., U. Goltz, J. Meseguer, A. Pnueli, and (eds), Speci cation of Distributed Information Systems. Dagstuhl Seminar 00081 Report, , Schloss Dagstuhl, IBFI GmbH, 2000. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2000DagstuhlSemina00081.pdf (187.18 KB)Ehrich, H. - D., and C. Caleiro, "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 2000Acta.pdf (174.2 KB)Loeckx, J., H. - D. Ehrich, and M. Wolf, "Algebraic specification of abstract data types", Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1999

Ehrich, H. - D., "Konzeptionelle Modellierung von Informationssystemen", Carolo-Wilhelmina Mitteilungen, vol. Band 34 (Schwerpunktheft Informatik), pp. 16-19, 1999. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1999CWM.pdf (515.72 KB)Ehrich, H. - D., "Object Specification", Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1999ObjSpec.pdf (243.61 KB)


1998

Ehrich, H. - D., C. Caleiro, A. Sernadas, and G. Denker, "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1998ECSD.pdf (255.81 KB)Grau, A., K. Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, Springer, LNCS 1507, pp. 277-290, 1998. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1998ER.pdf (336.76 KB)


1997

Grau, A., M. Kowsari, and H. - D. Ehrich, "A CASE-Tool Environment for Developing and Validating Conceptual Models (Poster Session)", 9th Conference on Advanced Information Systems Engineering (CAISE'97), Barcelona, June 18-20, 1997. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Hartel, P., G. Denker, M. Kowsari, M. Krone, and H. - D. Ehrich, "Information systems modelling with TROLL formal methods at work", Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1997InfSysAtWork.pdf (846.73 KB)Ehrich, H. - D., Y. Feng, D. Kung, and (eds), Object-Oriented Software Development, Dagstuhl Seminar Report 9715, , Schloss Dagstuhl, IBFI GmbH, 1997. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1997DagstuhlSemina9715.pdf (196.96 KB)Denker, G., and H. - D. Ehrich, "Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic", Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK: Chapman & Hall, pp. 89-104, 1997. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1997DenkerEhrich.pdf (548.39 KB)


1996

Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich, "A Case Study in Information System Design, The CATC System", FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session, 1996. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1996

Krone, M., M. Kowsari, P. Hartel, G. Denker, and H. - D. Ehrich, "Developing an Information System Using TROLL: an Application Field Study", Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1996CAiSE.pdf (438.58 KB)Ehrich, H. - D., and P. Hartel, "Temporal Specification of Information Systems", Logic and Software Engineering, Proc. Int. Workshop in Honor of C.S. Tang, Beijing, 14-15 August 1995: World Scientific, pp. 43-71, 1996. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1996Beijing.pdf (283.86 KB)Ehrich, H. - D., and K. Neumann, Datenbanksysteme II, , no. 34: Technische Universität Braunschweig, 1996. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Ehrich, H. - D., Object Specification, , no. 96-07: TU Braunschweig, 1996. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Loeckx, J., H. - D. Ehrich, and M. Wolf, Specification of abstract data types, : J. Wiley & Sons and B.G.Teubner Publishers, 1996. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1995

Denker, G., and H. - D. Ehrich, "Action Reification In Object Oriented Specification", Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop: World Scientific, pp. 103-118, 1995. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1995ISCORE.pdf (1.04 MB)Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Entwicklung zuverlässiger Informationssysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1995EMISA.pdf (691.75 KB)Denker, G., and H. - D. Ehrich, "An Event-Based Semantics for Transactions", Proc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Ehrich, H. - D., "KORSO Reference Languages -- Concepts and Application Domains", M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report, pages 150–172. Springer, LNCS 1009, 1995. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1995KORSOref.pdf (444.2 KB)Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Recent Trends in Data Types Specification, Proc1 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers: Springer, Berlin, LNCS 906, pp. 219-235, 1995. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1995LocSpecDistr.pdf (350.23 KB)Gogolla, M., S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "TROLL light --- The Language and Its Development Environment", KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1995TrollLight.pdf (971.69 KB)


1994

Ehrich, H. - D., G. Engels, J. Paradaens, P. Wegner, and (eds), Fundamentals of Object- Oriented Languages. Dagstuhl Seminar Report Nr. 95 (9434), , Schloss Dagstuhl, IBFI GmbH, 1994. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1994DagstuhlSeminar9434.pdf (336.72 KB)Ehrich, H. - D., "Fundamentals of Object-Oriented Information Systems Specification and Design: The OBLOG/TROLL Approach", Nuclear Instruments and Methods in Physics Research A: Elsevier, Amsterdam, pp. 375-378, 1994. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1994CERN.pdf (280.86 KB)Ehrich, H. - D., R. Jungclaus, G. Denker, and A. Sernadas, "Object-Oriented Design of Information Systems: Theoretical Foundations", Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 201-218, 1994. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1994CISM1.pdf (266.62 KB)Saake, G., T. Hartmann, R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Design of Information Systems: \tt TROLL Language Features", Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 219-245, 1994. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1994CISM2.pdf (981.53 KB)Ehrich, H. - D., A. Sernadas, G. Saake, and C. Sernadas, "Distributed Temporal Logic for Concurrent Object Families", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 22-30, 1994. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Conrad, S., and H. - D. Ehrich, "An Elementary Logic for Object Specification and Verification", Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 197-206, 1994. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Gogolla, M., N. Vlachantonis, R. Herzig, G. Denker, S. Conrad, and H. - D. Ehrich, The KORSO Approach to the Development of Reliable Information Systems, , no. 94-06: Technische Universität Braunschweig, 1994. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1993

Ehrich, H. - D., G. Denker, and A. Sernadas, "Constructing Systems as Object Communities", Proc Theory and Practice of Software Developmen1 (TAPSOFT'93): Springer, Berlin, LNCS 668, pp. 453-467, 1993. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1993TAPSOFT.pdf (320.97 KB)Ehrich, H. - D., "Entwicklung zuverlässiger Informationssysteme", Informatik -- Forschung und Entwicklung, vol. 8, no. 3, pp. 160-161, 1993. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1993KorSo2.pdf (91.63 KB)Ehrich, H. - D., R. Jungclaus, and G. Denker, "Object Roles and Phases", Proc Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 114-121, 1993. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Vlachantonis, N., R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H. - D. Ehrich, "Towards Reliable Information Systems: The KORSO Approach", Proc 5th Int Conf on Advanced Information Systems Engineering (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 1993. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1993KorSo.pdf (314.47 KB)Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Zur Entwicklung zuverlässiger Informationssysteme in KorSo", Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1993GI.pdf (401.19 KB)


1992

Ehrich, H. - D., G. Saake, and A. Sernadas, "Concepts of Object-Orientation", Proc of the 2nd Workshop of ``Informationssysteme und Künstliche Intelligenz: Modellierung'', Ulm (Germany): Springer IF 303, pp. 1-19, 1992. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1992ConcObjOr.pdf (208.55 KB)Engels, G., M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H. - D. Ehrich, "Conceptual modelling of database applications using an extended ER model", Data & Knowledge Engineering, North-Holland, vol. 9, no. 2, pp. 157-204, 1992. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1992DKE.pdf (883.85 KB)Neumann, K., F. Lohmann, and H. - D. Ehrich, "An Experimental Geoscientific Database System", Proc1 Int1 Coll1 on Digital Maps in Geosciences, Würzburg 1989: Geologisches Jahrbuch A122, Hannover, pp. 91-100, 1992. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1992GeoDBSys.pdf (1013.78 KB)Ehrich, H. - D., J. A. Goguen, A. Sernadas, and (eds), "Foundations of Information Systems Specification and Design", Dagstuhl Seminar Report No. 35, Schloss Dagstuhl, IBFI GmbH, 1992. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Costa, J. - F., A. Sernadas, C. Sernadas, and H. - D. Ehrich, "Object Interaction", Mathematical Foundations of Computer Science (MFCS'92): Springer Verlag, pp. 200-208, 1992. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1992MFCS.pdf (56.77 KB)Saake, G., R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Specification and Stepwise Refinement", Proc Open Distributed Processing, Berlin (D), 8.-11. Okt 1991 (IFIP Transactions C: Communication Systems, Vol 1): North-Holland, pp. 99-121, 1992. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1992SaaJungEh.pdf (313.37 KB)Ehrich, H. - D., M. Gogolla, and A. Sernadas, "Objects and their Specification", Proc 8th Workshop on Abstract Data Types (ADT'91): Springer, Berlin, LNCS 655, pp. 40-65, 1992. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1992ObjSpec.pdf (456.9 KB)Hartmann, T., R. Jungclaus, G. Saake, and H. - D. Ehrich, "Spezifikation von Objektsystemen", Objektbanken für Experten: Springer, Berlin, Reihe Informatik aktuell, pp. 220-242, 1992. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1992ObjBankExpert.pdf (1.72 MB)


1991

Ehrich, H. - D., J. A. Goguen, and A. Sernadas, "A Categorial Theory of Objects as Observed Processes", Proc REX/FOOL Workshop: LNCS 489, Springer, Berlin, pp. 203-228, 1991. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1991CatTheorObjObservProc.pdf (533.9 KB)Gogolla, M., and H. - D. Ehrich, Contributions to: Algebraic System Specification and Development, , Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F. and Sannella, D., editors: Springer, Berlin, LNCS 501, 1991. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Sernadas, A., and H. - D. Ehrich, "What Is an Object, After All?", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 39-70, 1991. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1991Windermere.pdf (840.4 KB)Ehrich, H. - D., and A. Sernadas, "Fundamental Object Concepts and Constructions", Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 1-24, 1991. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1990

Ehrich, H. - D., and A. Sernadas, "Algebraic Implementation of Objects over Objects", Proc REX Workshop ``Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness'': LNCS 430, Springer, Berlin, pp. 239-266, 1990. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1990AlgImplem.pdf (479.42 KB)Engels, G., U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H. - D. Ehrich, "CADDY: Computer-Aided Design of Non-Standard Databases", Proc 1st Int Conf on System Development Environments and Factories: Pitman, London, 1990. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1990Caddy.pdf (896.19 KB)Ehrich, H. - D., A. Sernadas, and C. Sernadas, "From Data Types to Object Types", Journal on Information Processing and Cybernetics EIK, vol. 26, no. 1-2, pp. 33-48, 1990. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1990EIK.pdf (875.31 KB)Sernadas, A., H. - D. Ehrich, and J. - F. Costa, "From Processes to Objects", The INESC Journal of Research and Development 1:1, pp. 7-27, 1990. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1990INESC.pdf (997.32 KB)Engels, G., M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H. - D. Ehrich, Conceptual Modelling of Database Applications Using an Extended ER Model, , no. 90-05: Technische Universität Braunschweig, 1990. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1989

Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "Abstract object types: A temporal perspective", Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors: Springer LNCS 398, 1989. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1989AbstrObjTypes.pdf (393.35 KB)Ehrich, H. - D., G. Engels, M. Gogolla, G. Saake, and (eds), "Abstracts des Workshops "Grundlagen von Datenbanken"", Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "The Basic Building Block of Information Systems", Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1989BBBofIS.pdf (1.08 MB)Lohmann, F., K. Neumann, and H. - D. Ehrich, "Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen", Proc GI/SI-Fachtagung ``Datenbanksysteme in Büro, Technik und Wissenschaft'': Springer, Berlin, 1989, pp. 43-57, 1989. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1989BTW.pdf (557.01 KB)Ehrich, H. - D., A. Sernadas, and C. Sernadas, "Objects, Object Types, and Object Identification", Categorical Methods in Computer Science: LNCS 393, Springer, Berlin, pp. 142-156, 1989. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1989ObjOtypOid.pdf (313.66 KB)Ehrich, H. - D., M. Gogolla, and U. W. Lipeck, Algebraische Spezifikation abstrakter Datentypen, : Teubner, Stuttgart, 1989. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1988

Ehrich, H. - D., A. Sernadas, and C. Sernadas, "Abstract Object Types for Databases", Advances in Object-Oriented Database Systems: LNCS 334, Springer, Berlin, 1988, pp. 144-149, 1988. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1988AbstrObjTypes.pdf (549.79 KB)Engels, G., U. Hohenstein, G. Saake, and H. - D. Ehrich, "Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung", Proc GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1988DBEntwUmg2.pdf (564.82 KB)Ehrich, H. - D., F. Lohmann, K. Neumann, and I. Ramm, "A Database Language for Scientific Map Data", Construction and Display of Geosientific Maps Derived from Databases (Proc. Int. Coll. Dinkelsbühl 1986): Geologisches Jahrbuch A 104, pp. 139-152, 1988. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1988Geo.pdf (905.2 KB)Engels, G., U. Hohenstein, L. Neugebauer, G. Saake, and H. - D. Ehrich, "Konzeption einer integrierten Datenbank-Entwurfsumgebung", Proc1 DBTA/SI Conf1 ``Data Dictionaries und Entwicklungswerkzeuge für Datenbankanwendungen'': Verlag der Fachvereine an den Schweiz1 Hochschulen und Techniken, Zürich, pp. 151-157, 1988. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1988DBEntwUmg1.pdf (692.07 KB)Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1988Albufeira.pdf (1.08 MB)


1987

Sernadas, A., C. Sernadas, and H. - D. Ehrich, "Object-Oriented Specification of Databases: An Algebraic Approach", Proc 13th Int Conf on Very Large Databases VLDB'87: VLDB Endowment Press, Saratoga (CA), pp. 107-116, 1987. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1987VLDB.pdf (679.95 KB)Drawin, M., K. Neumann, and H. - D. Ehrich, "Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken", Proc Datenbanksysteme in Büro, Technik und Wissenschaft: Informatik-Fachbericht 136, Springer, Berlin, pp. 231-246, 1987. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1987BTW.pdf (739.81 KB)Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich, "Three-Level Specification of Databases Using an Extended Entity-Relationship Model", Proc GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1987ThreeLevelSpec.pdf (1.21 MB)Saake, G., L. Neugebauer, U. Hohenstein, and H. - D. Ehrich, Konzepte und Werkzeuge für eine Datenbank-Entwurfsumgebung, , no. 87-05: Technische Universität Braunschweig, 1987. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1986

Ehrich, H. - D., K. Drosten, M. Gogolla, U. Lipeck, and (eds), "Abstracts of the 4th Workshop on Specification of Abstract Data Types", Abstracts of the 4th Workshop on Specification of Abstract Data Types: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Ehrich, H. - D., "Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics", Proc Workshop on Category Theory and Computer Programming: Springer, Berlin, LNCS series, pp. 412-433, 1986. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1986KeyExtens.pdf (277.5 KB)Lipeck, U. W., G. Saake, and H. - D. Ehrich, Monitoring Dynamic Database Integrity by Transition Graphs, , no. 86-08: Technische Universität Braunschweig, 1986. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1985

Ehrich, H. - D., "Algebraic (?) specification of conceptual database schemata (extended abstract)", Recent Trends in Data Type Specification, Informatik-Fachberichte, vol. 116: Springer, 1985. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1985AlgSpecDB.pdf (349.23 KB)Ramm, I., and H. - D. Ehrich, "Einführung in das Projekt: Entwurf einer Benutzerschnittstelle für eine graphisch-alphanumerische Datenbank", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe I, no. Heft 95, pp. 115-124, 1985. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1985Geo.pdf (788.93 KB)Lipeck, U. W., H. - D. Ehrich, and M. Gogolla, "Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic", Proc IFIP Working Conf on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1985TFAIS.pdf (602.54 KB)Ehrich, H. - D., "Spezifikation konzeptioneller Schemata mit abstrakten Datentypen und Versionen", Proc. GI-Fachgespräch ``Entwurf von Informationssystemen - Methoden und Modelle'', pp. 1-19, 1985. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1985Tutzing.pdf (877.62 KB)Ramm, I., K. Neumann, U. W. Lipeck, and H. - D. Ehrich, Eine Benutzerschnittstelle für geowissenschaftliche Datenbanken, : Technische Universität Braunschweig, 1985. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1984

Gogolla, M., K. Drosten, U. W. Lipeck, and H. - D. Ehrich, "Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors", Theoretical Computer Science, vol. 34, 1984. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1984TCS-ExcErr.pdf (728.49 KB)Ehrich, H. - D., and (ed), "Proceedings", GI – 14. Jahrestagung, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Ehrich, H. - D., and (ed), "Proceedings Fachgespräche", GI – 14. Jahrestagung, Braunschweig, Springer, 1984. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Ehrich, H. - D., U. W. Lipeck, and M. Gogolla, "Specification, Semantics, and Enforcement of Dynamic Database Constraints", Proc Int Conf on Very Large Databases VLDB '84, pp. 301-308, 1984. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1984VLDB.pdf (462.55 KB)Drosten, K., and H. - D. Ehrich, "Translating algebraic specifications to PROLOG programs", Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1983

Gogolla, M., K. Drosten, U. Lipeck, and H. - D. Ehrich, "Algebraic and operational semantics of exceptions and errors", Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1983ExceptErrors.pdf (198.63 KB)Ehrich, H. - D., and U. Lipeck, "Algebraic domain equations", Theoretical Computer Science, vol. 27, pp. 167-196, 1983. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1983TCS-ADE.pdf (951.11 KB)

1983

Gogolla, M., and H. - D. Ehrich, "Algebraic Specifications with Subsorts Using Declarations", EATCS Bulletin, vol. 21, pp. 31-38, 1983. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1983EATCSBull.pdf (93.61 KB)Engels, G., U. Pletat, and H. - D. Ehrich, "An operational semantics for specification of abstract data types with error handling", Acta Informatica, vol. 19: Springer, pp. 235-253, 1983. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1983Acta.pdf (667.18 KB)Durchholz, R., and H. - D. Ehrich, "Proceedings", Workshop on Information and Data Structure Description, München, Bericht der GMD Nr. 139, 1983. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

1982

Drosten, K., M. Gogolla, H. - D. Ehrich, and U. Lipeck, "A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications", Berichte der Abteilung Informatik, vol. 144: Universität Dortmund, 1982. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

Ehrich, H. - D., "On the Theory of Specification, Implementation and Parameterization of Abstract Data Types", Journal of the ACM, vol. 29, pp. 206-227, 1982. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1982JACM.pdf (449.29 KB)


1981

Ehrich, H. - D., "On Realization and Implementation", MFCS: Springer LNCS 118, 1981. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1981MFCS.pdf (167.47 KB)Ehrich, H. - D., "Implicit Specification by Algebraic Domain Equations", EATCS Bulletin, vol. 13, pp. 45-51, 1981. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1981EATCS.pdf (341.1 KB)Ehrich, H. - D., "Specifying algebraic data types by domain equations", FCT: Springer LNCS 117, 1981. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1981FCT-ADE.pdf (485.92 KB)


1980

Ehrich, H. - D., "Proving Implementations Correct - Two Alternative Approaches", IFIP Congress 1980: North-Holland Publ. Comp., 1980. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 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. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1980Dresden.pdf (326.3 KB)


1979

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 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1979Graphen4.pdf (792.42 KB)


1978

Ehrich, H. - D., "Algebraische Spezifikation von Datenstrukturen", Datenstrukturen, Graphen, Algorithmen.: Hanser Appl. Comp. Sc. 8, pp 48-61, 1978. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 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 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 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 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1978MFCS.pdf (217.71 KB)


1977

Ehrich, H. - D., "Algebraic Semantics of Type Definitions and Structured Variables", Proc. FCT’77: Springer LNCS 56, 1977. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1977FCT.pdf (283.25 KB)


1976

Ehrich, H. - D., "An Axiomatic Approach to Information Structures", Proc. 5th MFCS: Springer, LNCS 45, pp 277-283, 1976. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 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 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 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 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 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. 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 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 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1976EdinBurgh.pdf (966.41 KB)


1975

Ehrich, H. - D., "Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata", Acta Informatica, vol. 4: Springer, pp. 201-211, 1975. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1975Acta1.pdf (409.11 KB)Ehrich, H. - D., "Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme", Acta Informatica, vol. 4: Springer, pp. 299-310, 1975. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1975Acta2.pdf (425.6 KB)


1974

Ehrich, H. - D., "Theory of Direct-Access Storage Functions", Proc. IFIP'74 Congress, pp 647-651: North-Holland, 1974. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1974IFIP.pdf (217.89 KB)


1973

Ehrich, H. - D., "Datenstrukturen und Q-Systeme - eine Mathematische Studie", Proc. 3. Jahrestagung der GI: Springer, LNCS 1, pp363-371, 1973. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1973GIJahrestagung.pdf (834.06 KB)Ehrich, H. - D., "Minimale und rn-minimale Variablenmengen für partielle Boole'sche Funktionen", Acta Informatica, vol. 2: Springer, pp. 172-179, 1973. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1973Acta.pdf (273.93 KB)


1972

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 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1972IEEE-C-21.pdf (144.06 KB)


1970

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 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1970MFO3.pdf (725.62 KB)


1968

Bieger, D., H. - D. Ehrich, and O. Wassermann, "Ein ALGOL-Programm zur rechnerischen Trennung nahe benachbarter Ionisationskonstanten nach Britton", Arzneim.-Forsch. (Drug Res.), vol. 18: Editio Cantor KG, pp. 373-377 , 1968. Abstract 

  • RTF
  •  Tagged
  •  XML
  •  BibTex
  •  Google Scholar

 Download: 1968DrugResearch.pdf (450.68 KB)

Publications

Bildnachweise dieser Seite

Für alle

Stellen der TU Braunschweig
Jobbörse des Career Service
Merchandising
Sponsoring- & Spendenleistungen
Drittmittelgeförderte Forschungsprojekte
Vertrauenspersonen für Hinweisgeber

Für Studierende

Semestertermine
Lehrveranstaltungen
Studiengänge von A-Z
Informationen für Erstsemester
TUCard

Interne Tools

Status GITZ-Dienste
Handbuch für TYPO3 (Intern)
Corporate Design-Toolbox (Intern)
Glossar (DE-EN)
Meine Daten ändern
Hochschulöffentliche Bekanntmachungen

Kontakt

Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0

Anreise

© Technische Universität Braunschweig
Impressum Datenschutz Barrierefreiheit

Zur anonymisierten Reichweitenmessung nutzt die TU Braunschweig die Software Matomo. Die Daten dienen dazu, das Webangebot zu optimieren.
Weitere Informationen finden Sie in unserer Datenschutzerklärung.