50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2017


Zeitschriftenartikel

  • Sebastian Berndt, Maciej Liskiewicz, Matthias Lutter, Rüdiger Reischuk:
    Learning Residual Alternating Automata.
    Electronic Colloquium on Computational Complexity (ECCC), 24(46)2017.
    Website anzeigen | Zusammenfassung anzeigen
  • Maciej Liskiewicz, Matthias Lutter, Rüdiger Reischuk:
    Proper Learning of k-term DNF Formulas from Satisfying Assignments.
    Electronic Colloquium on Computational Complexity (ECCC), 24(114)2017.
    Website anzeigen | Zusammenfassung anzeigen

Konferenzbeiträge

  • Max Bannach, Sebastian Berndt, Thorsten Ehlers:
    Jdrasil: A Modular Library for Computing Tree Decompositions.
    In International Symposium on Experimental Algorithms (SEA 2017), Band 75 von LIPIcs, S. 28:1--28:21. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017.
    Website anzeigen | Zusammenfassung anzeigen
  • Sebastian Berndt, Maciej Liskiewicz:
    Algorithm Substitution Attacks from a Steganographic Perspective.
    In ACM Conference on Computer and Communications Security (CCS 2017), S. 1649--1660. , 2017.
    Website anzeigen | Zusammenfassung anzeigen
  • Sebastian Berndt, Maciej Liskiewicz, Matthias Lutter, Rüdiger Reischuk:
    Learning Residual Alternating Automata.
    Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), S. 1749-1755. , 2017.
    Website anzeigen | Zusammenfassung anzeigen
  • Martin R. Schuster, Maciej Liskiewicz:
    New Abilities and Limitations of Spectral Graph Bisection.
    In 25th Annual European Symposium on Algorithms, (ESA) 2017, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017.
  • Till Tantau:
    Applications of Algorithmic Metatheorems to Space Complexity and Parallelism (Invited Talk)..
    In 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), S. 4:1--4:4. DROPS, 2017.
    Website anzeigen | Zusammenfassung anzeigen

Technische Berichte

  • Martin R. Schuster, Maciej Liskiewicz:
    New Abilities and Limitations of Spectral Graph Bisection.
    Technischer Bericht 1701.01337, arXiv, 2017.
    Website anzeigen | Zusammenfassung anzeigen

Dissertationen

  • Christoph Stockhusen:
    On the Space and Circuit Complexity of Parameterized Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Till Tantau, Heribert Vollmer.

Master- und Diplomarbeiten

  • Dominik Huber:
    Dreiwertige Timed-LTL-Semantik.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2017.
    Gutachter: Martin Leucker, Till Tantau.
  • Alexandra Anna Lassota:
    Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Till Tantau, Martin Leucker.
  • Anton Pirogov:
    SMT-based Flat Model-Checking for LTL with Counting.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2017.
    Gutachter: Martin Leucker, Till Tantau.
  • Jan Wichelmann:
    Differential Privacy: Choosing Parameters for Multiple Studies.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Rüdiger Reischuk, Thomas Eisenbarth.

Bachelor- und Studienarbeiten

  • Tim Bahnemann:
    Optimierung eines Genetischen Algorithmus für das Mengenüberdeckungsproblem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Rüdiger Reischuk, Ralf Möller.
  • Patrik Dresel:
    Randomisierte Algorithmen für das Färbungsproblem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Rüdiger Reischuk, Till Tantau.
  • Jonas Lehmann:
    Die algorithmische Komplexität von Wirst-Case-Flüssen in unzuverlässigen Netzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Rüdiger Reischuk, Till Tantau.
  • Timo Luerweg:
    Network Steganography.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Maciej Liskiewicz, Stefan Fischer.
  • Thorsten Peinemann:
    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.
  • Volkmar Ramcke:
    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.
  • Lena Stocks:
    Algorithmische Konstruktion von Primern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Till Tantau, Amir Madany.
  • Luca Wilke:
    Lange Wege in Gittergraphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2017.
    Gutachter: Rüdiger Reischuk, Christian Bey.