Dissertationen

2011

• Konstruktion selbst-organisierender Softwaresysteme
  Hella Seebach
  Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2011
  Erstgutachter: Prof. Dr. Wolfgang Reif
  Zweitgutachter: Prof. Dr. Bernhard Bauer
• Semi-Skylines and Skyline Snippets - Theory and Applications
  Markus Endres
  Dissertation, University of Augsburg.
  1st Examiner: Professor Dr. W. Kießling,
  2nd Examiner: Professor Dr. B. Möller

2010

• Design and Operation of Efficient Self-Organizing Systems
  Holger Kasinger
  Dissertation, Department of Computer Science, University of Augsburg, 2010
  1st Examiner: Prof. Dr. Bernhard Bauer; 2nd Examiners: Prof. Dr. Jörg Denzinger, Prof. Dr. Theo Ungerer
• Automatische Fehlersuche in Algebraischen Spezifikationen
  Andriy Dunets
  
  Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2010.
  Erstgutachter: Prof. Dr. Wolfgang Reif
  Zweitgutachter: Prof. Dr. Bernhard Bauer
• Semantic Business Process Modeling - Principles, Design Support and Realization
  Florian Lautenbacher
  Berichte aus der Informatik
  1st Examiner: Prof. Dr. Bernhard Bauer; 2nd Examiners: Prof. Dr. Dragan Gasevic, Prof. Dr. Wolfgang Reif

2009

• Topic Models for Image Retrieval on Large-Scale Databases
  Eva Hörster
  Dissertation, Department of Computer Science, University of Augsburg, July 2009
  Erstgutachter: Professor Dr. Rainer Lienhart
  Zweitgutacher: Professor Dr. Wolfgang Effelsberg
• Graph-based Algorithms for Pareto Preference Query Evaluation
  Timotheus Preisinger
  Dissertation, University of Augsburg.
  1st Examiner: Professor Dr. W. Kießling
  2nd Examiner: Professor Dr. B. Möller
• 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

2008

• Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
  H. Grandy
  Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2008
  Erstgutachter: Prof. Dr. Wolfgang Reif
  Zweitgutachter: Prof. Dr. Bernhard Bauer
• Designing and Enacting Cross-organisational Business Processes: A Model-driven, Ontology-based Approach
  Stephan Roser
  Dissertation, Department of Computer Science, University of Augsburg, 2008
  1st Examiner: Prof. Dr. Bernhard Bauer; 2nd Examiners: Prof. Dr. Jörg P. Müller, Prof. Dr. Wolfgang Reif
• Personalization of the Search Process in Tourism
  Sven Doering
  Dissertation, University of Augsburg.
  1st Examiner: Professor Dr. W. Kießling
  2nd Examiner: Professor Dr. B. Möller

2007

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

2006

• Sicherheit von Smart Card-Anwendungen
  Dominik Haneberg
  
  Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, verfügbar als Buch
  Erstgutachter: Prof. Dr. Wolfgang Reif
  Zweitgutachter: Prof. Dr. Bernhard Bauer

2005

• Reflektive mobile Agenten in ubiquitären Systemen
  Faruk Bagci
  Dissertation, Universität Augsburg
  Erstgutachter: Prof. Dr. Theo Ungerer
  Zweitgutachter: Prof. Dr. Bernhard Bauer
• Zustandsprädiktoren zur Kontextvorhersage in ubiquitären Systemen
  Jan Petzold
  Dissertation, Universität Augsburg
  Erstgutachter: Prof. Dr. Theo Ungerer
  Zweitgutachter: Prof. Dr. Bernhard Bauer
• Verifying Concurrent Systems with Symbolic Execution
  Michael Balser
  Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2005
  Symbolic execution is an intuitive strategy to verify sequential programs, which can be automated to a large extent. We have successfully carried over this method of proof to the interactive verification of concurrent systems. The resulting strategy can be applied to the verification of complex parallel programs and arbitrary (linear) temporal formulas. Our underlying logic is defined such that operators for parallel programs and temporal logic can be arbitrarily nested. We support interleaving with explicit blocking, nondeterministic choice, and others. Most important, the semantics of all of the operators are compositional. Thus, systems can be abstracted and proofs can be decomposed. This ensures that our strategy of proof can be applied to the verification of large, concurrent systems.
• Verification of Java Card Programs
  Kurt Stenzel
  Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2005
  Erstgutachter: Prof. Dr. Wolfgang Reif
  Zweitgutachter: Prof. Dr. Bernhard Bauer

2004

• Personalized Query Result Presentation and Offer Composition for E-Procurement Applications
  Stefan Fischer
  Dissertation, University of Augsburg.
  1st Examiner: Professor Dr. W. Kießling
  2nd Examiner: Professor Dr. E. André
• Optimierung des Energieverbrauchs in echtzeitfähigen, mehrfädigen Prozessoren
  Sascha Uhrig
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. Theo Ungerer
  Zweitgutachter: Professor Dr. Uwe Brinkschulte, Universität Karlsruhe
• Ein echtzeitfähiges Java-System für einen mehrfädigen Java-Mikrocontroller
  Matthias Pfeffer
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. Theo Ungerer
  Zweitgutachter: Professor Dr. Uwe Brinkschulte, Universität Karlsruhe

2003

• Optimierung relationaler Präferenz-Datenbankanfragen
  Bernd Hafenrichter
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. W. Kießling
  Zweitgutachter: Professor Dr. B. Möller
• Preference Mining and Preference Repositories: Design, Algorithms and Personalized Applications
  Stefan Holland
  Dissertation, University of Augsburg.
  1st Examiner: Professor Dr. W. Kießling
  2nd Examiner: Professor Dr. M. Ester
• 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)

2002

• Multimedia Delivery für personalisierbare E-Services
  Matthias Wagner
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. W. Kießling
  Zweitgutachter: Professor Dr. B. Möller

2001

• Personalisierte Volltextsuche mit partiellen Ordnungen
  Achim Leubner
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. W. Kießling
  Zweitgutachter: Professor Dr. B. Möller
• Efficient Combination of Ranked Result Sets in Multi-Feature Applications
  Wolf-Tilo Balke
  Dissertation, University of Augsburg.
  1st Examiner: Professor Dr. W. Kießling
  2nd Examiner: Professor Dr. U. Güntzer

1999

• Elektronisches Handeln mit Rechenleistung
  Annja Zahn
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. H.-J. Töpfer
  Zweitgutachter: Professor Dr. T. Ungerer
• Konsistenzmechanismen in Software-DSM-Systemen auf der Basis strukturierter gemeinsamer Speicherbereiche
  Markus Zahn
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. H.-J. Töpfer
  Zweitgutachter: Professor Dr. T. Ungerer

1998

• Rthreads - Ein heterogenes Software Distributed Shared Memory System mit strukturierten Datenobjekten
  Bernd Dreier
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. H.-J. Töpfer
  Zweitgutachter: Professor Dr. T. Ungerer

1996

• Precision of Probabilistic Deduction under Taxonomic Knowledge
  Thomas Lukasiewicz
  Dissertation, University of Augsburg.
  1st Examiner: Prof. Dr. W. Kießling
  2nd Examiner: Prof. Dr. W. Dosch
• Deriving general schemes for classes of graph algorithms
  M. Russling
  Dissertation, Universität Augsburg.
  

1995

• Foundations of Semantic Subsumption in Deductive Databases
  Gerhard Köstler
  Dissertation, University of Augsburg.
  1st Examiner: Prof. Dr. W. Kießling
  2nd Examiner: Prof. Dr. B. Möller

1994

• Dynamische adaptive Lastverteilung für PVM mittels unscharfer Benutzerprofile -- PVM+
  Gerhard Wilhelms
  Dissertation, Universität Augsburg.
  Erstgutachter: Professor Dr. H.-J. Töpfer
  Zweitgutachter: Professor Dr. T. Ungerer

Habilitationen