University of Ulm, Faculty of Computer Science, Dept. of Artificial Intelligence

Dissertations

From this page you can access abstracts of most of the dissertations of the department; some of these are also available in electronic form. The entries are listed roughly in temporal order, most recent ones first.

M. Sorea
Verification of Real-Time Systems through Lazy Approximations
Ph.D. thesis, University of Ulm, 2004
Marko Luther
Elaboration and Erasure in Type Theory
Ph.D. thesis, University of Ulm, 2003
Joachim Herbst
Ein induktiver Ansatz zur Akquisition und Adaption von Workflow-Modellen
Ph.D. thesis, University of Ulm, 2003
Holger Pfeifer
Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture
Ph.D. Thesis, University of Ulm, 2003
Axel Dold
Formal Software Development using Generic Development Steps
Ph.D. thesis, University of Ulm, 2000.
Friedemann Kienzler
Synthese versus Analyse in modellbasierten KI-Planungssystemen?
DIAKON - ein auto-adaptiver diagnostischer Lösungsansatz für Aktionsplanungs- und Konfigurierungsprobleme
Ph.D.thesis, University of Ulm 1999
Martin Strecker
Construction and Deduction in Type Theories
Ph.D.thesis, University of Ulm 1999
Harald Ruess
Formal Meta-Programming in the Calculus of Constructions
Ph.D.thesis, University of Ulm 1995

Dept. of AI Homepage

Help

Mail to Webmaster

H. Pfeifer - updated: November 24, 2004