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

    Abschlussarbeiten

    Wir bieten Themen für Bachelor- und Masterarbeiten und für das Masterpraktikum an. Die Themen stammen üblicherweise aus einem der unten stehenden 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 einen der unten genannten Mitarbeiter oder an Alexander Wolff oder an Dietmar Seipel. Wir können dann in einem kurzen Treffen mit Ihnen die Interessenbereiche abstecken und gemeinsam ein passendes Thema finden.

    Um den Einstieg ins Schreiben der eigenen Abschlussarbeit zu erleichtern, stellen wir eine LaTeX-Vorlage zusammen mit einigen Erklärungen und Hinweisen zur Verfügung.

    Graphenzeichnen und algorithmische Geometrie

    Graphen sind nicht nur ein häufiges Hilfsmittel beim Modellieren und Lösen von Problemen in der Informatik, sondern werden auch oft zur Visualisierung von Daten genutzt. Auch für Laien sind konkrete Zeichnungen von Graphen oft gut verständlich, da die Darstellung einer Verbindung oder eines Zusammenhangs durch Kanten intuitiv ist. Darüber hinaus lassen sich Methoden zum Zeichnen von Graphen auch oft für das Zeichnen realer Netzwerke, wie z.B. (U-)Bahnnetze, verwenden.

    Ansprechpartner: Alexander Wolff, Fabian Lipp

    Approximationsalgorithmen

    Unter dem Begriff Approximationsalgorithmen versteht man Algorithmen, die ein Optimierungsproblem näherungsweise lösen. Solche Algorithmen sind besonders relevant für Probleme, die sich vermutlich nicht effizient exakt lösen lassen. 

    Ansprechpartner: Joachim Spoerhase

    Geographische Informationssysteme

    Ein Geographisches Informationssystem (GIS) dient der Erfassung, Verwaltung, Analyse und Präsentation geographischer Information. In diesen Aufgabengebieten ergeben sich algorithmische Probleme, die oft geometrischer Natur sind.

    Abschlussarbeiten aus diesem Bereich beschäftigten sich in der Vergangenheit unter anderem mit Map Matching und der Generalisierung von Gebäudegrundrissen.

    Ansprechpartner: Thomas van Dijk, Benedikt Budig

    Multiparadigmen Programmierung mit Java und Prolog

    Durch Kooperation von Java und Prolog ist es möglich, leistungsfähige Multiparadigmen-Programme zu entwerfen, in denen z.B. Prolog verwendet werden kann, um Java intelligenter zu machen. Die individuelle Stärke der jeweiligen Programmier-Paradigmen in Kombination mit bestehenden Bibliotheken kann benutzt werden, um Software zu entwickeln, die mächtiger ist als ihre Teile.

    Ansprechpartner: Dietmar Seipel, Ludwig Ostermayer

    Domain-Specific Languages mit Prolog

    Domänenspezifische Sprachen erlauben es, Wissen in einer Form zu erfassen, die leicht von Computern verarbeitet werden kann. So lässt sich Wissen modellieren, aber auch Daten abfragen - wie etwa mit dem populären Vertreter SQL. Abschlussarbeiten aus diesem Bereich beschäftigen sich mit der Definition und Umsetzung solcher Sprachen zur Datenmodellierung und -abfrage.

    Ansprechpartner: Dietmar Seipel, Falco Nogatz


    Abgeschlossene Arbeiten

    2017

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

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

    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]

    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)

    Kontakt

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

    Tel.: +49 931 31-85054
    E-Mail

    Suche Ansprechpartner

    Hubland Süd, Geb. Z8