50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2018


Konferenzbeiträge

  • 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.
    Website anzeigen | PDF anzeigen | Zusammenfassung anzeigen
  • Sebastian Berndt, Maciej Liskiewicz:
    On the Gold Standard for Security of Universal Steganography.
    In EUROCRYPT 2018, , 2018 (noch nicht erschienen).
    Zusammenfassung anzeigen

Master- und Diplomarbeiten

  • Max Bachmann:
    Scheduling-Algorithmen für Energiemanagementsysteme in Smart-Homes.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2018.
    Gutachter: 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.
    Gutachter: Martin Leucker, Till Tantau.

Bachelor- und Studienarbeiten

  • Tim Bahnemann:
    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.