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), , 2017 (noch nicht erschienen).
    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.

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.

Bachelor- und Studienarbeiten

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