Deutsch Intern
    Chair of Computer Science I - Algorithms, Complexity, and Knowledge-Based Systems

    Completed Theses

    2017

    • Julian Walter: Rotation and scale invariant template maching for historical maps (Bachelor Thesis)
      [pdf], [poster]

    • Joachim Spoerhase: Approximation Algorithms for Network Design and Location Planning (Habilitation)
      [pdf], [slides]

    2016

    • Eike-Christian Weiss: Multi-Paradigm Programming in Java and Prolog for Games Engineering (Bachelor Thesis)

    • Andre Löffler: Snapping Graph Drawings to the Grid (Master Thesis)
      [pdf]

    • Thomas Handwerker: Testing Source Code with the Logic Programming Language Prolog (Master Thesis)
      [pdf], [slides]

    • Martin Becker: String Matching von historischen Toponymen (Bachelor Thesis)
      [pdf]

    • Leon Sering: A Combinatorial Upper Bound on the Length of Twang Cascades (Master Thesis)
      [pdf]

    • Fabian Feitsch: From Many User-Contributed Polygons to One Polygon Consensus (Bachelor Thesis)
      [pdf], [slides]

    • Ursula Scherm: Covering Vertices and Edges of Graphs with the Minimum Number of Lines [in German] (Bachelor Thesis)
      [pdf]

    2015

    • Wadim Reimche: Slanted Orthogonal Drawings of Graphs [in German] (Master Thesis)
      [pdf]

    • Titus Dose: Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers [in German] (Master Thesis)
      [pdf]

    • Johannes Zink: Faster Force-Directed Graph Drawing with the Well-Separated Pair Decomposition [in German] (Bachelor Thesis)
      [pdf], [slides]

    • Adrian Loy: Optimization of Cutting Schedules [in German] (Bachelor Thesis)
      [pdf], [slides]

    • Philipp Kindermann: Angular Schematization in Graph Drawing (PhD Thesis)
      [pdf], [slides]

    • Nadine Schwartges: Dynamic Label Placement in Practice (PhD Thesis)
      [pdf], [slides]

    • Matthias Neumann: Drawing of Networks Considering Edge Lengths [in German] (Bachelor Thesis)
      [pdf], [slides]

    • Maximilian Witek: Multiobjective Traveling Salesman Problems and Redundancy of Complete Sets (PhD Thesis)
      [pdf]

    • Larissa Michler: Stabilität vollständiger Mengen (Bachelor Thesis)

    • Sandra Lederer : Multiparadigmen-Programmierung mit Java und Prolog (Bachelor Thesis)

    • Lukas Beckmann: Analyse von Umkehrpunkten auf GPS-Trajektorien unter Verwendung der Fréchet-Distanz (Bachelor Thesis)
      [pdf], [slides]

    2014

    • Lukas Bott: Optimization and Automatization in Commissioning (Bachelor Thesis)

    • Lorenz Reinhart: Rectangle Representations of Weighted Outerplanar Graphs [in German] (Bachelor Thesis)
      [pdf], [slides]

    • Fabian Lipp: Boundary Labeling for Annotations in Texts (Master Thesis)
      [pdf], [slides]

    • Martin Fink: Crossings, Curves, and Constraints in Graph Drawing (PhD Thesis)
      [pdf], [slides]

    • Bernhard Häussner: Implementation of an Algorithm for Smooth Orthogonal Drawings of Planar Graphs [in German] (Bachelor Thesis)
      [pdf], [slides]

    • Maximilian Aulbach: Visualizing Weighted Graphs in Restricted Area [in German] (Bachelor Thesis)
      [pdf], [slides]

    • Magnus Lechner: Concentric Metro Maps [in German] (Bachelor Thesis)
      [pdf], [slides]

    • Benedikt Budig: Algorithmic Analysis of Historical Maps (Master Thesis)
      [pdf], [slides]

    • Dieter Lutz: Realtime Linear Cartograms using Least-Squares Optimisation (Master Thesis)
      [pdf]

    • Agota Lovas: On F-Automata and Equivalence Classes of Boolean Functions (Diploma Thesis)

    • Uwe Herkert: Entwicklung eines Übersetzers für While-Programme (Bachelor Thesis)

    • Geng Sun: Development of a DSL Editor for Simplifying Rule Creation in Drools (Master Thesis)

    • Mirco Lukas: Erweiterung der Dialektdatenbank BayDat um eine Kartierungsfunktion (Bachelor Thesis)

    • Xiaofen Liu: Abgleich von SQL–Tabellen und CSV–Dateien mit Hilfe von Embedded SQL (Bachelor Thesis)

    2013

    • Hagen Schwaß: Symmetry detection in building outlines [in German] (Master Thesis)
      [pdf], [slides]

    • Julian Schuhmann: Drawing Calculation Graphs [in German] (Master Thesis)
      [pdf], [slides]

    • Christian Volkert: Merging Curves for Improving curvilinear Metro Maps [in German] (Bachelor Thesis)

    • Leon Sering: Grapheneinbettung mit vorgegebener Kantenlänge (Bachelor Thesis)

    • Titus Dose: Effiziente Reduktionen zwischen NP-vollständigen Problemen (Bachelor Thesis)

    • Torbjørn Cunis: Decidability of Differences of Level 3/2 Languages of the Straubing Therien Hierarchy (Bachelor Thesis)

    • Johannes Blum: Transformation of Register Machine Programs (Bachelor Thesis)

    2012

    • Sergiy Pakholchak: Dynamic Labeling of Streets [in German] (Bachelor Thesis)
      [pdf], [slides]

    • Benjamin Morgan: Placing Street Labels in Interactive Navigational Maps (Bachelor Thesis)
      [pdf], [slides]

    • Krzysztof Fleszar: Generalized Minimum Manhattan Networks (Master Thesis)
      [pdf], [slides]

    • Ilia Belozerov: Packing Algorithms for Boxes [in German] (Bachelor Thesis)
      [pdf], [slides]

    • Fabian Lipp: Computing the Flip Distance of Triangulations (Bachelor Thesis)
      [pdf], [slides]

    • Benedikt Budig: An algorithm for map matching on incomplete road databases (Bachelor Thesis)
      [pdf], [slides]

    • Nils Wisiol: Simulation of Proof Systems (Bachelor Thesis)

    • Christian Reitwiessner: Multiobjective Optimization and Language Equations (PhD Thesis)

    • Florian Stefan: XXUL - Deklarative GUI-Entwicklung mit XPCE (Diploma Thesis)

    • Esther Fee Feichtner: Musikanalyse mit MusicXML-Daten - Implementierung in Prolog (Diploma Thesis)

    2011

    • Philipp Kindermann: Tour Planing with Time Windows for Several Vehicles [in German] (Diploma Thesis)
      [pdf]

    • Julian Schuhmann : Automated Drawing of Metro Maps using Bézier Curves [in German] (Bachelor Thesis)
      [pdf], [slides]

    • Nadine Schwartges : Approximation Algorithms for the Directed Maximum Leaf Spanning Tree Problem [in German] (Diploma Thesis)
      [pdf]

    • Christian Moldovan: Aggregation in Node-Partitioned Graphs [in German] (Bachelor Thesis)

    • Oleksandr Kovalchuk: Deklarative Methoden zur Analyse von metabolischen Pathways (Diploma Thesis)

    2010

    • Johannes Schnappauf: Detection of Symmetries in Polygons [in German] (Bachelor Thesis)

    • Joachim Spoerhase : Competitive and Voting Location (PhD Thesis)
      [pdf]

    2009

    • Martin Fink : Centrality Measures in Complex Networks based on Shortest Paths [in German] (Diploma Thesis)
      [pdf]

    • Martin Knauer : Spannende Bäume unter Beschränkung der Blätterzahl - Approximative Verfahren (Diploma Thesis)

    • Julian Einwag: Approximation und Visualisierung mehrkriterieller Optimierungsprobleme (Diploma Thesis)

    Contact

    Lehrstuhl für Informatik I (Effiziente Algorithmen und wissensbasierte Systeme)
    Am Hubland
    97074 Würzburg

    Phone: +49 931 31-85054
    Email

    Find Contact

    Hubland Süd, Geb. Z8 Hubland Süd, Geb. M2