Recent PhDs

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