Dissertationen

2009

• Algebraic Calculi for Hybrid Systems
  Peter Höfner
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. B. Möller
  Zweitgutachter: Professor Dr. G. Schmidt, Professor W. Vogler

2007

• Dual compilation for hardware and software
  Ewald Frensch
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. B. Möller
  Zweitgutachter: Professor Dr. T. Ungerer

2003

• The Kleene Algebra of Nested Pointer Structures: Theory and Applications
  Thorsten Ehm
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. B. Möller
  Zweitgutachter: Professor Dr. R. Berghammer (Uni Kiel)

1996

• Deriving general schemes for classes of graph algorithms
  M. Russling
  Dissertation, Universität Augsburg.