Betreute Dissertationen:

[Scr 03]

A. Schröder: Globale Sichtbarkeitsalgorithmen. (Dissertation, Univ. Marburg, 2003, als Zweitgutachter)

[Scw 03]

M. Schwarz: Interaktionszentrierte Gestaltung von Informationssystemen als anwenderorientierte Vorgehensweise zur Entwicklung und Präzisierung von Anforderungen. (Dissertation, Univ. Ulm, 2003, als Zweitgutachter)

[Sar 03]

Siar Sarferaz: Methoden- und Werkzeugunterstützung für evolutionäre, objektorientierte Software-Projekte. Ph.D. thesis, Univ. Marburg (2003)

[Düw 00]

St. Düwel: BASE - ein begriffsbasiertes Analyseverfahren für die Software-Entwicklung (Dissertation, Univ. Marburg, 2000, als Erstgutachter)

[Zen 97]

A. Zendler: Strukturierung, Änderung und Verteilung von objektorientierten Anwendungen (Dissertation, Univ. Potsdam, 1997, als Zweitgutachter)

[Guc 97]

M. Guckert: Anschlußoptimierung in öffentlichen Verkehrsnetzen - Graphentheoretische Grundlagen, objektorientierte Modellierung und Implementierung (Dissertation, Univ. Marburg, 1997, als Erstgutachter)

[Gol 95]

S. Goll: Methode und Werkzeug zur modellbasierten Hypertext-Entwicklung (Dissertation, Univ. Marburg, 1995, als Erstgutachter)

[Bit 93]

U. Bittner: Individuelle Arbeitsunterstützung durch Integration dynamischer Klassifikation in objektorientierte Systementwicklung (Dissertation, Univ. Marburg 1993, als Erstgutachter)

[Koc 93]

E. Koch: Modellbildung, Klassifikation und Bewertung von Algorithmen in der Datenkompression (Dissertation, Univ. Marburg 1993, als Zweitgutachter)

[Scä 92]

T. Schäfer: Revision von Software-Anwendungsmodellen auf der Basis eines objektorientierten Datenmodells (Dissertation, Univ. Marburg 1992, als Erstgutachter)

[Pas 91]

J. Pasch: Dialogischer Software-Entwurf (Dissertation, Techn. Universität Berlin, 1991, als Zweitgutachter)

[Scr 91]

W. Schramm: Ein objektorientiertes Metamodell für die Software-Entwicklung (Dissertation, Univ. Kaiserslautern, 1991, als Zweitgutachter)

[Gas 90]

H. Gasiorowski: Splay - eine dynamische Baumsuche (Dissertation, Univ. Marburg, 1990, als Zweitgutachter)

[Völ 89]

G. Völksen: Eine Spezifikationsmethode für wissensbasierte Systeme zur Softwareportierung auf parallele Rechnerarchitekturen (Dissertation, Univ. Marburg 1989, als Zweitgutachter)

[Sei 89]

A. Seigis: Spezifikation und Generierung applikationsgesteuerter und strukturorientierter graphischer Editoren - Ein Weg zur Integration von Mensch-Maschine-Schnittstellen und Applikationsprogrammen (Dissertation, Univ. Marburg 1989, als Zweitgutachter)