Recent PhDs Alt

Recent PhDs

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 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