Offene Themen
Die folgende Liste enthält Themen und Forschungsbereiche für eine Bachelorarbeit. 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.
| Bachelorarbeitsthema |
Status |
Ansprechpartner |
|
Steganographische Verfahren zur Einbettung geheimer Informationen in Text-Dokumente
|
offen |
Reischuk |
|
Anonymisierung von Daten
|
offen |
Reischuk |
|
Geometrische Algorithmen: Flächenberechnungen im 3-dimensionalen Raum
|
offen |
Reischuk |
|
Randomisierte Algorithmen für diskrete Optimierungsprobleme
|
offen |
Reischuk |
|
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 |
|
Algorithms for analysis website traffic and generated web-tracking graphs
|
offen |
Liskiewicz |
|
User privacy and anonymity in Bitcoin system
|
offen |
Liskiewicz |
|
Experimentelle Untersuchung der Lösungsmengen von NAE-SAT
|
offen |
Reischuk |
|
Tools for analysis of the Bitcoin transaction graph
|
offen |
Liskiewicz |
|
Suchstrategien bei unvollständiger Information
|
offen |
Reischuk |
|
Backdoor attacks on cryptographic primitives
|
offen |
Liskiewicz |
|
Graph-based algorithms for histogram equalization of color images
|
offen |
Liskiewicz |
|
Algorithms for inferring causal relations from data
|
offen |
Liskiewicz |
|
Experimental evaluation of graph algorithms
|
offen |
Liskiewicz |
|
Genomic privacy
|
offen |
Liskiewicz |
|
Privacy preserving methods in healthcare and epidemiology
|
offen |
Liskiewicz |
Zum Ablauf
Die Bachelorarbeit bildet den Abschluss des
Bachelorstudiums.
Formalien bei Bachelorarbeiten
Bachelorarbeiten 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 Bachelorarbeit 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
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
In dieser Arbeit betrachten wir das Problem subsetsum, bei dem aus ei-
ner gegebenen Menge von natürlichen Zahlen eine Teilmenge bestimmt
werden soll, sodass die Elemente dieser Teilmenge in der Summe ei-
ne vorgegebene Zahl ergeben. Die Komplexität von subsetsum ist für
die Informatik interessant, denn aufgrund des generischen Aufbaus
von subsetsum lassen sich viele weitere Probleme darauf zurückfüh-
ren. In dieser Arbeit soll die Komplexität von mehreren Varianten von
subsetsum untersucht werden, denn obwohl fast alle Varianten des Pro-
blems in der üblichen binären Codierung NP-vollständig sind, haben
diese Probleme oft unterschiedliche Komplexitäten, wenn wir unäre
Kodierungen betrachten. In dieser Arbeit werden einige natürliche Va-
rianten dieses Problems diesbezüglich untersucht und entsprechende
Resultate präsentiert.
- 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
TEX ist ein Textsatzsystem, das häufig für die Erstellung wissenschaftli-
cher Dokumente eingesetzt wird. Das TEX-Paket TikZ ermöglicht zusätz-
lich die Erzeugung von qualitativ hochwertigen Vektorgraphiken direkt in
einem TEX-Dokument. Das Ziel dieser Arbeit war es, die TikZ-Graph-Draw-
ing-Bibliothek so zu erweitern, dass die Berechnung und Visualisierung phy-
logenetischer Bäume ebenfalls möglich wird.
Phylogenetische Bäume sind Diagramme, die die Phylogenie einer Men-
ge an Taxa in einer baumartigen Struktur darstellt. Die Stammesgeschichte
kann z.B. durch die sogenannten distance-based methods (engl. distanzbasierte
Methoden) berechnet werden, wobei die Phylogenie anhand einer Distanz-
matrix abgeschätzt wird. Es gibt verschiedene distanzbasierte Ansätze, von
denen zwei in dieser Arbeit näher betrachtet werden: der UPGMA- und der
BME-Algorithmus. Während UPGMA eher einfach und dadurch auch leicht
zu implementieren ist, ist BME deutlich überlegen, wenn es um akkurate
Topologie, Zeitkomplexität und Einsetzbarkeit geht. Da die beiden Algo-
rithmen nicht nur die Topologie des Baumes, sondern auch dessen Kan-
tenlängen bestimmen, ist auch ein Algorithmus erforderlich, der mit dem
Zeichnen von Graphen mit festen Kantenlängen umgehen kann. Sowohl die
Algorithmen für die Berechnung phylogenetischer Bäume als auch die für
deren Zeichnung wurden in der Programmiersprache Lua implementiert, da
es LuaTEX ermöglicht, Lua-Code direkt in TEX einzubetten. Die Algorithmen
und ihre Implementierungen werden diskutiert und verglichen, wobei das
implementierte Modul für die Berechnung und Visualisierung einiger bei-
spielhafter phylogenetischer Bäume direkt in diesem Dokument angewandt
wird.
- 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
Diese Arbeit befasst sich mit der Erkennung von Navigationen innerhalb von Webdokumenten. Zunächst werden eine eigene Charakterisierung von Navigationen, typische lokale und webdokumentübergreifende Navigationseigenschaften sowie mögliche Anwendungsgebiete der Navigationserkennung vorgestellt. Basierend auf der Charakterisierung der Navigationen und Navigationssysteme wird eine Struktur (Gruppen) für die Erkennung von einheitlich dargestellten Hyperlinks innerhalb eines Webdokumentes formal eingeführt und algorithmisch beschrieben. Im Anschluss werden verschiedene Ansätze für die Feststellung von Ähnlichkeiten zwischen Hyperlinks und zwischen Gruppen sowie Modelle und Algorithmen zur Überprüfung der Verlinkungsstruktur dargestellt. Abschließend werden die vorgestellten Modelle und Algorithmen in einem Algorithmus zur Navigationserkennung zusammengefasst und analysiert.
- 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
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.
Gutachter: Till Tantau, Steffen Möller.
PDF anzeigen | Zusammenfassung anzeigen
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.
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
Diese Studienarbeit stellt das Framework zur Algorithmusvisualisierung ALF vor. Die Struktur und die Funktionsweise werden erklärt und die Benutzung des Framework werden beschrieben. Mit dem Konzept des Algorithmischen Labors werden Pinzipien für das Interaktionsdesign und das Interfacedesign von Applikationen zur Algorithmusvisualisierung beschrieben, die mit Hilfe von ALF umgesetzt werden können. Die Entwicklung einer solchen Applikation wird am Beispiel des Algorithmus zur Matrix-Matrix-Multiplikation erläutert.
- 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
Mit dem drastischen Anstieg der Rechnerleistung in den letzten beiden Jahrzehnten haben
sich
neben
den
klassischen
mathematischen
Modellierungsmethoden
durch
Differentialgleichungssysteme auch Partikelsimulationen immer mehr zu einer nützlichen
Methode innerhalb
naturwissenschaftlicher Forschung entwickelt.
Im
Bereich der
Immunologie basieren die meisten Simulationen, welche zur Voraussage und Bewertung von
Versuchsergebnissen eingesetzt werden, auf dem Celada-Seiden-Modell. Da bei der
Erstellung dieses Modells die Berücksichtigung thermodynamischer und kinetischer
Gesetzmäßigkeiten nicht im Vordergrund stand, mangelt es dem Celada-Seiden-Modell
immer noch an allgemeiner Akzeptanz.
Einige spezielle Reaktions-Diffusions-Systeme können mit Hilfe der Differentialgleichungen
des FitzHugh-Nagumo-Modells dargestellt werden. In dieser Arbeit wurde das Celada-
Seiden-Modell auf ein bistabiles System übertragen, für das bereits eine Partikelsimulation
existiert, welche dieselben Ergebnisse liefert wie die FitzHugh-Nagumo-Gleichungen. Mit
Hilfe einer im Rahmen dieser Arbeit entwickelten Software wurden die genannten Modelle
analysiert und Gemeinsamkeiten wie auch Unterschiede herausgearbeitet. Des Weiteren
wurden zur Untersuchung der biophysikalischen Plausibilität des Celada-Seiden-Modells
Simulationsparameter für dieses Modell ermittelt, die zur Ausbildung von stabilen
labyrinthartigen Turingmustern führen.
- 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
