50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Publications 2018


Proceedings

  • A. Bernstein, W. Effelsberg, F. Freiling, S. Hölldobler, H.-P. Lenhof, P. Molitor, G. Neumann, R. Reischuk, N. Schweikardt, M. Spiliopoulou, S. Süsstrunk:
    Ausgezeichnete Informatikdissertationen 2017.
    Volume 18 of Lecture Notes in Informatics, Gesellschaft für Informatik, 2018.

Conference papers

  • Max Bannach, Till Tantau:
    Computing Hitting Set Kernels By AC^0-Circuits.
    In Proceedings of the 35th International Symposium on Theoretical Aspects of Computer Science, LIPIcs, 2018.
    Go to website | Show PDF | Show abstract
  • Max Bannach, Till Tantau:
    Computing Kernels in Parallel: Lower and Upper Bounds.
    In Proceedings of the 13th International Symposium on Parameterized and Exact Computation (IPEC 2018), LIPIcs, 2018.
    Go to website | Show PDF | Show abstract
  • Max Bannach, Sebastian Berndt:
    Practical Access to Dynamic Programming on Tree Decompositions.
    In Proceedings of the 26th Annual European Symposium on Algorithms, LIPIcs, 2018.
    Go to website | Show PDF | Show abstract
  • Max Bannach, Sebastian Berndt, Thorsten Ehlers, Dirk Nowotka:
    SAT-Encodings of Tree Decompositions.
    In Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions, , 2018.
    Go to website | Show abstract
  • Sebastian Berndt, Maciej Liskiewicz:
    On the Gold Standard for Security of Universal Steganography.
    In Proc. Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Volume vol. 10820 of LNCS, pp. 29-60. Springer, 2018.
    Go to website | Show abstract
  • Florian Thaeter, Rüdiger Reischuk:
    Improving Anonymization Clustering.
    In SICHERHEIT 2018, pp. 69-82. Gesellschaft für Informatik e.V., 2018.
    Go to website

Technical reports

  • Sebastian Berndt, Maciej Liskiewicz:
    On the Gold Standard for Security of Universal Steganography.
    Technical report 106, IACR Cryptology ePrint Archive, 2018.
    Go to website
  • Benito van der Zander, Maciej Liskiewicz, Johannes Textor:
    Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework.
    Technical report arXiv:1803.00116 (2018), arXiv preprint, 2018.
    Show PDF

Masters theses

  • F. B.:
    Konstruktion von Lösungen für Unart-Subset-Sum und verwandte Probleme in TC^o.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Till Tantau, Martin Leucker.
  • M. B.:
    Scheduling-Algorithmen für Energiemanagementsysteme in Smart-Homes.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2018.
    Supervised by: Martin Leucker, Till Tantau.
  • S. G.:
    Dynamische Approximationsverfahren für das Dominating-Set-Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Rüdiger Reischuk, Till Tantau.
  • I. H.:
    Private Edit Distance on DNA.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Maciej Liskiewicz, Thomas Eisenbarth.
  • M. S.:
    On the Expressive Power of Real-Time #Automata and Real-Time Logics.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2018.
    Supervised by: Martin Leucker, Till Tantau.
  • J. T.:
    Garbled Circuits: from White-Box Cryptography to Zero-Knowledge Proofs.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Maciej Liskiewicz, Thomas Eisenbarth.

Bachelors theses

  • 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.