PhDs — Inf2

Peter Höfner	Algebraic Calculi for Hybrid Systems Erstgutachter Prof. Dr. Bernhard Möller Zweitgutachter Prof. Dr. Gunther Schmidt, Prof. Dr. Walter Vogler Universität Augsburg 3. Juli 2009
Thomas Triebsees	Preserving Digital Objects: A Constraint-Based Approach for the Automated Application to Transformation Processes Universität der Bundeswehr München Erstgutachter Prof. Dr. Uwe Borghoff Zweitgutachter Prof. Dr. Gunther Schmidt 21. November 2008
Britta Kehden	Vektoren und Vektorprädikate und ihre Verwendung bei der Entwicklung relationaler Algorithmen Christian-Albrechts-Universität zu Kiel Erstgutachter Prof. Dr. Rudolf Berghammer, U Kiel Zweitgutachter Prof. Dr. Gunther Schmidt 15. Juli 2008
Arne Bayer	Visuelle Datenflußsprache mit Kombinatoren höherer Ordnung Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Andreas Schürr, TU Darmstadt 26. November 2004
Oliver Braun	Constructing Mobile Agents using Transformations Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Wolfram Kahl, McMaster University, Hamilton, Ontario, Kanada 11. August 2004
Eric Offermann	Konstruktion relationaler Kategorien Der Andere Verlag ISBN 3-89959-078-3 Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Cornelius Greither 26. Mai 2003
Frank Derichsweiler	Strategiegesteuerte Transformation von Termgraphen Der Andere Verlag ISBN 3-89959-026-0 Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Andreas Schürr, TU Darmstadt 27. September 2002
Ralf Behnke	Transformationelle Programmentwicklung im Rahmen relationaler und sequentieller Algebren Christian-Albrechts-Universität zu Kiel, 1998, 205 Seiten Erstgutachter Prof. Dr. Rudolf Berghammer, U Kiel Zweitgutachter Prof. Dr. Gunther Schmidt 24. Juni 1998
Michael Winter	Strukturtheorie heterogener Relationenalgebren mit Anwendungen auf Nichtdeterminismus in Programmiersprachen Universität der Bundeswehr München Dissertationsverlag NG Kopierladen, München, 1998, 172 Seiten ISBN 3-933214-11-4 Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Bernhard Möller, U Augsburg 30. April 1998
Claudia Hattensperger	Rechnergestütztes Beweisen in heterogenen Relationenalgebren Universität der Bundeswehr München Dissertationsverlag NG Kopierladen, München, 1997, 201 Seiten ISBN 3-928536-99-0 Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Rudolf Berghammer, U Kiel 19. Dezember 1997
Ludger Walther	Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle Universität der Bundeswehr München Erstgutachter Prof. Dr. Hans-R. Wiehle Zweitgutachter Prof. Dr. Gunther Schmidt 11. November 1996
Wolfram Kahl	Algebraische Termgraphersetzung mit gebundenen Variablen Universität der Bundeswehr München Herbert-Utz-Verlag Wissenschaft, 1996, 152 S. ISBN 3-93127-60-4 Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Helmut Schwichtenberg, LMU München 22. Dezember 1995
Thomas Gritzner	wp-Kalkül und relationale Spezifikation kommunizierender Systeme Technische Universität München Erstgutachter Prof. Dr. Manfred Broy, TU München Zweitgutachter Prof. Dr. Gunther Schmidt 22. November 1995, 180 S.
Peter Kempf	Sequential and parallel functions as processes Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Manfred Broy, TU München 12. Juli 1994
Wolfgang Ries	Compilierung graphisch spezifizierter VLSI-Entwurfsregeln Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Kurt Antreich, TU München 14. Juli 1989
Hans Zierer	Programmierung mit Funktionsobjekten: Konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung Technische Universität München Erstgutachter Prof. Dr. Gunther Schmidt, Zweitgutachter Prof. Dr. Dr. h.c. Wilfried Brauer, TU München 3. Februar 1988
Rudolf Berghammer	Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation Technische Universität München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Dr. h.c. mult. F. L. Bauer, TU München 10. Februar 1984
Horst Wendel	Zur Bestimmung optimaler Diagonalpivotfolgen für positiv definite Matrizen Technische Universität München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Richard Baumann, TU München 4. August 1983
Franz Schweiggert	Zur Isomorphie endlicher Graphen und Strukturen Technische Universität München Erstgutachter Prof. Dr. Gottfried Tinhofer, TU München Zweitgutachter Prof. Dr. Josef Heinhold, TU München Drittgutachter Prof. Dr. Gunther Schmidt 1983