50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Bachelor's and Master´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.

Thesis Title State Contact more informations
1. Logik and automats open Tantau
2. Algorithmics
Realization and Test of a Randomised Algorithm to evaluate the Reliability of a Network open Reischuk
Algorithms for Discrete Optimization Problems at Incomplete Information open Reischuk
Error-Resistant Algorithms open Reischuk
Randomised Algorithms for Discrete Optimization Problems open Reischuk
Experimental evaluation of graph algorithms open Liskiewicz
Graph-based algorithms for histogram equalization of color images open Liskiewicz
Algorithms for analysis website traffic and generated web-tracking graphs open Liskiewicz
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
3. Complexity theory
Smoothed Analysis open Reischuk
Experimental Research of Solution Set of NAE-SAT open Reischuk
4. Artificial intelligence
Learning finite automata with membership and equivalence queries with applications in model checking open Liskiewicz
Machine learning with (differential) privacy open Liskiewicz
Private preserving causal inference open Liskiewicz
Private Preserving Data Mining offen Liskiewicz
Efficient algorithms for learning causal structures / Bayesian networks open Liskiewicz
5. IT-Security
Strongly undetectable algorithm-substitution attacks open Liskiewicz
Algorithm-substitution attacks against signature schemes and symmetric encryption open Liskiewicz
Fast secure two-party computation using Garbled Circuits: how efficient are the current tools? open Liskiewicz
Bitcoin: address clustering and re-identification attacks open Liskiewicz
Encrypted Data exchange for video consultaion open Reischuk Link
Bitcoin: tracking thefts and illicit activities open Liskiewicz
Anonymization of data open Reischuk
Secret Telecommunication (Steganography) open Reischuk
Differential Privacy/ Private Computing open Reischuk
Authenticity Verification of Printed Documents open Reischuk
Privacy preserving methods in healthcare and epidemiology open Liskiewicz
User privacy and anonymity in Bitcoin system open Liskiewicz
Genomic privacy open Liskiewicz
Backdoor attacks on cryptographic primitives open Liskiewicz
Tools for analysis of the Bitcoin transaction graph open Liskiewicz
open Reischuk
6. other topics
Students may also suggest specific topics if they are interested.

How to write a thesis

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

Formal Procedure for Bachelor's and Master´s Theses

Bachelor and master 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 registration form to the examination office a week before.

Finished Theses

2024

  • J.B.:
    An Application of Quantum Annealing for Prime Factorisation.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
    Supervised by: Maciej Liskiewicz, Sven Groppe.
  • N.J.S.:
    Implementierung von Steganographie in QR-Codes.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • N.M.:
    New algorithms for variants of subset sum and their support bounds.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
    Supervised by: Sebastian Berndt, Kim-Manuel Klein.
  • P.R.:
    Steganographie unter Verwendung von fehlerkorrigierenden Codes.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
    Supervised by: Rüdiger Reischuk, Esfandiar Mohammadi.

2023

  • R. D.:
    Praktische Evaluation eines neuen Algorithmus für Varianten des unbeschränkten Teilsummenproblems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Sebastian Berndt, Esfandiar Mohammadi.
  • T. E.:
    Fault Injection: An Attack on the post quantum KEM BIKE.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • M. H.:
    Implementing Secure Summation For Mobile Devices.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
    Supervised by: Esfandiar Mohammadi, Sebastian Berndt.
  • C. H.:
    Secure and Fast Outsourced Machine Learning.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
    Supervised by: Thomas Eisenbarth, Sebastian Berndt.
  • A.S.P.:
    Analysis of Fault Injection Impacts on Cryptographic Primitives.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Sebastian Berndt, Saleh Mulhem.
  • D.A.:
    ML-based Methods for Predicting Price Movements.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Maciej Liskiewicz, Marcin Grzegorzek.
  • D.K.:
    Analyse eines parallelen Semisortierverfahrens.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Max Bannach, Esfandiar Mohammadi.
  • D.K.:
    Twin-Width 0 and 1 on Trigraphs Using Modular Decomposition.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Till Tantau, Esfandiar Mohammadi.
  • J.W.:
    Post-Compromise attack on Signalprotocol.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • K.H.:
    Implementation of substitution attacks on Sigma protocols.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • M.D.:
    Implementation und Evaluation von Algorithmen zur Bestimmung von Erfüllbarkeitswahrscheinlichkeiten von aussagelogischen Formeln.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Till Tantau, Esfandiar Mohammadi.
  • M.D.:
    WebRTC Anwendung im medizinischen Kontext.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Rüdiger Reischuk, Andreas Schrader.
  • P.L.:
    Implementierung von Angriffen gegen das Matrix-Protokoll.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Sebastian Berndt, Esfandiar Mohammadi.
  • S.G.:
    Dynamische Algorithmen für Rucksack-Probleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Sebastian Berndt, Kim-Manuel Klein.
  • S.K.:
    Entwicklung eines Tools zur Rückverfolgung von Cardano-Transaktionen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Sebastian Berndt, Esfandiar Mohammadi.
  • S.M.:
    Exploring Steganographic Schemes as Algorithm Substitution Attacks against ECDSA in the Context of Bitcoin Transactions.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Supervised by: Maciej Lisikiewicz, Thomas Eisenbarth.
  • V.B.:
    Evaluation eines Algorithmus für eine schnelle Breitensuche.
    Universität zu Lübeck, Institut für Informationssysteme, 2023.
    Supervised by: Ralf Möller, Till Tantau.

2022

  • J. A.:
    Exploring ways to improve the runtime of Banquet.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Esfandiar Mohammadi.
  • K. H.:
    Membership Inference Attack on random forest regression models.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Esfandiar Mohammadi, Sebastian Berndt.
  • F. L.:
    Analyse der Uniformität von Knapsack-Verteilungen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • J. M.:
    Implementation of covert MPC protocols.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • N. W.:
    Differentially Private Percentils with Secure Multiparty Computation using SCALE Framework.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Esfandiar Mohammadi, Sebastian Berndt.
  • J. W.:
    Estimating Input Distributions of Partial Background Knowledge for Differential Privacy Mechanisms.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Esfandiar Mohammadi, Sebastian Berndt.
  • A.B.:
    Implementation and Evaluation of cryptographic reverse firewalls with regard to their practicality.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Sebastian Berndt, Thomas Eisenbarth.
  • F.B.:
    Floor Sensor Data using Neural Networks.
    Universität zu Lübeck, Institut für Medizinische Informatik, 2022.
    Supervised by: Marcin Grzegorzek, Maciej Liskiewicz.
  • J.B.:
    Secure Steganography on ML-Based Channels.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Maciej Liskiewicz, Esfandiar Mohammadi.
  • J.H.G.:
    k-Server-Typ-Scheduling mit Umrüstungskosten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • J.v.d.H.:
    Boosting Sequential Composition for Noiseless Privacy via Subsampling.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2022.
    Supervised by: Esfandiar Mohammadi, Rüdiger Reischuk.
  • K.F.:
    Parallel Data Reduction for the Odd Cycle Traversal Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Till Tantau, Ralf Möller.
  • L.O.:
    Protocols for Private Edit Distance Estimation.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Supervised by: Maciej Liskiewicz, Esfandiar Mohammadi.

2021

  • S. B.:
    Evaluation of Techniques for Finding the k Best Elements on Maximization of Quasi-Convex Scoring Functions and Minimization of Parabolic Polynomial Scoring Functions.
    Universität zu Lübeck, Institut für Informationssysteme, 2021.
    Supervised by: Ralf Möller, Till Tantau.
  • E. B.:
    Randomisierte Analyse des k-Server Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
    Supervised by: Rüdiger Reischuk, Heiko Hamann.
  • K. B.:
    Steganographie auf Zahlenfolgen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • L. B.:
    Topic-Modellierung für die Zuordnung von Kundenanfragen zu Sachbearbeitern.
    Universität zu Lübeck, Institut für Informationssysteme, 2021.
    Supervised by: Ralf Möller, Maciej Liskiewicz.
  • Y. F.:
    Experimental Analysis of Algorithms for d-separation in DAG.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • F. K.:
    Topic Modeling with Probabilistic Soft Logic.
    Universität zu Lübeck, Institut für Informationssysteme, 2021.
    Supervised by: Ralf Möller, Maciej Liskiewicz.
  • G. M.:
    Algorithmen zum Zählen und Aufzählen chordaler Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
    Supervised by: Maciej Liskiewicz, Martin Leucker.
  • F.-L- B. N.:
    Konzeption und Umsetzung von eKlausuren in der Programmieren-Ausbildung.
    Universität zu Lübeck, Institut für Telematik, 2021.
    Supervised by: Stefan Fischer, Till Tantau.
  • Y. S. S.:
    Entwurf und Analyse auswertbarkeitserhaltender Anonymisierungsalgorithmen unter Berücksichtigung der Differential Privacy.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
    Supervised by: Rüdiger Reischuk, Esfandiar Mohammadi.

2020

  • F. G.:
    Algorithmen für das Moving-Travelling Salesman Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Maciej Liskiewicz, Martin Leucker (ISP).
  • J. G.:
    Optimierungsprobleme für Mengensysteme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Rüdiger Reischuk, Özgür Özcep.
  • J. G.:
    Quantification of information leakages in binaries through side-channel vulnerable runtime behavior.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Rüdiger Reischuk, Thomas Eisenbarth.
  • J. H.:
    Beschleunigung von Graphfärbungsalgorithmen auf Baumzerlegungen mit Hilfe von Entscheidungsdiagrammen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Till Tantau, Ralf Möller.
  • C. H.:
    Das Känguru Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Rüdiger Reischuk, Heiko Hamann.
  • K. J.:
    StirMark Tests on Digital Watermarking.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Andreas Jakoby, Maciej Liskiewicz.
  • F. M.:
    Compactification of Probability Distributions.
    Universität zu Lübeck, Institut für Informationssysteme, 2020.
    Supervised by: Ralf Möller, Maciej Liskiewicz.
  • S. O.:
    Computerschach.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Rüdiger Reischuk, Ralf Möller.
  • P. P.:
    An Analysis of Contemporary Attacks on White-Box implementations.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2020.
    Supervised by: Thomas Eisenbartg, Maciej Liskiewicz.
  • J. S.:
    Steganographie in Schwarz-Weiß Bildern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Supervised by: Rüdiger Reischuk, Esfandiar Mohammadi.
  • T.-H. T.:
    Noncense-Algorithm Substitution Attacks on TLS.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2020.
    Supervised by: Thomas Eisenbarth, Maciej Liskiewicz.

2019

  • F. G.:
    Algorithms for the Feedback Arc Set Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Supervised by: Rüdiger Reischuk, Heiko Hamann.
  • H. H.:
    Aggregation on the shortest path in a Kilobot swarm.
    Universität zu Lübeck, Institut für Technische Informatik, 2019.
    Supervised by: Heiko Hamann, Rüdiger Reischuk.
  • F. H.:
    Untersuchungen zur Fixed-Parameter-Tractability des Model-Checking-Problems auf universellen Fragmenten der erststufigen Logik.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Supervised by: Till Tantau, Ralf Möller.
  • M. L.:
    Täuschungsstrategien gegen Fingerprinting im Webbrowser.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Supervised by: Maciej Liskiewicz, Thomas Eisenbarth.
  • S. M.:
    Der Genetische Code und seine Optimierung statistisch untersucht.
    Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2019.
    Supervised by: Amir Madany Mamlouk, Till Tantau.
  • M. S.:
    Beschreibung von regulären und rationalen Relationen mittels erststufiger Prädikatenlogik.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Supervised by: Till Tantau, Özgür L. Özcep.
  • F.-C. S.:
    Datenbankanonymisierung auf Basis von k-means-Algorithmen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Supervised by: Rüdiger Reischuk, Esfandiar Mohammadi.
  • S. T.:
    Experimental analysis of algorithm substitution attacks.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Supervised by: Maciej Liskiewicz, Thomas Eisenbarth.
  • V. W.:
    Implementierung und Benchmarking eines exakten kombinatorischen Algorithmus für eine minimale Graph Bisektion.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Supervised by: Maciej Liskiewicz, Ralf Möller.

2018

  • T. B.:
    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.
  • B. K.:
    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.
  • K. K.:
    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.
  • J. L.:
    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.
  • T. L.:
    Network Steganography.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Maciej Liskiewicz, Stefan Fischer.
  • A. O.:
    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.
  • M. S.:
    Auswertbarkeitserhaltende Datenbankanonymisierung mithilfe von aktuellen Algorithmen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Rüdiger Reischuk, Thomas Eisenbarth.
  • G. W.:
    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

  • P. D.:
    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.
  • T. P.:
    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.
  • V. R.:
    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.
  • L. S.:
    Algorithmische Konstruktion von Primern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Supervised by: Till Tantau, Amir Madany.
  • L. W.:
    Lange Wege in Gittergraphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Supervised by: Rüdiger Reischuk, Christian Bey.

2016

  • G. A.:
    Platzierung von Speicherknoten in dynamischen Netzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Rüdiger Reischuk, Martin Teichert.
  • M. B.:
    Vierwertige Timed-Linear-Temporal-Logic.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2016.
    Supervised by: M. Leucker, Till Tantau.
  • T. O. C.:
    Praktische Implementierung der Grey-Box Steganographie.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • G. H.:
    Algorithmisches Zeichnen von Automaten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Till Tantau, Martin Leucker.
  • H. K.:
    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.
  • A. K.:
    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.
  • D. M.:
    "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.
  • Y. W.:
    Analyse anonymisierter Daten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Rüdiger Reischuk, Heinz Handels.
  • M. W.:
    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, Hanns-Martin Teichert.
    Show PDF

2015

  • K.-D. B.:
    Graph-basierte Wasserzeichen für Software.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Martin Leucker.
  • A. D.:
    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.
  • M. D.:
    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.
  • Z. H.:
    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.
  • M.-L. K.:
    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.
  • M. K.:
    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.
  • N. K.:
    Secure Multiparty Computations in Bitcoin.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Stefan Fischer.
  • T. L.:
    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.
  • A. A. L.:
    Probabilistische Analyse und Minimierung von Flussnetzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Rüdiger Reischuk, Martin Teichert.
  • J. O.:
    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.
  • J. C. P.:
    Algorithmisches Zeichnen von RNA-Hairpin-Strukturen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Till Tantau, Amir Madany Mamlouk.
  • C. P.:
    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.
  • A. P.:
    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.
  • L. K. S.:
    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

  • R. G.:
    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.
  • J. H.:
    Entwicklung eines SAT-Solvers.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Supervised by: M. Leucker, M. Liskiewicz.
  • P. M. K.:
    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.
  • M. M.:
    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

  • R. B.:
    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.
  • K. D.:
    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.
  • A. I.:
    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.
  • T. P.:
    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.
  • M. S.:
    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.
  • T. S.:
    Lokale Suchstrategien für Erfüllbarkeitsprobleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • M. S.:
    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.
  • F. T.:
    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.
  • N. V.:
    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

  • M. B.:
    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
  • M. B.:
    Multimengen-Baumautomaten: Analyse und Implementierung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Supervised by: Till Tantau, Martin Leucker.
  • S. G.:
    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.
  • P. H.:
    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.
  • C. K.:
    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.
  • I. K.:
    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.
  • S. M.:
    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
  • M. S.:
    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.
  • B. W.:
    Steganographie in Binärbildern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • F. W.:
    Synchronisierungsmethoden zur Huffmankodierung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Supervised by: Maciej Liskiewicz, Andreas Schrader.

2011

  • J. B.:
    Visualisierung von Quanteninterferenzen anhand des Shor-Algorithmus.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Supervised by: Maciej Liskiewicz, Till Tantau.
  • R. J.:
    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.
  • S. M.:
    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
  • F. N.:
    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.
  • P. S.:
    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.
  • T. S.:
    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.
  • U. W.:
    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

  • J.-H. D.:
    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.
  • M. N.:
    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.
  • T. R.:
    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.
  • N. T.:
    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.
  • C. W.:
    Exaktes Patternmatching in komprimierten Texten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Supervised by: Rüdiger Reischuk, Till Tantau.

2009

  • S. F.:
    Approximistisches String-Matching.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Supervised by: Rüdiger Reischuk, Till Tantau.
  • M. P.:
    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.
  • M. P.:
    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
  • J. P.:
    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.
  • C. P.:
    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.
  • C. S.:
    Evolutionäre Algorithmen auf Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Supervised by: Rüdiger Reischuk, Andreas Jakoby.
  • L. S.:
    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.
  • B. T.:
    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

  • N. H.:
    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
  • J. H.:
    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.
  • J. K.:
    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
  • H. S.:
    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

  • S. G.:
    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.
  • B. H.:
    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
  • V. P.:
    SEV-step: Instruction Granular Execution Tracking with Single Stepping on AMD SEV.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2007.
    Supervised by: Thomas Eisenbarth, Sebastian Berndt.

2006

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

2004

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