| Walter Guttmann |
- Algebras for Iteration, Infinte Executions
- and Correctness of Sequential Computations
- Universität Ulm
- September 2015
|
| Michael Winter |
- Goguen Categories:
- An Algebraic Approach to L-Fuzzy Relations
- With Applications in Computer Science
- Universität der Bundeswehr München
- 19. Dezember 2002
|
| Wolfram Kahl |
- A Relation-Algebraic Approach
- to Graph Structure Transformation
- Universität der Bundeswehr München
- 27. November 2001
|
| Ulrich Huckenbeck |
- Extremale Pfade in Graphen
- und verwandte Problemstellungen
- Universität Würzburg, 379 S.
- Dezember 1992; als auswärtiger Gutachter
|
| Rudolf Berghammer |
- Transformational programming with
- non-deterministic and higher-order constructs
- Universität der Bundeswehr München
- 7. November 1990
|
| Bernhard Möller |
- Higher Order Algebraic
- Specifications
- Technische Universität München
- Juli 1987
|