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.

Suche