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 Initiates file downloadLaTeX-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

2016

Eike-Christian Weiss Multi-Paradigm Programming in Java and Prolog for Games EngineeringBachelorarbeit
Thomas HandwerkerTesting Source Code with the Logic Programming Language PrologMasterarbeit[pdf][Folien]
Martin BeckerString Matching von historischen ToponymenBachelorarbeit[pdf]
Leon SeringA Combinatorial Upper Bound on the Length of Twang CascadesMasterarbeit[pdf]
Fabian FeitschFrom Many User-Contributed Polygons to One Polygon ConsensusBachelorarbeit[pdf][Folien]

2015

Wadim ReimcheSchieforthogonale Zeichnungen von GraphenMasterarbeit[pdf]
Titus DoseKomplexität von Constraint Satisfaction Problemen über endlichen Teilmengen der natürlichen ZahlenMasterarbeit[pdf]
Johannes ZinkBeschleunigung von kräftebasierten Graphzeichenalgorithmen mittels wohlseparierten PaardekompositionenBachelorarbeit[pdf][Folien]
Adrian LoyOptimieren von SchnittplänenBachelorarbeit[pdf][Folien]
Philipp KindermannAngular Schematization in Graph DrawingDissertation[pdf][Folien]
Nadine SchwartgesDynamic Label Placement in PracticeDissertation[pdf][Folien]
Matthias NeumannZeichnen von Netzwerken unter Berücksichtigung von Kantenlängen Bachelorarbeit[pdf][Folien]
Maximilian WitekMultiobjective Traveling Salesman Problems and Redundancy of Complete SetsDissertation[pdf]
Larissa MichlerStabilität vollständiger MengenBachelorarbeit
Sandra Lederer Multiparadigmen-Programmierung mit Java und PrologBachelorarbeit
Lukas BeckmannAnalyse von Umkehrpunkten auf GPS-Trajektorien unter Verwendung der Fréchet-DistanzBachelorarbeit[pdf][Folien]

2014

Lukas BottOptimierung und Automatisierung in der GangplanungBachelorarbeit
Lorenz ReinhartRechtecksdarstellung gewichteter außenplanarer GraphenBachelorarbeit[pdf][Folien]
Fabian LippBoundary Labeling for Annotations in TextsMasterarbeit[pdf][Folien]
Martin FinkCrossings, Curves, and Constraints in Graph DrawingDissertation[pdf][Folien]
Bernhard HäussnerImplementierung eines Algorithmus für das glatt-orthogonale Zeichnen planarer GraphenBachelorarbeit[pdf][Folien]
Maximilian AulbachVisualisierung von gewichteten Graphen unter PlatzbeschränkungBachelorarbeit[pdf][Folien]
Magnus LechnerKonzentrische U-Bahn-LinienpläneBachelorarbeit[pdf][Folien]
Benedikt BudigAlgorithmische Analyse historischer LandkartenMasterarbeit[pdf][Folien]
Dieter LutzRealtime Linear Cartograms using Least-Squares OptimisationMasterarbeit[pdf]
Agota LovasOn F-Automata and Equivalence Classes of Boolean FunctionsDiplomarbeit
Uwe HerkertEntwicklung eines Übersetzers für While-ProgrammeBachelorarbeit
Geng Sun Development of a DSL Editor for Simplifying Rule Creation in DroolsMasterarbeit
Mirco LukasErweiterung der Dialektdatenbank BayDat um eine KartierungsfunktionBachelorarbeit
Xiaofen LiuAbgleich von SQL–Tabellen und CSV–Dateien mit Hilfe von Embedded SQLBachelorarbeit

2013

Hagen SchwaßSymmetrieerkennung in GebäudeumrissenMasterarbeit[pdf][Folien]
Julian SchuhmannZeichnen von RechengraphenMasterarbeit[pdf]

[Folien]

Christian VolkertVerschmelzen von Kurven zur Verbesserung kurvenlinearer U-Bahn-LinienpläneBachelorarbeit
Leon SeringGrapheneinbettung mit vorgegebener KantenlängeBachelorarbeit
Titus DoseEffiziente Reduktionen zwischen NP-vollständigen ProblemenBachelorarbeit
Torbjørn CunisDecidability of Differences of Level 3/2 Languages of the Straubing Therien HierarchyBachelorarbeit
Johannes BlumTransformation of Register Machine ProgramsBachelorarbeit

2012

Sergiy Pakholchak Dynamische Beschriftung von StraßenBachelorarbeit [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