piwik-script

Deutsch Intern
    Chair of Computer Science I - Algorithms, Complexity, and Knowledge-Based Systems

    Completed Theses

    2018

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

    2017

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

    • 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äußner: Visual Comparison of Business Process Flowcharts (Master Thesis)
      [pdf], [slides]

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

    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)

    Data privacy protection

    By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Facebook. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.

    Data privacy protection

    By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Twitter. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.

    Contact

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

    Phone: +49 931 31-85054
    Email

    Find Contact

    Hubland Süd, Geb. Z8 Hubland Süd, Geb. M2