piwik-script

English Intern
    Lehrstuhl für Informatik I - Algorithmen und Komplexität

    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) oder an eineN unserer MitarbeiterInnen. Wir können dann in einem kurzen Treffen mit Ihnen die Interessenbereiche abstecken und gemeinsam ein passendes Thema finden.

    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.


    Abgeschlossene Arbeiten

    2020

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

    • Jakob Geiger: GeometrischeCluster (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]

    • 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]

    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)