50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2019


Editorium

  • Rüdiger Reischuk, Steffen Höllendobler, et al.:
    Ausgezeichnete Informatikdissertationen 2018.
    Lecture Notes in Informatic Dissertation, GI-Edition, 2019.

Buchbeiträge

  • Max Bannach:
    Parallele Parametrisierte Algorithmen.
    In Ausgezeichnete Informatikdissertationen 2019, Band D-20 von LNI, S. 29--38. GI, 2019.
    Website anzeigen | Zusammenfassung anzeigen

Zeitschriftenartikel

  • Max Bannach, Sebastian Berndt:
    Practical Access to Dynamic Programming on Tree Decompositions.
    MDPI Algorithms, 2019. Special Issue: New Frontiers in Parameterized Complexity and Algorithms
    Website anzeigen | Zusammenfassung anzeigen
  • Katharina Dannenberg, Jesper Jansson, Andrzej Lingas, Eva-Marta Lundell:
    The Approximability of Maximum Rooted Triplets Consistency with Fan Triplets and Forbidden Triplets.
    Discrete Applied Mathematics, 257:101-114, 2019.
    Website anzeigen
  • Tom Hartmann, Max Bannach, Martin Middendorf:
    Sorting Signed Permutations by Inverse Tandem Duplication Random Losses.
    IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2019.
    Website anzeigen | Zusammenfassung anzeigen
  • Maciej Liskiewicz, Matthias Lutter, Rüdiger Reischuk:
    Proper learning of k-term DNF formulas from satisfying assignments.
    Journal of Computer and System Sciences, 106:129-144, 2019.
    Website anzeigen | Zusammenfassung anzeigen
  • Benito van der Zander, Maciej Liskiewicz, Johannes Textor:
    Separators and adjustment sets in causal graphs: Complete criteria and an algorithmic framework.
    Artificial Intelligence, Vol. 270, Pages 1-40, (270):1-40, 2019.
    Website anzeigen

Konferenzbeiträge

  • Max Bannach, Till Tantau:
    On the Descriptive Complexity of Color Coding.
    In Proceedings of STACS 2019, LIPIcs, LIPIcs, 2019.
    Website anzeigen | PDF anzeigen | Zusammenfassung anzeigen
  • Max Bannach, Sebastian Berndt:
    Positive-Instance Driven Dynamic Programming for Graph Searching.
    In Proceedings of the 16th Algorithms and Data Structures Symposium (WADS 2019), Springer, 2019.
    PDF anzeigen | Zusammenfassung anzeigen
  • Max Bannach, Malte Skambath, Till Tantau:
    Towards Work-Efficient Parallel Parameterized Algorithms.
    In Proceedings of the 13th International Conference and Workshops on Algorithms and Computation (WALCOM 2019), Springer, 2019.
    Website anzeigen | PDF anzeigen | Zusammenfassung anzeigen
  • Tom Hartmann, Max Bannach, Martin Middendorf:
    Sorting Signed Permutations by Inverse Tandem Duplication Random Losses.
    In Proceedings of the 17th Asia Pacific Bioinformatics Conference (APBC 2019), , 2019.
    PDF anzeigen | Zusammenfassung anzeigen
  • Zacharias Heinrich, Rüdiger Reischuk:
    Improved Dynamic Kernels for Hitting-Set.
    In 17th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, S. 69-72. Inproceedings, 2019.
    PDF anzeigen
  • Florian Thaeter:
    Hardness of k-anonymous microaggregation.
    In 17th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, S. 135-138. Inproceedings, 2019.
    PDF anzeigen
  • Benito van der Zander, Maciej Liskiewicz:
    Finding minimal d-separators in linear time and applications.
    In Proceedings of the 35th Conference on Uncertainty in Artificial Intelligence (UAI'19), AUAI Press, 2019.
    PDF anzeigen

Technische Berichte

  • Max Bannach, Zacharias Heinrich, Rüdiger Reischuk, Till Tantau:
    Dynamic Kernels for Hitting Sets and Set Packing.
    Technischer Bericht , Electronic Colloquium on Computational Complexity, 2019.
    Website anzeigen | Zusammenfassung anzeigen

Dissertationen

  • Max Bannach:
    Parallel Parameterized Algorithms.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Till Tantau, Heribert Vollmer.
    Website anzeigen | Zusammenfassung anzeigen

Master- und Diplomarbeiten

  • Z. H.:
    Dynamische Kernelisierungen für Vertex Cover und Hitting Set.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Rüdiger Reischuk, Till Tantau.
  • H. K.:
    Efficient Code Generation for Stream-based Specifications.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2019.
    Gutachter: Martin Leucker, Till Tantau.
  • C. P.:
    Steganography in Print-Scan Documents.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Rüdiger Reischuk, Thomas Eisenbarth.
  • Marcel Wienöbst:
    Constraint-based causal structure learning exploiting low-order conditional independences.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Maciej Liskiewicz, Ralf Möller.
    PDF anzeigen

Bachelor- und Studienarbeiten

  • F. G.:
    Algorithms for the Feedback Arc Set Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Rüdiger Reischuk, Heiko Hamann.
  • H. H.:
    Aggregation on the shortest path in a Kilobot swarm.
    Universität zu Lübeck, Institut für Technische Informatik, 2019.
    Gutachter: Heiko Hamann, Rüdiger Reischuk.
  • F. H.:
    Untersuchungen zur Fixed-Parameter-Tractability des Model-Checking-Problems auf universellen Fragmenten der erststufigen Logik.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Till Tantau, Ralf Möller.
  • M. L.:
    Täuschungsstrategien gegen Fingerprinting im Webbrowser.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Maciej Liskiewicz, Thomas Eisenbarth.
  • S. M.:
    Der Genetische Code und seine Optimierung statistisch untersucht.
    Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2019.
    Gutachter: Amir Madany Mamlouk, Till Tantau.
  • M. S.:
    Beschreibung von regulären und rationalen Relationen mittels erststufiger Prädikatenlogik.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Till Tantau, Özgür L. Özcep.
  • F.-C. S.:
    Datenbankanonymisierung auf Basis von k-means-Algorithmen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Rüdiger Reischuk, Esfandiar Mohammadi.
  • S. T.:
    Experimental analysis of algorithm substitution attacks.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Maciej Liskiewicz, Thomas Eisenbarth.
  • V. W.:
    Implementierung und Benchmarking eines exakten kombinatorischen Algorithmus für eine minimale Graph Bisektion.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2019.
    Gutachter: Maciej Liskiewicz, Ralf Möller.