Publications

Dieter Hutter; Michael Kohlhase

Technical Report, Vol. SR-95-08, 1995.

Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. Dagstuhl Seminare/Workshops, February 27 - March 3, Schloß Dagstuhl, Germany, 1995.

Dieter Hutter; Werner Stephan

In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice, Sheffield, Pages 43-44, 1995.

Dieter Hutter

In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Dagstuhl Seminare/Workshops, Schloß Dagstuhl, 1995.

Georg Rock

em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.

Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif

In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". GI/ITG-Fachgespräch (FBT), June 22-23, Kaiserlautern, Germany, 1995.

Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik

In: A. Borgida; M. Lenzerini; D. Nardi; B. Nebel (Hrsg.). Proceedings of the 1995 International Workshop on Description Logics. International Workshop on Description Logics (DL-1995), June 2-3, University "La Sapienza", Rome, Italy, Pages 99-105, Research Reports, Vol. RAP 07.95, 1995.

Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik

Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 95-04, 1995.

Andreas Dengel; D. Ruland; Wolfgang Wahlster

UNI-Spectrum No. 6/95, 10/1995.

Andreas Dengel; Frank Dubiel; I. John

Research Report , DFKI GmbH, DFKI Research Reports (RR), Vol. 95-17, 5/1995.