50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2016


Editorium

  • A. Bernstein, W. Effelsberg, F. Freiling, S. Hölldobler, H.-P. Lenhof, P. Molitor, G. Neumann, R. Reischuk, N. Schweikardt, M. Spiliopoulou, H. Störrle, S. Süsstrunk:
    Ausgezeichnete Informatikdissertationen 2015.
    Band 16 von Lecture Notes in Informatics, Dissertationen, GI, 2016.

Zeitschriftenartikel

  • Michael Elberfeld, Martin Grohe, Till Tantau:
    Where First-Order and Monadic Second-Order Logic Coincide.
    Transactions on Computational Logic, (Volume 17 Issue 4, November 2016 Article No. 25)2016.
  • Till Tantau:
    A Gentle Introduction to Applications of Algorithmic Metatheorems for Space and Circuit Classes.
    Algorithms, 9(3):1-44, 2016.
    Website anzeigen | Zusammenfassung anzeigen
  • Johannes Textor, Benito van der Zander, Mark S. Gilthorpe, Maciej Liskiewicz, George T.H. Ellison:
    Robust causal inference using Directed Acyclic Graphs: the R package ’dagitty’.
    International Journal of Epidemiology, 6(45):1887-1894, 2016.
    Website anzeigen

Konferenzbeiträge

  • Max Bannach, Till Tantau:
    Parallel Multivariate Meta-Theorems.
    In Proceedings of the 11th International Symposium on Parameterized and Exact Computation (IPEC 2016), LIPIcs, 2016.
    Website anzeigen | PDF anzeigen | Zusammenfassung anzeigen
  • Sebastian Berndt, Maciej Liskiewicz:
    Hard Communication Channels for Steganography.
    In The 27th International Symposium on Algorithms and Computation (ISAAC 2016), ISBN 978-3-95977-026-2, LIPICS Vol. 64, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2016.
    Website anzeigen | Zusammenfassung anzeigen
  • Sebastian Berndt, Maciej Liskiewicz:
    Provable Secure Universal Steganography of Optimal Rate.
    In Proceedings of the 4rd ACM Workshop on Information Hiding and Multimedia Security, IH&MMSec 2016, Vigo, Spain, June 20 - 22, 2016, S. 387-394. ACM (Awarded Best Student Paper), 2016.
    Website anzeigen | Zusammenfassung anzeigen
  • Sebastian Berndt, Rüdiger Reischuk:
    Steganography Based on Pattern Languages.
    In Language and Automata Theory and Applications, 10th International Conference LATA 2016 Prague, Czech Republic, March 14-18, 2016, Band Volume 9618 von Lecture Notes in Computer Science (LNCS), S. 387-399. Springer, 2016.
    Website anzeigen | Zusammenfassung anzeigen
  • Malte Skambath, Till Tantau:
    Offline Drawing of Dynamic Trees: Algorithmics and Document Integration.
    In GD 2016: Graph Drawing and Network Visualization, Band 9801 von LNCS, S. 572-586. Springer, 2016.
    Website anzeigen | Zusammenfassung anzeigen
  • Benito Van der Zander, Maciej Liskiewicz:
    On Searching for Generalized Instrumental Variables.
    In Proceedings of the The 19th International Conference on Artificial Intelligence and Statistics (AISTATS'16), S. 1214-1222. JMLR Proceedings, 2016.
    Website anzeigen
  • Benito van der Zander, Maciej Liskiewicz:
    Separators and Adjustment Sets in Markov Equivalent DAGs.
    In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI'16), Phoenix, Arizona USA, S. 3315-3321. AAAI Press, 2016.
    Website anzeigen

Technische Berichte

  • Malte Skambath, Till Tantau:
    Offline Drawing of Dynamic Trees: Algorithmics and Document Integration Analysis of Binary Search Trees.
    Technischer Bericht arXiv:1608.08385, CoRR, 2016.
    Website anzeigen | Zusammenfassung anzeigen

Dissertationen

  • Oliver Witt:
    Topological and Online Analysis of Dynamic Storage Networks.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Rüdiger Reischuk, Andreas Brandstädt.

Master- und Diplomarbeiten

  • Ruben Beyer:
    Algorithmisches Zeichnen von planaren Graphen mit TikZ.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Till Tantau, Hans-Martin Teichert.
  • Katharina Dannenberg:
    On the Complexity of Constructing Phylogenetic Trees from Rooted Triplets.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Maciej Liskiewicz, Ralf Möller.
  • Bennet Gerlach:
    Generation and verification of formal proofs of propositional tautologies.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Till Tantau, Ralf Möller.
  • Florian-Lennert Adrian Lau:
    Kompetitive Analyse von Multizustand-Systemen im Dynamic Power-Management Kontext.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Rüdiger Reischuk, Stefan Fischer.
  • Robin Niemann:
    Das No-Comparing-Theorem für Qubits.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
  • Malte Skambath:
    Algorithmic Drawing of Evolving Trees.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Till Tantau, Andreas Schrader.

Bachelor- und Studienarbeiten

  • Gudrun Amedick:
    Platzierung von Speicherknoten in dynamischen Netzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Rüdiger Reischuk, Martin Teichert.
  • Marco Bierschenk:
    Vierwertige Timed-Linear-Temporal-Logic.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2016.
    Gutachter: M. Leucker, Till Tantau.
  • Tim Ole Caliebe:
    Praktische Implementierung der Grey-Box Steganographie.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
  • Gilian Henke:
    Algorithmisches Zeichnen von Automaten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Till Tantau, Martin Leucker.
  • Hannes Kallwies:
    Effizienter Leerheitstest pro Zustand auf Buch-Automaten.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2016.
    Gutachter: Martin Leucker, Till Tantau.
  • Alexandra Klimchenko:
    Visualisierung von Stammbäumen in Ticks unter Erhaltung semantischer Repräsentationen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Till Tantau, Ralf Möller.
  • Dominik Mairhöfer:
    "Secure Two-Party Computation" mit Unterstützung vom CBMC-GC System: Experimentelle Analyse.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Maciej Liskiewicz, Stefan Fischer.
  • Marcel Wienöbst:
    Experimentelle Analyse von Algorithmen zur Lösung des Bisektionsproblems in Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Maciej Liskiewicz, Hans-Martin Teichert.
  • Yannick Wittke:
    Analyse anonymisierter Daten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Gutachter: Rüdiger Reischuk, Heinz Handels.