50 years Univerity of Lübeck

Institute for Theoretical Computer Science

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

  • Max Bachmann:
    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.
  • Friederike Bartels:
    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.
  • Sören Grothkopp:
    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.
  • Ivo Heinecke:
    Private Edit Distance on DNA.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Maciej Liskiewicz, Thomas Eisenbarth.
  • Matthias Schiffer:
    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.

Bachelors theses

  • Tim Bahnemann:
    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.
  • Karoline Karkosch:
    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.
  • Berit Klaucke:
    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.
  • Jonas Lehmann:
    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.
  • Timo Luerweg:
    Network Steganography.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2018.
    Supervised by: Maciej Liskiewicz, Stefan Fischer.
  • Anika Oellerich:
    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.
  • Gabriel Will:
    Soziales Netzwerk mit Privatsphäre.
    Universität zu Lübeck, Institut für für Informationssysteme, 2018.
    Supervised by: Sven Groppe, Rüdiger Reischuk.