Martin-Luther-Universität Halle-Wittenberg

Weiteres

Login für Redakteure

Promotionen am Institut für Informatik

2017

Glaß, Markus
Untersuchungen über den Einluss des IGF2 mRNA-bindenden Proteins 1 auf in-vitro-Tumorzellmigration mit Methoden der digitalen Bildverarbeitung und Genexpressionsanalysen
Betreuer: Prof. Dr. Stefan Posch
Weitere Gutachter: Prof. Dr. Stefan Hüttelmeier, Jun. Prof. Dr. Michaela Müller-Mc Nicoll (Uni Frankfurt)

Nettling, Martin
New Approaches for De-novo Motif Discovery Using Phylogenetic Footprinting: From Data Acquisition to Motif Visualization
Betreuer: Prof. Dr. Ivo Große
Weitere Gutachter: Prof. Dr. Peter Stadler (Uni Leipzig)

Patra Bhattacharya, Deblina
Study of small non-coding RNAs in plants by developing novel analysis pipelines
Betreuer: Prof Dr. Ivo Große
Weitere Gutachter: Prof. Dr. Peter Stadler (Uni Leipzig), Prof. Dr. Ivo Hofacker (Uni Wien)

2016

Bienert, Andreas
Visualisierung und grafische Anwendung von Kanalflächen
Betreuer: PD Dr. Peter Schenzel
Weitere Gutachter: Dr. Pavel Chalmovianský (University Bratislava)

Drost, Hajk-Georg
A bioinformatics study on transcriptome conservation patterns in animal and plant development
Betreuer: Prof. Dr. Ivo Große
Weitere Gutachter: Prof. Dr. Marcel Quint, Prof. Dr. Günther Theißen

Pöschl, Yvonne
Comparative transcriptomics and network reconstruction with applications to auxin signaling
Betreuer: Prof. Dr. Ivo Große
Weitere Gutachter: Dr. Dirk Walther (Max-Planck-Institut)

2015

Czauderna, Tobias
Methoden und Algorithmen für die Systems Biology Graphical Notation
Betreuer: Prof. Dr. Falk Schreiber
Weitere Gutachter: Prof. Dr. Ursula Kummer (Universität Heidelberg)

Hartmann, Anja
Integrative Analyse der Struktur und Dynamik metabolischer Modelle
Betreuer: Prof. Dr. Falk Schreiber
Weitere Gutachter: Prof. Dr. Ina Koch (Universität Frankfurt)

2014

Eggeling, Ralf
Learning inhomogeneous parsimonious Markov models with application to DNA sequence analysis
Betreuer: Prof. Dr. Ivo Große
Weitere Gutachter: Prof. Dr. Jesús Cerquides Bueno (Universitat de Barcelona)

2013

Grafahrend-Belau, Eva
Rekonstruktion, Analyse und Visualisierung pflanzenbiologischer Stoffwechselprozesse
Betreuer: Prof. Dr. Falk Schreiber
Weitere Gutachter: Prof. Dr. Stefan Schuster (Universität Jena)

Stussak, Christian
On reliable visualization algorithms for real algebraic curves and surfaces
Betreuer: Doz. Dr. Peter Schenzel
Weitere Gutachter: Pavel Chalmoviansky (Universität Bratislava, Slowakei)

2012

Baker, Syed Murtuza
A parameter estimation framework for kinetic models of biological systems
Betreuer: Prof. Dr. Falk Schreiber
Weitere Gutachter: Dr. Björn H. Junker (IPK Gatersleben), Prof. Dr. Michael Mangold (Universität Magdeburg)

Gohr, André
Learning and visualizing topics and their change with time for the exploratory analysis of social tags and multilingual topic of modeling of chemical compounds
Betreuer: Dr. Alexander Hinneburg
Weitere Gutachter: Prof. Dr. Stefan Wrobel (Fraunhofer IAIS)

Mirschel, Sebastian
Interactive Visualization of Complex Structures in Modular Models for Systems Biology
Betreuer: Prof. Dr. Falk Schreiber
Weitere Gutachter: Prof. Dr. Andreas Kerren (UniversitätVäxjö)

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)

Rohn, Hendrik
Integration, Kombination und Visualisierung multimodaler biologischer Experimentdaten
Betreuer: Prof. Dr. Falk Schreiber
Weitere Gutachter: Prof. Dr. Oliver Kohlbacher (Universität Tübingen)

Wolf, Sebastian
In silico Fragmentierung für die computergestützte Auswertung von Tandem-Massenspektrometrie Daten
Betreuer: Prof. Dr. Matthias Müller-Hannemann
Weitere Gutachter: Prof. Dr. Oliver Kohlbacher (Universität Tübingen)

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)

Zum Seitenanfang