Abschlussarbeiten

Wir bieten Themen für Bachelor- und Masterarbeiten und für das Masterpraktikum an. Die Themen stammen üblicherweise aus einem unserer Forschungsgebiete. Bei der Vergabe von Themen ist es uns besonders wichtig, dass sie zur jeweiligen Studentin oder zum jeweiligen Studenten passen und auch für uns wissenschaftlich interessant sind. Deswegen gibt es hier keine Liste mit feststehenden Themen; wenden Sie sich bei Interesse stattdessen an Alexander Wolff (für Algorithmen), an Christan Glaßer (für Komplexitätstheorie), an Marie Schmidt (für Optimierung) oder an eineN unserer MitarbeiterInnen. Wir können dann in einem kurzen Treffen mit Ihnen die Interessenbereiche abstecken und gemeinsam ein passendes Thema finden. Sie sollten vorher (oder wenigstens parallel zur Abschlussarbeit) ein Seminar am Lehrstuhl gemacht haben, um Einblick in das wissenschaftliche Arbeiten in unserem Gebiet gekommen zu haben.

Um Ihnen den Einstieg in Ihre Abschlussarbeit zu erleichtern, stellen wir eine LaTeX-Vorlage zusammen mit einigen Erklärungen und Hinweisen zur Verfügung. Bitte lesen Sie diese sorgfältig durch. Nach einer Einarbeitungsphase melden wir Ihre Abschlussarbeit gemeinsam beim Prüfungsamt an. (Das Prüfungsamt bietet Formulare für Bachelor- und Masterarbeit.)

Abgeschlossene Arbeiten

2024

• Linus Pleyer: Existenz (l-)optimaler Beweissysteme für schwache Berechnungsmodelle (Bachelorarbeit)
  [pdf]

• Anton Ehrmanntraut: Komplexität von Suchproblemen und Beweissystemen (Masterarbeit)
  [pdf]
   

2023

• Tran Duy-Khang: Alternative knickminimale orthogonale Repräsentationen schnell berechnen (Bachelorarbeit)
  [pdf]

• Cato Sacher: Komplexität arithmetischer Schaltkreise über natürlichen Zahlen mit Addition, Multiplikation und Division (Masterarbeit)
  [pdf]

• Sebastian Körner: Stauchung orthogonaler Graphenzeichnungen mithilfe komplexer Schnitte (Bachelorarbeit)
  [pdf]

• Pascal Schlereth: Complexity of arithmetic circuits over natural numbers with minimum and maximum (Masterarbeit)
  [pdf]

• David Dingel: Separation der relativierten Vermutungen SAT und TFNP (Bachelorarbeit)
  [pdf]

• Leo Puppe: Vergleich von einer anfragebasierten und fahrplanbasierten Minibuslinie durch Simulation (Bachelorarbeit)
  [pdf]

• Andreas Maier: Reducing cancelled lessons by improving
  timetables with stochastic optimization (Bachelorarbeit)
  [pdf]

2022

• Tim Gerlach: Varianten des verallgemeinerten Minimalen-Manhattan-Netzwerk-Problems (Bachelorarbeit)
  [pdf]

• Aaron Neugebauer: Rainbow Matchings in Color-Spanned Graphs (Bachelorarbeit)
  [pdf]

• Joshua Geis: Aufwärtsplanare Zeichnungen von Außenpfaden unter Verwendung von drei Steigungen (Bachelorarbeit)
  [pdf]

• Arash Torabi Goodarzi: Crossing Reduction in Circular Layouts under Grouping Constraints (Bachelorarbeit)
  [pdf]

• Tobias Schopka: Generalisierung orthogonal gezeichneter Pläne (Bachelorarbeit)
  [pdf]

• Florian Timpf: Hinreichende und notwendige Voraussetzungen für die Realisierbarkeit eines Tangles (Bachelorarbeit)
  [pdf]

• Lorena Stäblein: Morphen spezieller zyklischer ebener Graphen auf kleinen Gittern in drei Dimensionen (Bachelorarbeit)

• Vasil Alistarov: Computing Tangles Using a SAT Solver (Masterpraktikum)
  [pdf]

• Jonas Barth: Übersichtliches Zeichnen von literarischen Netzwerken mittels des Sugiyama-Frameworks (Bachelorarbeit)
  [pdf]

• Tim Herrmann: Storyline-Visualisierungen für wissenschaftliche Kollaborationsgraphen (Masterarbeit)
  [pdf], [Folien]

• León Lang: Regelmäßige Außenhindernisrepräsentation von kleinen planaren Graphen (Bachelorarbeit)
  [pdf]

• Florian Mittelstädt: Über das Färben verallgemeinerter Intervallgraphen (Masterarbeit)
  [pdf]

• Marie Diana Sieper: Parameterized Complexity of Constrained and Partial Level Planarity (Masterarbeit)
  [pdf]

• Ina Goeßmann: On the Segment Number of 4-Regular Planar Graphs (Masterarbeit)
  [pdf]

2021

• David Dingel: Beschriftungsproblem in hierarchisch gelayerten Graphen (Praktikumsbericht)
  [pdf]

• Martin Herold: Hierarchisches Clustering (Praktikumsbericht)
  [pdf]

• Michael Leeming: Das Lokale Kantenlängenverhältnis – Komplexität und Greedy-Algorithmus (Masterarbeit)
  [pdf]

• Tim Janiak: Interactive Design of Metro Maps (Masterarbeit)
  [pdf]

• Alexander Erhardt: Die schwache Geradenüberdeckungszahl in 3D für eingeschränkte Graphenklassen (Masterarbeit)
  [pdf]

• Peter Markfelder: Erweiterung von partiellen Kontaktrepräsentationen (Masterarbeit)
  [pdf]

• Tim Hegemann: Aligning Polylines to Line Features on Bitmap Images of Historical Maps (Masterarbeit)
  [pdf]

• Annika Förster: Boundary Labeling with Polygon Obstacles (Masterarbeit)
  [pdf]

• Alexander Zaft: Map Labelling with Phylogenetic Tree Constraints (Masterpraktikum)
  [pdf]

• Peter Markfelder: On Block Crossing Optimal Drawings of Storylines (Praktikumsbericht)
  [pdf]

• Jan Sauer: Komplexität des Zeichnens von Chord-Link Diagrammen (Bachelorarbeit)
  [pdf]

• Samuel Wolf: Infrastructure Planning via Algorithms for the Weighted Region Problem (Bachelorarbeit)
  [pdf]

• Paul Schwind: Stark monotones Zeichnen mit Knicken von planaren Graphen (Bachelorarbeit)

• Markus Heigl: Segment number of 4-regular, triconnected, planar graphs (Bachelorarbeit)

• Lukas Brückner: Orthogonales Zeichnen als Färbeproblem in perfekten Graphen (Bachelorarbeit)
  [pdf]

• Dominique Bau: Algorithm-Engineering für ein geometrisches Set-Cover-Problem (Masterarbeit)
  [pdf]

• Christian Goldschmied: 1-Hindernis-Sichtbarkeitsrepräsentation von kubischen Graphen (Bachelorarbeit)
  [pdf]

• Leon Füger: A Local Search Algorithm for Coordinated Motion Planning (Masterpraktikum)
  [pdf]

• Moritz Niederer: Ein Algorithmus zur gemeinsamen Visualisierung von Arten- und Genbäumen (Bachelorarbeit)
  [pdf]

• Titus Dose: Balance Problems for Integer Circuits and Separations of Relativized Conjectures on Incompleteness in Promise Classes (Dissertation)
  [pdf]

2020

• Benedikt Riegel: Approximation Algorithms for Variants of the k-Median Problem (Bachelorarbeit)
  [pdf]

• Lukas Garbe: Segment Number of Maximal Outerplanar Graphs (Zulassungsarbeit)
  [pdf]

• Jakob Geiger: Cluster-Minimierung in geometrischen Graphen (Masterarbeit)
  [pdf], [Folien]

• Jakob Geiger: Geometrische Cluster (Masterpraktikum)
  [pdf]

• Julian Walter: Eine Variante des Sugiyama-Algorithmus für ungerichtete Graphen mit Portconstraints (Masterarbeit)
  [pdf], [Folien|pdf], [Folien|pptx]

• Felix Klesen: Algorithms for Automated Floor Planning (Masterarbeit)
  [pdf], [Folien]

• Leon Füger: Zeichnung von Hypergraphen in 3D mithilfe des Inzidenzposets (Bachelorarbeit)
  [pdf]

• Sebastian Müller: Vergleich von Zeichenstilen für planare Graphen (Bachelorarbeit)
  [pdf]

• Florian Mittelstädt: Implementierung einer SAT-Formulierung für Tangle-Height Minimization (Masterpraktikum)

• Rebecca Kraus: Level-außenplanare Zeichnungen mit wenigen Steigungen (Bachelorarbeit)

• Fabian Sieper: Zuweisen von Kantenrichtungen in Metronetzen (Bachelorarbeit)

• Dominique Bau: Interaktive Visualisierung von RDF-Graphen (Masterpraktikum)
  [pdf]

• David Fischer: Implementierung von Algorithmen für das Minimum Convex Partition Problem (Masterpraktikum)
  [pdf]

• Michael May: Ein Algorithmus zur Optimierung einer Flächenaufteilung (Bachelorarbeit)
  [pdf]

• Myroslav Kryven: Optimizing Crossings in Circular-Arc Drawings and Circular Layouts (Dissertation)
  [unibib]

• Andre Löffler: Constrained Graph Layouts: Vertices on the Outer Face and on the Integer Grid (Dissertation)
  [unibib]

2019

• Michael Kreuzer: Interactive Visualization and Comparison of Graphs in Virtual Reality (Bachelorarbeit)
  [pdf], [Poster]

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

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

• Julian Walter: Partielles Zoomen in großen Netzwerkgraphen (Masterpraktikum)
  [pdf], [Folien]

2018

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

• Krzysztof Fleszar: Netzwerk-Design-Probleme in Graphen und auf der Ebene (Dissertation)
  [pdf], [Folien]

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

• Maike Rösch: Approximationsalgorithmen für Set-Cover-Probleme mit Rechtecken (Bachelorarbeit)
  [pdf], [Poster]

• Julia Kübert: Attempto Controlled English für Amazon Alexa (Bachelorarbeit)
  [pdf]

• Sandra Lederer: Analyse und Optimierung verschiedener Algorithmen zur Synchronisation von SQL-Datenbanken (Masterarbeit)
  [pdf]

2017

• Dongliang Peng: An Optimization-Based Approach For Continuous Map Generalization (Dissertation)
  [pdf], [Folien]

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

• Jonas Jung: Flusserkennung auf Luftaufnahmen durch maschinelles Lernen (Bachelorarbeit)
  [pdf]

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

• Stefan Bodenlos: Integration von Prolog und ClioPatria in Python (Masterarbeit)
  [pdf]

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

• Felix Klesen: Flusserkennung in Luftbildaufnahmen (Bachelorarbeit)
  [pdf]

• Julian Walter: Rotation and scale invariant template matching for historical maps (Bachelorarbeit)
  [pdf], [Poster]

• Joachim Spoerhase: Approximationsalgorithmen für Netzwerk-Design und Standortplanung (Habilitation)
  [pdf], [Folien]

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

• Bernhard Häussner: Visual Comparison of Business Process Flowcharts (Masterarbeit)
  [pdf], [Folien]

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

• Mirco Lukas: Integration der Connector-Architecture CAPJa in eine Entwicklungsumgebung (Masterarbeit)
  [pdf]

2016

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

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

• Thomas Handwerker: Testing Source Code with the Logic Programming Language Prolog (Masterarbeit)
  [pdf], [Folien]

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

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

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

• Ursula Scherm: Minimale Überdeckung von Knoten und Kanten in Graphen durch Geraden (Bachelorarbeit)
  [pdf]

• Johannes Zink: Zeichnen von Schaltplänen mittels KLayLayered aus KIELER (Masterpraktikum)
  [pdf]

2015

• Wadim Reimche: Schieforthogonale Zeichnungen von Graphen (Masterarbeit)
  [pdf]

• Titus Dose: Komplexität von Constraint Satisfaction Problemen über endlichen Teilmengen der natürlichen Zahlen (Masterarbeit)
  [pdf]

• Johannes Zink: Beschleunigung von kräftebasierten Graphzeichenalgorithmen mittels wohlseparierten Paardekompositionen (Bachelorarbeit)
  [pdf], [Folien]

• Adrian Loy: Optimieren von Schnittplänen (Bachelorarbeit)
  [pdf], [Folien]

• Philipp Kindermann: Angular Schematization in Graph Drawing (Dissertation)
  [pdf], [Folien]

• Nadine Schwartges: Dynamic Label Placement in Practice (Dissertation)
  [pdf], [Folien]

• Matthias Neumann: Zeichnen von Netzwerken unter Berücksichtigung von Kantenlängen (Bachelorarbeit)
  [pdf], [Folien]

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

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

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

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

2014

• Lukas Bott: Optimierung und Automatisierung in der Gangplanung (Bachelorarbeit)

• Lorenz Reinhart: Rechtecksdarstellung gewichteter außenplanarer Graphen (Bachelorarbeit)
  [pdf], [Folien]

• Fabian Lipp: Boundary Labeling for Annotations in Texts (Masterarbeit)
  [pdf], [Folien]

• Martin Fink: Crossings, Curves, and Constraints in Graph Drawing (Dissertation)
  [pdf], [Folien]

• Bernhard Häussner: Implementierung eines Algorithmus für das glatt-orthogonale Zeichnen planarer Graphen (Bachelorarbeit)
  [pdf], [Folien]

• Maximilian Aulbach: Visualisierung von gewichteten Graphen unter Platzbeschränkung (Bachelorarbeit)
  [pdf], [Folien]

• Magnus Lechner: Konzentrische U-Bahn-Linienpläne (Bachelorarbeit)
  [pdf], [Folien]

• Benedikt Budig: Algorithmische Analyse historischer Landkarten (Masterarbeit)
  [pdf], [Folien]

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

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

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

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

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

• Xiaofen Liu: Abgleich von SQL-Tabellen und CSV-Dateien mit Hilfe von Embedded SQL (Bachelorarbeit)

2013

• Hagen Schwaß: Symmetrieerkennung in Gebäudeumrissen (Masterarbeit)
  [pdf], [Folien]

• Julian Schuhmann: Zeichnen von Rechengraphen (Masterarbeit)
  [pdf], [Folien]

• Christian Volkert: Verschmelzen von Kurven zur Verbesserung kurvenlinearer U-Bahn-Linienpläne (Bachelorarbeit)

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

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

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

• Johannes Blum: Transformation of Register Machine Programs (Bachelorarbeit)

2012

• Sergiy Pakholchak: Dynamische Beschriftung von Straßen (Bachelorarbeit)
  [pdf], [Folien]

• Benjamin Morgan: Placing Street Labels in Interactive Navigational Maps (Bachelorarbeit)
  [pdf], [Folien]

• Krzysztof Fleszar: Generalized Minimum Manhattan Networks (Masterarbeit)
  [pdf], [Folien]

• Ilia Belozerov: Packalgorithmen für quaderförmige Objekte (Bachelorarbeit)
  [pdf], [Folien]

• Fabian Lipp: Computing the Flip Distance of Triangulations (Bachelorarbeit)
  [pdf], [Folien]

• Benedikt Budig: An algorithm for map matching on incomplete road databases (Bachelorarbeit)
  [pdf], [Folien]

• Nils Wisiol: Simulation of Proof Systems (Bachelorarbeit)

• Christian Reitwiessner: Multiobjective Optimization and Language Equations (Dissertation)

• Florian Stefan: XXUL – Deklarative GUI-Entwicklung mit XPCE (Diplomarbeit)

• Esther Fee Feichtner: Musikanalyse mit MusicXML-Daten – Implementierung in Prolog (Diplomarbeit)

2011

• Philipp Kindermann: Tourenplanung mit Zeitfenstern für mehrere Fahrzeuge (Diplomarbeit)
  [pdf]

• Julian Schuhmann: Automatisches Zeichnen von U-Bahn-Linienplänen unter Verwendung von Bézierkurven (Bachelorarbeit)
  [pdf], [Folien]

• Nadine Schwartges: Approximationsalgorithmen für das gerichtete Maximum-Leaf-Spanning-Tree-Problem (Diplomarbeit)
  [pdf]

• Christian Moldovan: Aggregation in knotenpartitionierten Graphen (Bachelorarbeit)

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

2010

• Johannes Schnappauf: Symmetrieerkennung in Polygonen (Bachelorarbeit)

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

2009

• Martin Fink: Zentralitätsmaße in komplexen Netzwerken auf Basis kürzester Wege (Diplomarbeit)
  [pdf]

• Martin Knauer: Spannende Bäume unter Beschränkung der Blätterzahl – Approximative Verfahren (Diplomarbeit)

• Julian Einwag: Approximation und Visualisierung mehrkriterieller Optimierungsprobleme (Diplomarbeit)