Publikationen

Guiding equational proofs by attribute functions

Interner Bericht, 1993.

Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, …

Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

VSE Verification Support Environment

In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, 1993.

Günter Neumann

Grammatikformalismen in der Generierung und ihre Verarbeitung

In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

Günter Neumann

The DISCO Development Shell and its Application in the COSMA System

In: Stephan Busemann; Karin Harbusch (Hrsg.). Proceedings of the DFKI Workshop on Natural Languages Systems: Reusability and Modularity. DFKI …

Günter Neumann

Design Principles of the Disco System

In: Franciska de Jong; Anton Nijholt (Hrsg.). Proceedings of the Twente Workshop on Language Technology (TWLT 5). Natural Language Interfaces. Twente …

Klaus Netter