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.
