2016

• Relational and Algebraic Calculi for Database Preferences
  Patrick Roocks
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. B. Möller
  Zweitgutachter: Professor Dr. W. Kießling

2014

• Algebraic Calculi for Separation Logic
  Han-Hing Dang
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. B. Möller
  Zweitgutachter: Professor Dr. B. Bauer

• Bisimulations and Model Refinement
  Roland Glück
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. B. Möller
  Zweitgutachter: Professor Dr. R. Lorenz

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

• Abstract Algebra of Program Refinement
  Kim Solin
  Dissertation, Universität Augsburg/Abo Akademi
  Betreuer: Professor Dr. B. Möller, Prof. Dr. R.-J. Back

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.