50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Masterarbeiten


Offene Themen

Die folgende Liste enthält Themen und Forschungsbereiche für eine Masterarbeit. Für weitere Details wenden Sie sich an den Ansprechpartner, um diese in einem persönlichen Gespräch zu klären. Interessierte Studierende können sich aber auch an die Professoren des Instituts wenden, wenn Sie ein eigenes Thema besonders interessiert.

Masterarbeitsthema Status Ansprechpartner
Echtheitsverifikation gedruckter Dokumente offen Reischuk
Schutz der Privatsphäre (Differential Privacy, Private Computing) offen Reischuk
Geheime Informationsübertragung (Steganographie) offen Reischuk
Fehlertolerante Algorithmen offen Reischuk
Berechnung und Visualisierung von Randflächen im 3-dimensionalen Raum offen Reischuk
Kausale Abhängigkeiten in Daten von Autoantikörpern offen Reischuk
Efficient algorithms for learning causal structures / Bayesian networks offen Liskiewicz
Private Preserving Data Mining offen Liskiewicz
Algorithmen für diskrete Optimierungsprobleme bei unvollständiger Information offen Reischuk
Average-Case Laufzeitanalyse (Smoothed Analysis) offen Reischuk
Private preserving causal inference offen Liskiewicz
Machine learning with (differential) privacy offen Liskiewicz
Implementierung und Test eines randomisierten Algorithmus zur Berechnung der Zuverlässigkeit eines Netzwerkes offen Reischuk
Implementierung und Test schneller Verfahren zur Berechnung der Editier-Distanz offen Reischuk
Learning finite automata with membership and equivalence queries with applications in model checking offen Liskiewicz
Strongly undetectable algorithm-substitution attacks offen Liskiewicz
Algorithm-substitution attacks against signature schemes and symmetric encryption offen Liskiewicz
Fast secure two-party computation using Garbled Circuits: how efficient are the current tools? offen Liskiewicz
Bitcoin: address clustering and re-identification attacks offen Liskiewicz
Bitcoin: tracking thefts and illicit activities offen Liskiewicz

Zum Ablauf

Masterarbeiten werden grundsätzlich nur von Professoren und Dozenten der TNF ausgegeben. Bei Ausgabe des Themas ist ein entsprechendes Formblatt vom Betreuer und Studierenden auszufüllen und dem Prüfungsamt vorzulegen.

Man benötigt neben dem Erstgutachter auch einen Zweitprüfer. Der Zweitprüfer wird durch den Vorsitzenden des Prüfungsausschusses bestimmt. Studierende und Betreuer können hierzu Vorschläge machen.

Nach Abgabe der Arbeit soll innerhalb von 4 Wochen das Kolloquium durchgeführt werden. Prüfer und Studierende legen hierzu einen Termin fest, der auf dem Anmeldeformular mindestens eine Woche vorher dem Prüfungsamt bekannt zu geben ist.

Abgeschlossene Arbeiten

2018

  • Max Bachmann:
    Scheduling-Algorithmen für Energiemanagementsysteme in Smart-Homes.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2018.
    Gutachter: Martin Leucker, Till Tantau.
  • Friederike Bartels:
    Konstruktion von Lösungen für Unart-Subset-Sum und verwandte Probleme in TC^o.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Gutachter: Till Tantau, Martin Leucker.
  • Sören Grothkopp:
    Dynamische Approximationsverfahren für das Dominating-Set-Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Gutachter: Rüdiger Reischuk, Till Tantau.
  • Ivo Heinecke:
    Private Edit Distance on DNA.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Gutachter: Maciej Liskiewicz, Thomas Eisenbarth.
  • Matthias Schiffer:
    On the Expressive Power of Real-Time #Automata and Real-Time Logics.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2018.
    Gutachter: Martin Leucker, Till Tantau.

2017

  • Dominik Huber:
    Dreiwertige Timed-LTL-Semantik.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2017.
    Gutachter: Martin Leucker, Till Tantau.
  • Alexandra Anna Lassota:
    Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Till Tantau, Martin Leucker.
  • Anton Pirogov:
    SMT-based Flat Model-Checking for LTL with Counting.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2017.
    Gutachter: Martin Leucker, Till Tantau.
  • Jan Wichelmann:
    Differential Privacy: Choosing Parameters for Multiple Studies.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Rüdiger Reischuk, Thomas Eisenbarth.

2016

  • Ruben Beyer:
    Algorithmisches Zeichnen von planaren Graphen mit TikZ.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Till Tantau, Hans-Martin Teichert.
  • Katharina Dannenberg:
    On the Complexity of Constructing Phylogenetic Trees from Rooted Triplets.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Maciej Liskiewicz, Ralf Möller.
  • Bennet Gerlach:
    Generation and verification of formal proofs of propositional tautologies.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Till Tantau, Ralf Möller.
  • Florian-Lennert Adrian Lau:
    Kompetitive Analyse von Multizustand-Systemen im Dynamic Power-Management Kontext.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Rüdiger Reischuk, Stefan Fischer.
  • Robin Niemann:
    Das No-Comparing-Theorem für Qubits.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
  • Malte Skambath:
    Algorithmic Drawing of Evolving Trees.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Till Tantau, Andreas Schrader.

2015

  • Alexander Idelberger:
    Algorithmische Fragestellungen in der Kausalitätstheorie.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
  • Fabian Klötzl:
    Efficient Estimation of Evolutionary Distances.
    Max-Planck-Institut für Evolutionsbiologie, Plön, 2015.
    Gutachter: Bernhard Haubold, Till Tantau.
  • Tobias Mende:
    Runetime Verification Logics for Object-Oriented Real-Time Systems.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Gutachter: Martin Leucker, Till Tantau.
  • Tobias Schomann:
    Schwere Instanzen für NP-schwere Probleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Rüdiger Reischuk, Ralf Möller.
  • Florian Thaeter:
    Construction of Two-Layer Transportation Networks.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
  • Johannes Thorn:
    Minimierung symbolischer nichtdeterministischer Büchi-Automaten.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Gutachter: Martin Leucker, Till Tantau.

2014

  • Max Bannach:
    On the Space and Circuit Complexity of Certain Parameterized Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Till Tantau, Maciej Liskiewicz.
    PDF anzeigen | Zusammenfassung anzeigen
  • Ida Dorothee Bruhns:
    Design and Implementation of a Configurable Framework for Forced-Based Graph Drawing.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Till Tantau, Hans-Martin Teichert.
  • Karol Lassota:
    Entwurf und Implementierung eines Algorithmus zur Berechnung einer Pfadzerlegung von kubischen Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Maciej Liskiewicz, Martin Leucker.
  • Alexander Mühlfeld:
    An Approach to Solving Object Displacement Problems.
    Universität zu Lübeck, Institut für Robotik und Kognitive Systeme, 2014.
    Gutachter: Achim Schweikard, Till Tantau.
  • Florian Noack:
    Konzeption und Implementierung eines merkmalbasierten Workflows für die Steganalyse.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Rüdiger Reischuk, Stefan Fischer.
  • Torben Scheffel:
    Logiken für verteilte Laufzeitverfikation.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Gutachter: Martin Leucker, Till Tantau.
  • Sven Schlinga:
    Sicheres Cloud-Computing.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Rüdiger Reischuk, Stefan Fischer.
  • Malte Schmitz:
    Verteilte Laufzeitverfikation auf eingebetteten Systemen.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Gutachter: Martin Leucker, Till Tantau.
  • Eike von Tils:
    STL: Combining Stream-based and Temporal Logics.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Gutachter: Martin Leucker, Till Tantau.

2013

  • Matthias Ernst:
    Algorithmisches Lernen von Verteilungen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Gutachter: Rüdiger Reischuk, Karsten Keller.
  • Niklas Finck:
    Reoptimization of the Travelling Salesperson Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Gutachter: Rüdiger Reischuk, Till Tantau.
  • Stephanie Freitag:
    Das fehlertolerante Shortest-Common-Superstring-Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Gutachter: Rüdiger Reischuk, Till Tantau.
  • Caroline Waziri:
    Runtime Verification for Mazurkiewicz Traces.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2013.
    Gutachter: Martin Leucker, Rüdiger Reischuk.

2012

  • Yulia Bulygina:
    Sichere Zwei-Parteien Protokolle zur Berechnung von Entscheidungsbäumen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
  • Sylvia Kiencke:
    Data-based Projection Access Order for SART.
    Universität zu Lübeck, Institut für Medizintechnik, 2012.
    Gutachter: Thorsten M. Buzug, Till Tantau.
  • Christian Pohlmann:
    DSL-based Runtime Verification for the JVM.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2012.
    Gutachter: Martin Leucker, Rüdiger Reischuk.
  • Martin Schuster:
    Exact Algorithms for Traveling Salesman Problem in Cubic Graphs.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Gutachter: Maciej Liskiewicz, Martin Leucker.
  • Christopher Strecker:
    Digital Camera Identification.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
  • Niels Thole:
    Dekomposition von Bäumen und Termin in AC0 und TC0.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Gutachter: Till Tantau, Maciej Liskiewicz.

2011

  • Julian Bäume:
    Ein Zooming-Interface facettenklassifizierte für Präsentationen.
    Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2011.
    Gutachter: Michael Herczeg, Till Tantau.
  • Albert Krewinkel:
    Graph Grammar Slicing – An Approach to Reducing the Combinatorial Complexity of Tracking Observables in Complex Reaction Systems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Till Tantau, Amir Madany Mamlouk.
  • Tim Kunold:
    Spieltheoretische und Graphentheoretische Betrachtungen zur Netzwerksicherheit.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Rüdiger Reischuk, Till Tantau.
  • Marcel Poelker:
    Smoothed-Analysis des Caching-Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
  • Jannis Pohlmann:
    Configurable Graph Drawing Algorithms for the TikZ Graphics Description Language.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Till Tantau, Hanns-Martin Teichert.
    PDF anzeigen | Zusammenfassung anzeigen
  • Lennart Sauerbeck:
    Komplexitätstheoretische Untersuchung des HistogramEqualization-Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Maciej Liskiewicz, Alfred Mertins.
  • Christoph Stockhusen:
    Anwendungen monadischer Logik zweiter Stufe auf Probleme beschränkter Baumweite und deren Platzkomplexität.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Till Tantau, Hans-Martin Teichert.
    PDF anzeigen | Zusammenfassung anzeigen

2010

  • Oliver Kleine:
    Bildklassifikation unter Verwendung kompressionsbasierter Methoden.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Gutachter: Maciej Liskiewicz, Stefan Fischer.
  • Falk Sticken:
    Entwicklung und Analyse einer Heuristik für Image-Matching bezüglich Skalierung und Rotation.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Gutachter: Maciej Liskiewicz, Jan Modersitzki.
  • Sven Ulrich:
    Community and Hub Detection in Social Networks.
    Universität zu Lübeck, Institut für Telematik, 2010.
    Gutachter: Stefan Fischer, Till Tantau.
  • Oliver Witt:
    Algorithmen zur Konstruktion perfekter Rekombinationsnetzwerke.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Gutachter: Till Tantau, Amir Madany Mamlouk.

2009

  • Jana Abraham:
    Konzeption und Implementation eines Frameworks zur explorativen Vermittlung von Algorithmen in der Lehre.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009, Diplomarbeit.
    Gutachter: Till Tantau, Michael Herczeg.

2008

  • Maja Smid:
    Textkategorisierung basierend auf der Beschreibungskomplexität von Zeichenketten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Gutachter: Liskiewicz/Mertins.
  • Ragnar Nevries:
    Entwicklung und Analyse eines beschleunigten Image Matching-Algorithmus für natürliche Bilder.
    Universität Rostock, 2008.
    Gutachter: Andreas Brandstädt, Maciej Liskiewicz, Diplomarbeit.

2007

  • Annika Hansen:
    Modellierung der Regulation in E.coli durch Petri-Netze.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Rüdiger Reischuk.
  • Matthias Schmalz:
    Extensions of an Algorithm for Generalised Fair Model Checking.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Rüdiger Reischuk.
  • Michael Elberfeld:
    Komplexität von Haplotypisierung mittels perfekten Phylogenien und kleinsten Haplotypmengen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Till Tantau, Hans-Martin Teichert.
    PDF anzeigen
  • Christoph Reineke:
    Optimierung von Reload-Strategien im Web durch Komponenten-Tracking.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Dirk Kukulen, Maciej Liskiewicz.

2006

  • Johannes Textor:
    Ein hybrides Automatenmodell zur Simulation des Immunsystems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2006.
    PDF anzeigen
  • Lothar Krause:
    Global Grammar Transform Algorithms Applied to Fibonacci and Thue-Morse Words.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2006.
    Gutachter: Rüdiger Reischuk, Till Tantau. Diplomarbeit
  • Johannes Textor:
    An Approach to Solving Object Displacement Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2006.
    Gutachter: Rüdiger Reischuk.

2005

  • Christian Josef Eibl:
    Multicast Protokolle unter Geheimhaltung der Netzwerk Topologie.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2005.
    Gutachter: Rüdiger Reischuk. Diplomarbeit
  • Peer Stechert:
    Dynamic Private Auctions.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2005.
    Gutachter: Andreas Jakoby. Diplomarbeit
  • Nina Moebius:
    t-private Auctions under Cryptographic Assumptions.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2005.
    Gutachter: Rüdiger Reischuk, Andreas Jakoby.

2004

  • Tobias Borsdorff:
    Laufzeitanalyse von Shared-Memory-Multiprozessoren mit Speicherhierarchien am Beispiel der Matrixmultiplikation.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2004.
    Gutachter: Rüdiger Reischuk.
  • Markus Hinkelmann:
    Preserving the Secret of Topology.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2004.
  • Kirstin Schwidrowski:
    Private Protocols based on Cycle Covering.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2004.
    Gutachter: Andreas Jakoby.
  • Ulrich Wölfel:
    Untersuchung zur Strukturbeschreibung von Mengen digitaler Bilder durch Ähnlichkeitsmaße.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2004.
    Gutachter: Rüdiger Reischuk, H. Schwigon (BSI). Diplomarbeit
  • Monika Demichowicz:
    Algorithmen zur Komprimierung von DNA-Sequenzen (in Polnisch).
    TU Wroclaw/Polen, 2004.
    Gutachter: Maciej Liskiewicz.
  • Pawel Mazur:
    Parallele Algorithmen zur Berechnung der Anzahl der Pfade in ungerichteten Graphen.
    TU Wroclaw/Polen, 2004.
    Gutachter: Maciej Liskiewicz.