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