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
  • Sebastian Berndt, Maciej Liskiewicz:
    On the Gold Standard for Security of Universal Steganography.
    In EUROCRYPT 2018, , 2018 (to appear).
    Show abstract

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