Martin Luther University Halle-Wittenberg

Further settings

Login for editors

Successful doctorates

2020-2029

Rückert, Ralf (2023). Disruptions in public transport : from dispatching assistance to improved robustness    Betreuer: Prof. Dr. Matthias Müller-Hannemann. Weiterer Gutachter: Prof. Dr. Marc Goerigk (Uni Passau).

Schüler, Jördis-Ann (2022). Entwicklung  des Annotationsprogramms ChemFrag zur Aufklärung von Fragment-Ionen in  Massenspektren und Fragmentierungswegen sowie eines Verfahrens zum  schnellen Testen von Molekül-Äquivalenzen (MET)    Betreuer: Prof. Dr. Matthias Müller-Hannemann. Weiterer Gutachter: Prof. Dr. Sebastian Böcker (Uni Jena).

Ruttkies, Christoph (2022). Enhancing the identification of small molecules based on tandem mass spectra and combinatorial fragmentation    Betreuer: PD Dr. Steffen Neumann. Weiterer Gutachter: Prof. Dr. Dirk Walther (Max-Planck-Institut für Molekulare Pflanzenphysiologie, Potsdam).

Weging, Silvio (2022). Novel resource-efficient methods for robust and accurate taxonomic profiling of metagenomic data    Betreuer: Prof. Dr. Ivo Große. Weiterer Gutachter: Prof. Dr. Burkhard Morgenstern (Universität Göttingen).

Gabel, Alexander (2021). Computational analysis of transcriptomic, phylotranscriptomic, and metabolomic diversity    Betreuer: Prof. Dr. Ivo Große. Weiterer Gutachter: Prof. Dr. Peter Stadler (Uni Leipzig).

2010-2019

Weißbach, Mandy (2019). Deadlockanalyse Service-orientierter Softwaresysteme    Betreuer: Prof. Dr. Wolf Zimmermann. Weiterer Gutachter: Prof. Dr. Welf Löwe (Lennaeus University Växjö, Sweden).

Misiak, Danny (2019). Morphologische und transkriptomische Analyse neuronaler Zellen basierend auf Verfahren der Bildverarbeitung und Sequenzanalyse    Betreuer: Prof. Dr. Stefan Posch. Weitere Gutachter: Prof. Dr. Stefan Hüttelmeier (Medizinische Fakultät), Prof. Dr. Johannes Schulte.

Trutschel, Diana (2019). Multivariate statistical methods to analyse multidimensional data in applied life science    Betreuer: Prof. Dr. Ivo Große. Weitere Gutachter: Prof. Dr. André Scherag (Universiät Jena), Dr. Steffen Neumann (Leipniz Institut für Pflanzenbiochemie Halle).

Berg, Christian (2019). Typische Muster bei der DSL-Implementierung unter Verwendung von geordneten Attributgrammatiken. Betreuer: Prof. Dr. Wolf. Zimmermann. Weiterer Gutachter: Prof. Dr. Uwe Aßmann (TU Dresden).

Rechner, Steffen (2018). Markov Chain Monte Carlo algorithms for the uniform sampling of combinatorial objects. Betreuer: Prof. Dr. Matthias Müller-Hannemann. Weitere Gutachter: Prof. Dr. Ulrik Brandes (ETH Zürich).

Treutler, Hendrik (2017). Bioinformatics tools for mass spectrometry, phylogenetic footprinting, and the integration of biological data. Betreuer: Prof. Dr. Ivo Große. Weitere Gutachter: Prof. Dr. Burkhard Morgenstern (Universität Göttingen), Dr. Steffen Neumann (Leipniz Institut für Pflanzenbiochemie Halle).

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

Patra Bhattacharya, Deblina (2017). 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).

Glaß, Markus (2017). 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).

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

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

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

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

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

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

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

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

Baker, Syed Murtuza (2012). 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é (2012).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
Weiterer Gutachter: Prof. Dr. Stefan Wrobel (Fraunhofer IAIS).

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

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

Richter, Dirk (2012). ProgrammAnalysen zur Verbesserung der Software-Modell-Prüfung. Betreuer: Prof. Dr. Wolf Zimmermann. WeitereR Gutachter: Prof. Dr. Jens Knoop (TU Wien)

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

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

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

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

Fretter, Christoph (2011). 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 (2011). Implementation and Verification of Distributes Control Systems. Betreuer: Prof. Dr.-Ing. Hans-Michael Hanisch. Weiterer Gutachter: Prof. Ph.Dr. Mengchu Zhou

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

Maragkakis, Emmanouil I. (2011). 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)

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

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

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

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

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

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

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

2000-2009

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

Karras, Sirko (2009). 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 (2009). Analyse und Visualisierung von Experimentdaten im Kontext biologischer Netzwerke   . Betreuer: Prof. Dr. Falk Schreiber
Weiterer Gutachter: Prof. Dr. Ralf Hofestädt (Universität Bielefeld).

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

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

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

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

Hinneburg, Alexander (2002). 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 (2002). 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)

Fissgus, Ursula (2001). 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).

Stiebe, Ralf (2000). 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)

The very first doctorate at the institute

Mohnke, Janett    (1999). 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