50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Bachelor- und Masterarbeiten


Offene Themen

Die folgende Liste enthält nummerierte Themen und Forschungsbereiche für eine Bachelor- und 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.

Arbeitsthema Status Ansprechpartner Weitere Informationen
1. Logik und Automaten offen Tantau
2. Algorithmik
Implementierung und Test eines randomisierten Algorithmus zur Berechnung der Zuverlässigkeit eines Netzwerkes offen Reischuk
Algorithmen für diskrete Optimierungsprobleme bei unvollständiger Information offen Reischuk
Fehlertolerante Algorithmen offen Reischuk
Randomisierte Algorithmen für diskrete Optimierungsprobleme offen Reischuk
Experimental evaluation of graph algorithms offen Liskiewicz
Graph-based algorithms for histogram equalization of color images offen Liskiewicz
Algorithms for analysis website traffic and generated web-tracking graphs offen Liskiewicz
Dynamische Flussnetzwerke offen Reischuk
Exakte Algorithmen für diskrete Optimierungsprobleme offen Reischuk
Konstruktion schwerer Probleminstanzen für kombinatorische Algorithmen offen Reischuk
Evolutionäre/genetische Algorithmen für diskrete Optimierungsprobleme offen Reischuk
3.Komplexitätstheorie
Average-Case Laufzeitanalyse (Smoothed Analysis) offen Reischuk
Experimentelle Untersuchung der Lösungsmengen von NAE-SAT offen Reischuk
4. Künstliche Intelligenz
Learning finite automata with membership and equivalence queries with applications in model checking offen Liskiewicz
Machine learning with (differential) privacy offen Liskiewicz
Private preserving causal inference offen Liskiewicz
Private Preserving Data Mining offen Liskiewicz
Efficient algorithms for learning causal structures / Bayesian networks offen Liskiewicz Link
5. IT-Sicherheit
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
Verschlüsselter Datenaustausch für Videosprechstunde offen Reischuk Link
Bitcoin: tracking thefts and illicit activities offen Liskiewicz
Anonymisierung von Daten offen Reischuk
Geheime Informationsübertragung (Steganographie) offen Reischuk
Schutz der Privatsphäre (Differential Privacy, Private Computing) offen Reischuk
Echtheitsverifikation gedruckter Dokumente offen Reischuk
Privacy preserving methods in healthcare and epidemiology offen Liskiewicz
User privacy and anonymity in Bitcoin system offen Liskiewicz
Genomic privacy offen Liskiewicz
Backdoor attacks on cryptographic primitives offen Liskiewicz
Tools for analysis of the Bitcoin transaction graph offen Liskiewicz
Steganographische Verfahren zur Einbettung geheimer Informationen in Text-Dokumente offen Reischuk
6. Weitere Themen
Bei Interesse können auch spezielle Themen von den Studierenden vorgeschlagen werden.

Zum Ablauf

Die Bachelorarbeit bildet den Abschluss des Bachelorstudiums und die Masterarbeit bildet den Abschluss des Masterstudiums.

Formalien bei Bachelor- und Masterarbeiten

Bachelor- und 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. Die Bearbeitungszeit der Bachelorarbeit beträgt 6 Monate, der Arbeitsumfang 3 Monate Vollzeit. Die Arbeit ist fristgemäß beim Vorsitzenden des Prüfungsausschusses oder dem Prüfungsamt abzuliefern.

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 für Bachelorarbeiten Anmeldeformular für Masterarbeiten mindestens eine Woche vorher dem Prüfungsamt bekannt zu geben ist.

Abgeschlossene Arbeiten

2024

  • F.W.:
    On the Complexity of Fundamental Problems for DAG Compressed Graphs.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
    Gutachter: Till Tantau, Diedrich Wolter.
  • J.B.:
    An Application of Quantum Annealing for Prime Factorisation.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
    Gutachter: Maciej Liskiewicz, Sven Groppe.
  • L.B.:
    Improving Layout for Causal Graphs.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
    Gutachter: Maciej Liskiewicz, Sven Groppe.
  • N.J.S.:
    Implementierung von Steganographie in QR-Codes.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
    Gutachter: 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.
    Gutachter: Sebastian Berndt, Kim-Manuel Klein.
  • P.R.:
    Steganographie unter Verwendung von fehlerkorrigierenden Codes.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Sebastian Berndt, Thomas Eisenbarth.
  • M. H.:
    Implementing Secure Summation For Mobile Devices.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
    Gutachter: Esfandiar Mohammadi, Sebastian Berndt.
  • C. H.:
    Secure and Fast Outsourced Machine Learning.
    Universität zu Lübeck, Institut für IT-Sicherheit, 2023.
    Gutachter: 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.
    Gutachter: Sebastian Berndt, Saleh Mulhem.
  • D.A.:
    ML-based Methods for Predicting Price Movements.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Maciej Liskiewicz, Marcin Grzegorzek.
  • D.K.:
    Analyse eines parallelen Semisortierverfahrens.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: 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.
    Gutachter: Till Tantau, Esfandiar Mohammadi.
  • J.W.:
    Post-Compromise attack on Signalprotocol.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: Sebastian Berndt, Thomas Eisenbarth.
  • K.H.:
    Implementation of substitution attacks on Sigma protocols.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: 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.
    Gutachter: Till Tantau, Esfandiar Mohammadi.
  • M.D.:
    WebRTC Anwendung im medizinischen Kontext.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: 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.
    Gutachter: Sebastian Berndt, Esfandiar Mohammadi.
  • S.G.:
    Dynamische Algorithmen für Rucksack-Probleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2023.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Maciej Lisikiewicz, Thomas Eisenbarth.
  • V.B.:
    Evaluation eines Algorithmus für eine schnelle Breitensuche.
    Universität zu Lübeck, Institut für Informationssysteme, 2023.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Esfandiar Mohammadi, Sebastian Berndt.
  • F. L.:
    Analyse der Uniformität von Knapsack-Verteilungen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Gutachter: Sebastian Berndt, Thomas Eisenbarth.
  • J. M.:
    Implementation of covert MPC protocols.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Sebastian Berndt, Thomas Eisenbarth.
  • F.B.:
    Floor Sensor Data using Neural Networks.
    Universität zu Lübeck, Institut für Medizinische Informatik, 2022.
    Gutachter: Marcin Grzegorzek, Maciej Liskiewicz.
  • J.B.:
    Secure Steganography on ML-Based Channels.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Till Tantau, Ralf Möller.
  • L.O.:
    Protocols for Private Edit Distance Estimation.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2022.
    Gutachter: 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.
    Gutachter: Ralf Möller, Till Tantau.
  • E. B.:
    Randomisierte Analyse des k-Server Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
    Gutachter: Rüdiger Reischuk, Heiko Hamann.
  • K. B.:
    Steganographie auf Zahlenfolgen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2021.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
  • F. K.:
    Topic Modeling with Probabilistic Soft Logic.
    Universität zu Lübeck, Institut für Informationssysteme, 2021.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Maciej Liskiewicz, Martin Leucker (ISP).
  • J. G.:
    Optimierungsprobleme für Mengensysteme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Till Tantau, Ralf Möller.
  • C. H.:
    Das Känguru Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Gutachter: Rüdiger Reischuk, Heiko Hamann.
  • K. J.:
    StirMark Tests on Digital Watermarking.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Gutachter: Andreas Jakoby, Maciej Liskiewicz.
  • F. M.:
    Compactification of Probability Distributions.
    Universität zu Lübeck, Institut für Informationssysteme, 2020.
    Gutachter: Ralf Möller, Maciej Liskiewicz.
  • S. O.:
    Computerschach.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Gutachter: 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.
    Gutachter: Thomas Eisenbartg, Maciej Liskiewicz.
  • J. S.:
    Steganographie in Schwarz-Weiß Bildern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2020.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Till Tantau, Ralf Möller.
  • M. L.:
    Täuschungsstrategien gegen Fingerprinting im Webbrowser.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Rüdiger Reischuk, Esfandiar Mohammadi.
  • S. T.:
    Experimental analysis of algorithm substitution attacks.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Rüdiger Reischuk, Till Tantau.
  • T. L.:
    Network Steganography.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Gutachter: 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.
    Gutachter: Maciej Liskiewicz, Stefan Fischer.
  • M. S.:
    Auswertbarkeitserhaltende Datenbankanonymisierung mithilfe von aktuellen Algorithmen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Gutachter: Rüdiger Reischuk, Thomas Eisenbarth.
  • G. W.:
    Soziales Netzwerk mit Privatsphäre.
    Universität zu Lübeck, Institut für für Informationssysteme, 2018.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Till Tantau, Rüdiger Reischuk.
  • L. S.:
    Algorithmische Konstruktion von Primern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Till Tantau, Amir Madany.
  • L. W.:
    Lange Wege in Gittergraphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: 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.
    Gutachter: Rüdiger Reischuk, Martin Teichert.
  • M. B.:
    Vierwertige Timed-Linear-Temporal-Logic.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2016.
    Gutachter: M. Leucker, Till Tantau.
  • T. O. C.:
    Praktische Implementierung der Grey-Box Steganographie.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
  • G. H.:
    Algorithmisches Zeichnen von Automaten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Maciej Liskiewicz, Stefan Fischer.
  • Y. W.:
    Analyse anonymisierter Daten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: 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.
    Gutachter: Maciej Liskiewicz, Hanns-Martin Teichert.
    PDF anzeigen

2015

  • K.-D. B.:
    Graph-basierte Wasserzeichen für Software.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Martin Leucker, Till Tantau.
  • N. K.:
    Secure Multiparty Computations in Bitcoin.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: 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.
    Gutachter: Jan Ehrhardt, Maciej Liskiewicz.
  • A. A. L.:
    Probabilistische Analyse und Minimierung von Flussnetzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: 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.
    Gutachter: Till Tantau, Stefan Fischer.
  • J. C. P.:
    Algorithmisches Zeichnen von RNA-Hairpin-Strukturen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Amir Madany Mamlouk, Till Tantau.
  • J. H.:
    Entwicklung eines SAT-Solvers.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Maciej Liskiewicz, Andreas Schrader.
  • T. S.:
    Lokale Suchstrategien für Erfüllbarkeitsprobleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Maciej Liskiewicz.

2012

  • M. B.:
    Berechnungskomplexitäten von Varianten des Subset-Sum-Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Gutachter: Till Tantau, Hans-Martin Teichert.
    PDF anzeigen | Zusammenfassung anzeigen
  • M. B.:
    Multimengen-Baumautomaten: Analyse und Implementierung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Till Tantau, Hans-Martin Teichert.
    PDF anzeigen | Zusammenfassung anzeigen
  • M. S.:
    Transformation von regulärer Linearzeit-Temporallogik zu Paritätsautomaten.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2012.
    Gutachter: Martin Leucker, Till Tantau.
  • B. W.:
    Steganographie in Binärbildern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
  • F. W.:
    Synchronisierungsmethoden zur Huffmankodierung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2012.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Rüdiger Reischuk, Till Tantau.
    PDF anzeigen | Zusammenfassung anzeigen
  • 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Michael Herczeg, Till Tantau.
  • C. W.:
    Exaktes Patternmatching in komprimierten Texten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Gutachter: Rüdiger Reischuk, Till Tantau.

2009

  • S. F.:
    Approximistisches String-Matching.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Gutachter: 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.
    Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
  • M. P.:
    Evolution vielfaltserzeugender Mechanismen im Immunsystem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Gutachter: Till Tantau, Steffen Möller.
    PDF anzeigen
  • 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.
    Gutachter: Till Tantau.
  • C. P.:
    Vertex Cover: Performance Improvement through Evolutionary Algorithms and Kernelization.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Gutachter: Rüdiger Reischuk.
  • C. S.:
    Evolutionäre Algorithmen auf Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2009.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Till Tantau, Jan Rupp.
    Zusammenfassung anzeigen

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.
    Gutachter: Till Tantau, Steffen Möller.
    PDF anzeigen | Zusammenfassung anzeigen
  • J. H.:
    Untersuchungen zur Sicherheit eines PCA-basierten Fingerprint-Systems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Gutachter: 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.
    Gutachter: Till Tantau.
    PDF anzeigen | Zusammenfassung anzeigen
  • 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.
    Gutachter: 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.
    Gutachter: Till Tantau, Christian Claussen.
  • B. H.:
    Partikelsimulation einer Reaktions-Diffusions-Gleichung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Till Tantau, Dirk Langemann.
    PDF anzeigen | Zusammenfassung anzeigen
  • 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.
    Gutachter: Thomas Eisenbarth, Sebastian Berndt.

2006

  • F. P.:
    Vergleich von Genome Rearrangement Algorithmen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2006.
    Gutachter: Rüdiger Reischuk.
  • J. R.:
    UltraMarc-Hashbasiertes Wasserzeichensystem für digitale Bilder.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2006.
    Gutachter: 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.
    PDF anzeigen