50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Bachelor's Theses


Open Topics

In the following we list open topics and field of research for a Bachelor Thesis. For further information please contact the person in charge. institute. However, try consulting the professors of the institute if you are especially interested in a different topic.

Bachelor's Thesis Title State Contact
Randomised Algorithms for Discrete Optimization Problems open Reischuk
Dynamic Stream Networks open Reischuk
Exact Algorithms for Discrete Optimization Problems open Reischuk
Construction of Severe Problem Instances for Combinatorial Algorithms open Reischuk
Evolutionary / Genetic Algorithms for Discrete Optimization Problems open Reischuk
Algorithms for analysis website traffic and generated web-tracking graphs open Liskiewicz
User privacy and anonymity in Bitcoin system open Liskiewicz
Experimental Research of Solution Set of NAE-SAT open Reischuk
Tools for analysis of the Bitcoin transaction graph open Liskiewicz
Retrieval Strategy at Incomplete Information open Reischuk
Backdoor attacks on cryptographic primitives open Liskiewicz
Graph-based algorithms for histogram equalization of color images open Liskiewicz
Algorithms for inferring causal relations from data open Liskiewicz
Experimental evaluation of graph algorithms open Liskiewicz
Genomic privacy open Liskiewicz
Privacy preserving methods in healthcare and epidemiology open Liskiewicz

How to write a thesis

The bachelor's thesis is written at the end of the bachelor studies.

Formal Procedure for Bachelor's Theses

Bachelor thesis are only assigned by professors and lecturers of the TNF. With expenditure of the topic an appropriate form has to be filled out by the tutor and students and submitted to the examination office. The operating time of the bachelor's thesis amounts to 6 months, the extent of work 3 months full time. The Bachelor thesis is to be delivered punctually at the chairman of the audit comittee or the texamination office.

In addition to the adviser, a second examiner is needed for a bachelor's thesis. The second examiner is determined by the chairman of the audit committee. Students can make suggestions.

After turning in the theses, a colloquium is to be held within 4 weeks. Examiners and students specify a date, which has to be disclosed on the registration form to the examination office a week before.

Finished Theses

2018

  • Tim Bahnemann:
    Optimierung eines Genetischen Algorithmus für das Mengenüberdeckungsproblem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Rüdiger Reischuk, Ralf Möller.
  • Karoline Karkosch:
    Entwicklung einer Salesforce-Applikation zur Anzeige von mitarbeiterbezogenen Leistungskennzahlen und zur Zentralisierung mitarbeiterrelevanter Funktionen.
    Universität zu Lübeck, Institut für Telematik, 2018.
    Supervised by: Stefan Fischer, Till Tantau.
  • Berit Klaucke:
    Der Effekt von nicht zufälligen Verteilungen in codierten Daten aus die Mutationsstabilität des genetischen Codes.
    Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2018.
    Supervised by: Amir Madany Mamlouk, Till Tantau.
  • Jonas Lehmann:
    Die Algorithmische Komplexität von Worst Case Flüssen in Unzuverlässigen Flussnetzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Rüdiger Reischuk, Till Tantau.
  • Timo Luerweg:
    Network Steganography.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Maciej Liskiewicz, Stefan Fischer.
  • Anika Oellerich:
    B.I.T.: Tool für die Extrahierung und Analyse von Bitcoin-Transaktionsgraphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Maciej Liskiewicz, Stefan Fischer.
  • Gabriel Will:
    Soziales Netzwerk mit Privatsphäre.
    Universität zu Lübeck, Institut für für Informationssysteme, 2018.
    Supervised by: Sven Groppe, Rüdiger Reischuk.

2017

  • Tim Bahnemann:
    Optimierung eines Genetischen Algorithmus für das Mengenüberdeckungsproblem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Supervised by: Rüdiger Reischuk, Ralf Möller.
  • Patrik Dresel:
    Randomisierte Algorithmen für das Färbungsproblem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Supervised by: Rüdiger Reischuk, Till Tantau.
  • Thorsten Peinemann:
    Effiziente parallele Kernel-Algorithmen für das Vertex-Cover-Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Supervised by: Till Tantau, Ralf Möller.
  • Volkmar Ramcke:
    Complexity of the Subgraph Homeomorphism Problem Parameterized by Directed Treewidth.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Supervised by: Till Tantau, Rüdiger Reischuk.
  • Lena Stocks:
    Algorithmische Konstruktion von Primern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Supervised by: Till Tantau, Amir Madany.
  • Luca Wilke:
    Lange Wege in Gittergraphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Supervised by: Rüdiger Reischuk, Christian Bey.

2016

  • Gudrun Amedick:
    Platzierung von Speicherknoten in dynamischen Netzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Rüdiger Reischuk, Martin Teichert.
  • Marco Bierschenk:
    Vierwertige Timed-Linear-Temporal-Logic.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2016.
    Supervised by: M. Leucker, Till Tantau.
  • Tim Ole Caliebe:
    Praktische Implementierung der Grey-Box Steganographie.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • Gilian Henke:
    Algorithmisches Zeichnen von Automaten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Till Tantau, Martin Leucker.
  • Hannes Kallwies:
    Effizienter Leerheitstest pro Zustand auf Buch-Automaten.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2016.
    Supervised by: Martin Leucker, Till Tantau.
  • Alexandra Klimchenko:
    Visualisierung von Stammbäumen in Ticks unter Erhaltung semantischer Repräsentationen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Till Tantau, Ralf Möller.
  • Dominik Mairhöfer:
    "Secure Two-Party Computation" mit Unterstützung vom CBMC-GC System: Experimentelle Analyse.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Maciej Liskiewicz, Stefan Fischer.
  • Marcel Wienöbst:
    Experimentelle Analyse von Algorithmen zur Lösung des Bisektionsproblems in Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Maciej Liskiewicz, Hans-Martin Teichert.
  • Yannick Wittke:
    Analyse anonymisierter Daten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Rüdiger Reischuk, Heinz Handels.

2015

  • Kaspar-David Buss:
    Graph-basierte Wasserzeichen für Software.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Martin Leucker.
  • Moritz Dannehl:
    Genetische Algorithmen für das Minimum Dominating Set-Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Rüdiger Reischuk, Karsten Keller.
  • Alexander Droigk:
    Entwurf und Implementierung von Routing-Algorithmen in TikZ.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Till Tantau, Martin Teichert.
  • Zacharias Heinrich:
    Development and Examination of a Huffman-coding based Stegosystem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • Marco Kabelitz:
    From 2-Ways Nondeterministic Büchi Automata to Alternating Büchi Automata.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Supervised by: Martin Leucker, Till Tantau.
  • Nils Klawitter:
    Secure Multiparty Computations in Bitcoin.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Stefan Fischer.
  • Marie-Louise Körner:
    An Extension of TikZ for Automated Pedigree Construction.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Till Tantau, Amir Madany Mamlouk.
  • Taro Langner:
    Implementation of a Simplex-Based Isosurfacing Method for Medical Image Data.
    Universität zu Lübeck, Institut für Medizinische Informatik, 2015.
    Supervised by: Jan Ehrhardt, Maciej Liskiewicz.
  • Alexandra Anna Lassota:
    Probabilistische Analyse und Minimierung von Flussnetzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Rüdiger Reischuk, Martin Teichert.
  • Jaqueline Otten:
    Untere Schranken für Online-Bin-Packing-Modelle.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Till Tantau, Stefan Fischer.
  • Jessica Christin Piontke:
    Algorithmisches Zeichnen von RNA-Hairpin-Strukturen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Till Tantau, Amir Madany Mamlouk.
  • Anton Pirogov:
    Extending Freeze LTL on Multi-Attributed Data Words with Quantifiers.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Supervised by: Martin Leucker, Till Tantau.
  • Claudius Pott:
    An Algorithmic Toolbox to Facilitate the Genetic Finite Automata Based Approach for Negative Selection.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Martin Leucker.
  • Lena Katharina Schiffer:
    On polytopes describing multi-terminal network flows.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Rüdiger Reischuk, Andreas Rößler.

2014

  • Regine Geyer:
    Frameshift Mutations of the Genetic Code and Their Impact on the Polarity Conversation of Amino Acids.
    Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2014.
    Supervised by: Amir Madany Mamlouk, Till Tantau.
  • Jannis Harder:
    Entwicklung eines SAT-Solvers.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Supervised by: M. Leucker, M. Liskiewicz.
  • Paul Merlin Ketelsen:
    Erhöhung der Netzwerk-Kapazität in Flussnetzwerken mit Speicherknoten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Supervised by: Rüdiger Reischuk, Hans-Martin Teichert.
  • Marc Meschkat:
    Vier-wertige Abwicklungssemantik für Timet-LTL.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Supervised by: Martin Leucker, Maciej Liskiewicz.

2013

  • Ruben Beyer:
    Implementierung und experimentelle Untersuchung des exakten TSP-Algorithmus von Eppstein für kubische Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Till Tantau.
  • Katharina Dannenberg:
    Fast Algorithms for Immune Response Simulations in Models with r-Contiguous-Based Affinity Measures.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz,, Amir Madany Mamlouk.
  • Alexander Idelberger:
    Mehrdimensionale Histogram Equalization: Modellierung und komplexitätstheoretische Analyse.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Martin Leucker.
  • Torben Peters:
    Fußballprognose mit Hilfe der Poisson Verteilung und Bayesschen Netzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Andreas Schrader.
  • Tobias Schomann:
    Lokale Suchstrategien für Erfüllbarkeitsprobleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • Matthias Schumacher:
    Stabilität des natürlichen Codes unter Shiftmutation.
    Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2013.
    Supervised by: Amir Madany Mamlouk, Till Tantau.
  • Malte Skambath:
    Algorithm for anomaly detection using string-based Negative Selection.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Andreas Schrader.
  • Florian Thaeter:
    Eine Analyse der Konzepte von Sicherheit und Detektierbarkeit von steganographischen Verfahren.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • Nils Voß:
    Experimentelle Analyse des Ensemble-Classifiers für die Steganalyse von digitalen Bildern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz.

2012

  • Max Bannach:
    Berechnungskomplexitäten von Varianten des Subset-Sum-Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Supervised by: Till Tantau, Hans-Martin Teichert.
    Show PDF | Show abstract
  • Moritz Bürger:
    Multimengen-Baumautomaten: Analyse und Implementierung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Supervised by: Till Tantau, Martin Leucker.
  • Sören Grothkopp:
    Eine Multicommodity Push-Relabel-Algorithmus und Anwendung für parametrisierte Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • Philip Harms:
    Turn Costs in Energy-Optimal Route Planning for Electric Vehicles.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2012.
    Supervised by: Martin Leucker, Maciej Liskiewicz.
  • Ingmar Kaden:
    Lösungsstrategien und semiautomatische Generierung von Testdatensätzen bei ACM-ICPC-artigen Graphproblemen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Supervised by: Maciej Liskiewicz, Till Tantau.
  • Christofer Krüger:
    Algorithmen und Datenstrukturen für Prioritätswarteschlangen auf partiellen Ordnungen.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2012.
    Supervised by: Martin Leucker, Maciej Liskiewicz.
  • Sarah Mäusle:
    Implementation and Comparison of Algorithms for Constructing and Visualizing Phylogenetic Trees.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Supervised by: Till Tantau, Hans-Martin Teichert.
    Show PDF | Show abstract
  • Malte Schmitz:
    Transformation von regulärer Linearzeit-Temporallogik zu Paritätsautomaten.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2012.
    Supervised by: Martin Leucker, Till Tantau.
  • Benjamin Winter:
    Steganographie in Binärbildern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • Fabian Winter:
    Synchronisierungsmethoden zur Huffmankodierung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Supervised by: Maciej Liskiewicz, Andreas Schrader.

2011

  • Julien Beck:
    Visualisierung von Quanteninterferenzen anhand des Shor-Algorithmus.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Supervised by: Maciej Liskiewicz, Till Tantau.
  • Ronny Jahn:
    PhotoSurface: Entwicklung einer Multi-Tough-Anwendung zur Sichtung, Bewertung und Kategorisierung von Bildern.
    Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2011.
    Supervised by: Michael Herczeg, Till Tantau.
  • Susan Mielke:
    Modelle und Algorithmen zur Navigationserkennung innerhalb von Domains.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Supervised by: Rüdiger Reischuk, Till Tantau.
    Show PDF | Show abstract
  • Florian Noack:
    Konzeption und Implementierung eines grafischen Editors für die Grafik-Beschreibungssprache TikZ.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Supervised by: Till Tantau, Andreas Schrader.
  • Torben Scheffel:
    Transformationen von Paritätsautomaten in Büchi-Automaten.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2011.
    Supervised by: Martin Leucker, Till Tantau.
  • Peter Sojka:
    Implementierung und Analyse des 2- und n-Linien Protokolls zur Vorratsdatenspeicherung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Supervised by: Andreas Jakoby, Maciej Liskiewicz.
  • Ulf Wohlers:
    Facebook App: Community und Hub Detection in realen sozialen Netzwerken.
    Universität zu Lübeck, Institut für Telematik, 2011.
    Supervised by: Stefan Fischer, Till Tantau.

2010

  • Jan-Hendrik Dolling:
    Approximatives String Matching in Ziv-Lempel komprimierten Texten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Supervised by: Rüdiger Reischuk, Macciej Liskiewicz.
  • Markus Nakhlah:
    Benutzerschnittstelle für ein interaktives multitouchbasiertes Planspiel für naturkundliche Museen.
    Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2010.
    Supervised by: Michael Herczeg, Till Tantau.
  • Tim Rasim:
    Simulationskomponente für ein interaktives multitouch-basiertes Planspiel für naturkundliche Museen.
    Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2010.
    Supervised by: Michael Herczeg, Till Tantau.
  • Niels Thole:
    Partizipatorisches Systemdesign für ein interaktives multitouch-basiertes Planspiel für naturkundliche Museen.
    Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2010.
    Supervised by: Michael Herczeg, Till Tantau.
  • Caroline Waziri:
    Exaktes Patternmatching in komprimierten Texten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Supervised by: Rüdiger Reischuk, Till Tantau.

2009

  • Stephanie Freitag:
    Approximistisches String-Matching.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Supervised by: Rüdiger Reischuk, Till Tantau.
  • Meike Paschen:
    Evolution vielfaltserzeugender Mechanismen im Immunsystem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Supervised by: Till Tantau, Steffen Möller.
    Show PDF
  • Marcel Poelker:
    Das k-Server Problem in zweidimensionalen Gittern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • Jannis Pohlmann:
    Porting the Thunar File Manager to the Extensible Asynchronous Virtual File System Layer GIO.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Supervised by: Till Tantau.
  • Christian Pohlmann:
    Vertex Cover: Performance Improvement through Evolutionary Algorithms and Kernelization.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Supervised by: Rüdiger Reischuk.
  • Linda Schönfeld:
    Validierung der Perfekte-Phylogenie-Annahme für die Haplotypisierung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Supervised by: Till Tantau, Steffen Möller.
  • Christopher Strecker:
    Evolutionäre Algorithmen auf Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Supervised by: Rüdiger Reischuk, Andreas Jakoby.
  • Benjamin Tiburzy:
    Systembiologische Modellierung des HIF-Regelkreises unter Normoxie und Hypoxie.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Supervised by: Till Tantau, Jan Rupp.
    Show abstract

2008

  • Nikolai Hecker:
    Primary diversity mechanisms of the antibody synthesis in humans, mice and chickens.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Supervised by: Till Tantau, Steffen Möller.
    Show PDF | Show abstract
  • Jens Hocke:
    Untersuchungen zur Sicherheit eines PCA-basierten Fingerprint-Systems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • Jan Kramer:
    Erstellung eines Programmierframeworks zur Visualisierung von Algorithmen im Unterricht.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Supervised by: Till Tantau.
    Show PDF | Show abstract
  • Henry Schütze:
    Entwicklung und Implementierung von Algorithmen zur Erkennung von Gesichtsmerkmalen in digitalen Passbildern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Supervised by: Rüdiger Reischuk, Alfred Mertins.

2007

  • Björn Hansen:
    Partikelsimulation einer Reaktions-Diffusions-Gleichung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Supervised by: Till Tantau, Dirk Langemann.
    Show PDF | Show abstract
  • Steve Gießer:
    Implementierung und Anwendung von Algorithmen zur Orientierung von Protein-Protein-Interaktionsnetzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Supervised by: Till Tantau, Christian Claussen.

2006

  • Franziska Plehn:
    Vergleich von Genome Rearrangement Algorithmen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2006.
    Supervised by: Rüdiger Reischuk.
  • Jakob Rosinski:
    UltraMarc-Hashbasiertes Wasserzeichensystem für digitale Bilder.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2006.
    Supervised by: Maciej Liskiewicz (Studienarbeit).

2004

  • Johannes Textor:
    Modelado de Documentos de la Administración Pública.
    Universidad Carlos III de Madrid, Departamento de Ingenería Telemática, 2004.
    Show PDF