2024

• F.W.:
  On the Complexity of Fundamental Problems for DAG Compressed Graphs.
  Universität zu Lübeck, Institut für Theoretische Informatik, 2024.
  Supervised by: 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.
  Supervised by: Maciej Liskiewicz, Sven Groppe.
• L.B.:
  Improving Layout for Causal Graphs.
  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
  
  In this thesis we take a look at the problem subsetsum, in which a subset out of a set of natural numbers must be chosen in a way, that the sum of these elements equals a given number. A lot of natural pro- blems can be reduced to subsetsum because of the simple structure of the problem, therefore the complexity of subsetsum is interesting for computer science. In this thesis we will analyze a few versions of subsetsum because all these versions are NP complete if we consider a default binary encoding, but a few of them lie in different complexity classes if we consider them with a unary encoding. In this thesis we will study a few natural versions of the problem and examine them in this regard and present the results.
• 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
  
  TEX is a typesetting system which is frequently used for scientific docu- ments. The TEX package TikZ allows for the creation of high quality vector graphics directly from a TEX document. The aim of this thesis was to ex- pand the TikZ graph drawing library, in order to enable the computation and visualization of phylogenetic trees. Phylogenetic trees are diagrams that display the phylogeny of a set of taxa in a tree-like manner. One type of approach on determining the evolutionary history of a dataset are the distance-based methods, where the phylogeny is estimated on the basis of a distance matrix. There are a number of different distance-based methods, of which two are dealt with here: the UPGMA and the BME algorithm. While the former has the advantage of being simple and thus easy to implement, the latter is superior when it comes to topological accuracy, time complexity, and applicability. As both these algorithms do not only determine the tree’s topology, but also the respective edge lengths, a graph drawing algorithm, which can handle fixed edge lengths, is also nec- essary. Both the phylogenetic tree and the graph drawing algorithms have been implemented in the programming language Lua, as LuaTEX delivers the possibility of incorporating Lua-code directly into TEX. The algorithms and their implementation will be discussed and compared, whereas the im- plemented module is used for the exemplary computation and visualization of phylogenetic trees directly in this document.
• 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
  
  This thesis deals with the problem of detecting navigational hyperlinks in webdocuments of the World Wide Web. First of all a characterization of webnavigations will be formulated and typical local and non-local properties and application areas will be discussed. Based on the characterization of webnavigations new structures (Gruppen, engl. groups ) and algorithms for the local detection of uniformly displayed hyperlinks inside the same webdocument will be demonstrated. Subsequent, different approaches for comparing hyperlinks and comparing groups are going to be introduced. In the end all of the discussed algorithms will be combined in one algorithm for detecting navigational hyperlinks.
• 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
  
  An der Universität zu Lübeck beschäftigen sich viele Arbeitsgruppen mit dem Thema HIF. Aus diesem Grund wird ein Computerprogramm benötigt, das metabolische Systeme implementieren und simulieren kann. Die zu diesem Thema bereits existierenden Softwarelösungen sind zu komplex und zumeist nicht frei verfügbar. Daher wurde im Rahmen dieser Arbeit ein Programm entwickelt, das genau auf diesen Zweck zugeschnitten ist. Damit ist es möglich Stoffwechsel-Kreisläufe zu simulieren und die Ergebnisse direkt mit experimentellen Daten zu vergleichen. Um das Programm auf den HIF-Regelkreis anzuwenden wurde ein Modell erstellt, das die sauerstoffabhängige Akkumulation von HIF-1? in der Zelle darstellt. Das Modell wurde simuliert und die Ergebnisse mit experimentellen Daten verglichen.

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
  
  The current models for the evolution of antibody diversity do not reflect sufficiently the complexity of the associated mechanisms. The diversity of antibodies is essential for the survival of vertebrates against the huge amount of pathogens in the natural environment. The improvement of these models is a crucial step to understand the key factors that govern the evolution of an- tibody diversity. We analyze the V gene based primary diversity mechanisms in humans, mice and chickens. Our investigations provide the characteristic features of two mechanisms which help to create more suitable models for the evolution of antibodies.
• 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
  
  This thesis presents the algorithm-visualization-framework ALF. Its topology and functionality will be explained and it will be described how to use this framework. The introduced concept of algorithm labs provides principles for an algorithm visualization applications interaction design and interface design, which can be realized supported by ALF. As an example the implementation of the matrix-matrix-multiplication algorithm is explained.
• 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
  
  The increase of computer performance within the last two decades has made particle simulations to become a more and more useful adjunct to scientific research, complementing canonical mathematical modelling by differential equations. Many simulations used for predictions of experimental results and the evaluation of results in immunological research are based on the Celada-Seiden model. It has not been the concern of the designers to make this model complying with requirements of kinetic and thermodynamic laws, and so the Celada- Seiden model is still generally not accepted among scientists. The differential equations of the FitzHugh-Nagumo model can be used to form reaction- diffusion systems. There is a particle simulation for a bistable system which provides the same results as the FitzHugh-Nagumo equations. In this bachelor thesis the Celada-Seiden model is used to simulate this bistable system. As an aid to analize the mentioned models and characterize differences and similarities, a simulation program has been developed. Simulation parameters which lead to the formation of stable labyrinth patterns in the Celada- Seiden model have been calculated, in order to substantiate the biophysical plausibility of this model.
• 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