piwik-script

Deutsch Intern
    Chair of Computer Science I - Algorithms and Complexity

    Theses

    We offer topics for bachlor and master theses as well as for master practica. The topics usually align with our research interests. When assigning topics, it is important for us that, on the one hand, they fit to the student and, on the other hand, that they are interesting for us from a research perspective. Therefore, we do not maintain a list of fixed topics. If you are interested in doing your thesis with us, please contact Alexander Wolff (for algorithms) or Christian Glaßer (for complexity theory) or any of our postdocs or PhD students. In a short meeting, we can then discuss your interests and find a suitable topic together.

    To help you start writing your thesis, we offer a LaTeX-template together with some guides and tips. Please read them carefully.


    Completed Theses

    2020

    • Lukas Garbe: Segment Number of Maximal Outerplanar Graphs (Teacher's Thesis)
      [pdf]

    • Jakob Geiger: Cluster-Minimization in Geometric Graphs (Master Thesis, in German)
      [pdf], [slides]

    • Jakob Geiger: Geometric Clustering (Project Report, in German)
      [pdf]

    • Julian Walter: A Variant of Sugiyama's Algorithm for Undirected Graphs with Port Constraints (Master Thesis, in German)
      [pdf], [slides/pdf], [slides/pptx]

    • Felix Klesen: Algorithms for Automated Floor Planning (Master Thesis)
      [pdf]

    • Leon Füger: Drawing Hypergraphs in 3D via the Incidence Poset  (Bachelor Thesis, in German)
      [pdf]

    • Sebastian Müller: Comparison of Drawing Styles for Planar Graphs  (Bachelor Thesis, in German)
      [pdf]

    • Dominique Bau: Interactive Visualization of RDF Graphs (Project report, in German)
      [pdf]

    • David Fischer: Implementing Algorithms for the Minimum Convex Partition Problem (Project report, in German)
      [pdf]

    • Michael May: An Algorithm for Optimizing an Areal Partition (Bachelor Thesis, in German)
      [pdf]

    2019

    • Michael Kreuzer: Interactive Visualization and Comparison of Graphs in Virtual Reality (Bachelor Thesis)
      [pdf], [poster]

    • Chris Rettner: Flipped Bitonic st-Orderings of Upward Plane Graphs (Bachelor Thesis)
      [pdf]

    • Olga Frost: A Knowledge-based Software System for Time and Human Resource Management in Prolog (Bachelor Thesis)

    • Julian Walter: Partial Zooming in Large Network Graphs (Project report, in German)
      [pdf], [slides]

    2018

    • Fabian Feitsch: Public Transportation in Rural Areas: The Clustered Dial-a-Ride Problem (Master Thesis)
      [pdf], [slides]

    • Krzysztof Fleszar: Network-Design-Problems in Graphs and on the Plane (Dissertation)
      [pdf], [slides]

    • Marie Diana Sieper: Approximation Algorithms for Solving the Quality-of-Service Multicast Tree Problem (Bachelor Thesis)
      [pdf]

    • Maike Rösch: Approximation Algorithms for Set-Cover Problems with Rectangles (Bachelor Thesis, in German)
      [pdf], [poster]

    • Julia Kübert: Attempto Controlled English für Amazon Alexa (Bachelor Thesis, in German)
      [pdf]

    • Sandra Lederer: Analyse und Optimierung verschiedener Algorithmen zur Synchronisation von SQL-Datenbanken (Master Thesis, in German)
      [pdf]

    2017

    • Dongliang Peng: An Optimization-Based Approach For Continuous Map Generalization (PhD Thesis)
      [pdf], [slides]

    • Johannes Zink: 1-Planar RAC Drawings with Bends (Masterarbeit)
      [pdf]

    • Jonas Jung: Recognition of Rivers in Areal Photographs through Machine Learning [in German] (Bachelor Thesis)
      [pdf]

    • Jona Kalkus: An Interactive Visualisation for Definite Clause Grammars (Master Thesis)
      [pdf]

    • Stefan Bodenlos: Integration of Prolog and ClioPatria in Python (Master Thesis)
      [pdf]

    • Johannes Blum: Scalability of Route Planning Techniques and Empirical Growth of Road Network Parameters (Master Thesis)
      [pdf]

    • Felix Klesen: Recognition of Rivers in Areal Photographs [in German] (Bachelor Thesis)
      [pdf]

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

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

    • Ludwig Ostermayer:  Integration of Prolog and Java with the Connector Architecture CAPJa (Dissertation)
      [pdf]

    • Bernhard Häussner: Visual Comparison of Business Process Flowcharts (Master Thesis)
      [pdf], [slides]

    • Peter Markfelder: Optimale Zeichnungen von Storylines mit Blockkreuzungen (Bachelorarbeit)
      [pdf]

    • Mirco Lukas: Integration of the Connector Architecture CAPJa in a Development Environment (Master Thesis)
      [pdf]

    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]

    • Johannes Zink: Drawing Circuit Diagrams Using KLayLayered from KIELER [in German] (Master Project)
      [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)