Exploiting Explicit Context Information for the Automatic Generation of Simulation Experiments
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Jane Hillston (University of Edinburgh, UK))
                                        Nikolas Popper(TU Wien, Österreich)

Efficient Abstraction and Execution of Stochastic Simulation Models
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Kevin Burrage (Queensland University of Technology, Australia)
                                        Alessandro Pelligrini (Tor Vergata University of Rome, Italy)

Agent-based modelling to investigate angler behaviour in relation to management decisions and stock development.
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Christian Skov (Technical University of Denmark, National Institute of Aquatic Resources)
                                        Harry Vincent Strehlow (Thünen-Institut für Ostseefischerei)

Integrating Knowledge about Complex Adaptive Systems - Insights from Modellng the Eastern Baltic Cod.
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Uwe Krumme (Thünen-Institut für Ostseefischerei)
                                        Volker Grimm (University of Potsdam)

Domain-specific Languages for Modeling and Simulation
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Rocco Di Nicola ( IMT Lucca, Italy)
                                        Hans Vangheluwe (University of Antwerp, Belgium)

Toward Composing Variable Structure Models and Their Interfaces: A Case of Intensional Coupling Definitions
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Bernard P. Zeigler (University of Arizona, USA)
                                        Hans Vangheluwe (University of Antwerp, Belgium)

Simulator Adaption at Runtime for Component-Based Simulation Software
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Georgios Theodoropoulos(Durham University, UK)
                                        Francesco Quaglia (Università di Roma "Tor Vergata", Italy)

Reusing Simulation Experiments for Model Composition and Extension
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Jane Hillston(University of Edinburgh, UK)
                                        François Fages (Paris INRIA, France)

ML-Space: Hybrid Spatial Gillespie and Brownian Motion Simulation at Multiple Levels, and a Rule-based Description Language
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Heinz Koeppl (TU Darmstadt)
                                        James Faeder (University of Pittsburgh, USA)

Towards Reproducible Simulation Studies with James II
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Oliver Rose (Universität der Bundeswehr München)
                                        Luiz Felipe Perrone (Bucknell University, USA)

Exploring the Spatio-temporal Dynamics of Lipid Rafts and their Role in Signal Transduction
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Kevin Burrage (University of Oxford, UK)
                                        Edda Klipp (Humboldt-Universität zu Berlin)

Contributions to Models of Single Neuron Computation in Striatum and Cortex
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Lars Schwabe (xplosion interactive GmbH)
                                        D. James Surmeier (Northwestern University, USA)

Toward Guiding Simulation Experiments
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Corrado Priami (COSBI, University of Trento, Italy)
                                        Luiz Felipe Perrone (Bucknell University, USA)

Toward Accessible Multilevel Modeling in System Biology: A Rule-Based Language Concept
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Ursula Kummer (University of Heidelberg)
                                        James Faeder (University of Pittsburgh, USA)

A Continuous-Time Microsimulation and First Steps Towards a Multi-Level Approach in Demography
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Jutta Gampe (MPIDR, Rostock)
                                        Frans Wilekens (NIDI, Netherland)

Spatio-Temporal Dynamics of the Wnt/β-catenin Signaling Pathway: A Computational Systems Biology Approach
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Arndt Rolfs (University of Rostock)
                                        James Faeder (University of Pittsburgh, USA)

Efficient Non-Spatial and Spatial Simulation of Biochemical Reaction Networks
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Koichi Takashi (RIKEN, Yokohama, Japan)
                                        Kevin Burrage (University of Oxford, UK)

Automatic Algorithm Selection for Complex Simulation Problems
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Georgios Theodoropoulos (University of Birmingham, UK)
                                        David Nicol (University of Illinois at Urbana-Champaign, USA)

Reactions-Constraints in the π-Calculus for the Spatial and Stochastic Modeling of Cell-Biological Processes
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Joachim Niehren (INRIA, University of Lille, France)
                                        Corrado Priami (COSBI, University of Trento, Italy)

Dienstenkomposition in intelligenten Umgebungen basierend auf KI-Planung
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Birgitta König-Riss (University of Jena)
                                        Thomas Kirste (University of Rostock)

Definition und Realisierung einer Plattform zur modellbasierten Komposition von Simulationsmodellen
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Axel Lehmann (Universität der Bundeswehr München)
                                        Andreas Tolk (Old Dominion University, USA)

Konzeption, Realisierung und Verwendung eines allgemeinen Modellierungs-, Simulations- und Experimentiersystems - Entwicklung und Evaluation effizienter Simulationsalgorithmen
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Klaus G. Troitzsch (University of Koblenz-Landau)
                                        Axel Lehmann (Universität der Bundeswehr München)

Ein Tutoring Prozess Modell für fallbasierte Intelligente Tutoring Systeme
                              Gutachter:
                                        Adelinde M. Uhrmacher (University of Rostock)
                                        Michael Weber (University of Ulm)
                                        Bodo Urban (University of Rostock)