---

Promotionen am Institut für Informatik

2012

Missal, Dirk
Formal Synthesis of Safety Controller Code for Distributed Controllers
Betreuer: Prof. Dr.-Ing. Hans-Michael Hanisch
Weitere Gutachter: Prof. Dr. Zhiwu Li

Richter, Dirk
ProgrammAnalysen zur Verbesserung der SoftwareModellPrüfung
Betreuer: Prof. Dr. Wolf Zimmermann
Weitere Gutachter: Prof. Dr. Jens Knoop (TU Wien)

2011

Amir, Mohamad Fauzan
Modeling and Analysis for Optimal Scheduling of Biodiesel Batch-Plants
Betreuer: Prof. Dr.-Ing. Hans-Michael Hanisch
Weitere Gutachter: Prof. Dr. Zbigniew Banaszak

Berger, Annabell
Directed Degree Sequences
Gutachter: Prof. Müller-Hannemann
Weitere Gutachter: Prof. Dr. Dieter Rautenbach (Universität Ulm)

Fretter, Christoph
Impact of Motif Content on Dynamic Function of Complex Networks
Betreuer: Prof. Dr. Matthias Müller-Hannemann
Weitere Gutachter: Prof. Dr. Stefan Bornholdt (Universität Bremen) und Prof. Dr. Marc-Thorsten Hütt (Jacobs-Universität Bremen)

Gerber, Christian
Implementation and Verification of Distributes Control Systems
Betreuer: Prof. Dr.-Ing. Hans-Michael Hanisch
Weitere Gutachter: Prof. Ph.Dr. Mengchu Zhou

Koschützki, Dirk
Zentralitätsanalyse molekularbiologischer Netzwerke
Betreuer: Prof. Dr. Falk Schreiber
Weitere Gutachter: Prof. Dr. Ralf Hofestädt (Universität Bielefeld)

Maragkakis, Emmanouil I.
Bioinformatics approach for microRNA target prediction an funktional analysis
Betreuer: Prof. Dr. Ivo Große
Weitere Gutachter: Prof. Dr. Wojciech Makalowski (Universität Münster) und Dr. Artemis G. Hatzigeorgiou (University of Pennsylvania)

2010

Both, Andreas
Protocol Conformance Checking of Component-based Systems and Service-oriented Architectures
Betreuer: Prof. Dr. Wolf Zimmermann
Weitere Gutachter: Prof. Dr.-Ing. Heinz Schmidt (RMIT University, Melbourne)

Grau, Jan
Discriminative Bayesian principles for predicting sequence signals of gene regulation
Betreuer: Prof. Dr. Stefan Posch
Weitere Gutachter: Prof. Dr. Alexander Schliep (Rütgers University)

Hirsch, Martin
Systematic Design of Distributed Industrial Manufacturing Control Systems
Betreuer: Prof. Dr.-Ing. Hans-Michael Hanisch
Weitere Gutachter: Prof. Dr.-Ing. Georg Frey

Keilwagen, Jens
Predicting DNA binding sites using generative, discriminative, and hybrid learning principles
Betreuer: Prof. Dr. Ivo Große
Weitere Gutachter: Dr. Gunnar Rätsch (MPI Tübingen)

Mielke, Jöran
Verfeinerung der Hausdorff-Dimension und Komplexität von ω-Sprachen
Betreuer: Prof. Dr. Ludwig Staiger
Weitere Gutachter: Prof. Dr. Vasco Brattka (University of Cape Town)

Seifert, Michael
Extensions of Hidden Markov Models for the analysis of DNA microarray data
Betreuer: Prof. Dr. Ivo Große
Weitere Gutachter: Prof. Dr. Rainer Breitling (University of Glasgow)

Wefel, Sandro
Hardware-Crypto-Token gestütztes Single Sign-On für zertifikatsbasierte Authentifizierung
Betreuer: Prof. Dr. Paul Molitor
Weitere Gutachter: Prof. Dr.-Ing. Jana Dittmann (Universität Magdeburg)

2009

Gutzeit, Oliver
Modellbasierte Entscheidungsunterstützung bei der Fertigung bahngeführter Materialien
Betreuer: Prof. Dr.-Ing. Hans-Michael Hanisch
Weitere Gutachter: Prof. Dr.-Ing. Birgit Vogel-Heuser

Karras, Sirko
Systematischer modellgestuetzter Entwurf von Steuerungen fuer Fertigungssysteme
Betreuer: Prof. Dr.-Ing. Hans-Michael Hanisch
Weitere Gutachter: Prof. Dr. Ekkart Kindler (Technical University of Denmark)

Klukas, Christian
Analyse und Visualisierung von Experimentdaten im Kontext biologischer Netzwerke
Betreuer: Prof. Dr. Falk Schreiber
Weitere Gutachter: Prof. Dr. Ralf Hofestädt (Universität Bielefeld)

Tautenhahn, Ralf
Feature-Detektion, Annotation und Alignment von Metabolomik LC/MS Daten
Betreuer: Prof. Dr. Stefan Posch
Weitere Gutachter: Prof. Dr. Sebastian Böcker (Universität Jena)

2008

Pollmächer, Dirk
Konstruktion korrekter Codegeneratoren für speicherprogrammierbare Steuerungen
Betreuer: Prof. Dr. Wolf Zimmermann
Weitere Gutachter: Prof. Dr. Wolfgang Reisig (Humboldt-Universität zu Berlin)

2006

Erz, Gregor
Automatische Analyse von Minirhizotronbildern
Betreuer: Prof. Dr. Stefan Posch
Weitere Gutachter: Prof. Dr. Joachim Denzler (Universität Jena)

2005

Möller, Birgit
Multi-Mosaikbilder - Ein Ansatz zur ikonischen Repräsentation von Bilddaten aktiver Kameras
Betreuer: Prof. Dr. Stefan Posch
Weitere Gutachter: Prof. Gerhard Sagerer (Universität Bielefeld)

2002

Hinneburg, Alexander
Density-Based Clustering in large Databases using Projections and Visualizations
Betreuer: Prof. Dr. Daniel Keim (jetzt: Universität Konstanz)
Weitere Gutachter: Prof. Dr. Heikki Mannila (University of Helsinki) und Prof. Dr. Stefan Posch (Universität Halle)

Ritter, Jörg
Wavelet based image compression using FPGAs
Betreuer: Prof. Dr. Paul Molitor
Weitere Gutachter: Prof. Dr. Scott Hauck (University of Washington) und Prof. Dr. Thomas Rauber (Universität Bayreuth)

2001

Fissgus, Ursula
A tool for generating programs with mixed task and data parallelism
Betreuer: Prof. Dr. Thomas Rauber (jetzt: Universität Bayreuth)
Weitere Gutachter: Frau Prof. Dr. Gudula Rünger (Universität Chemnitz) und  Prof. Dr. Wolf Zimmermann (Universität Halle)

2000

Stiebe, Ralf
Untersuchungen zu Kantengrammatiken und Valenzgrammatiken
Betreuer: Prof. Dr. Ludwig Staiger
Weitere Gutachter: Prof. Dr. Jürgen Dassow (Universität Magdeburg) und Frau Prof. Dr. Annegret Habel (Universität Oldenburg)

1999

Mohnke, Janett
A Signature-Based Approach to Formal Logic Verification
Betreuer: Prof. Dr. Paul Molitor
Weitere Gutachter: Prof. Dr. Bernd Becker (Universität Freiburg) und Prof. Dr. Sharad Malik (Princeton University)

Up