50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Publications 2016


Proceedings

  • 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.
    Volume 16 of Lecture Notes in Informatics, Dissertationen, GI, 2016.

Journal articles

  • 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.
    Go to website | Show abstract
  • 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.
    Go to website

Conference papers

  • Max Bannach, Till Tantau:
    Parallel Multivariate Meta-Theorems.
    In Proceedings of the 11th International Symposium on Parameterized and Exact Computation (IPEC 2016), LIPIcs, 2016.
    Go to website | Show PDF | Show abstract
  • 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.
    Go to website | Show abstract
  • 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, pp. 387-394. ACM (Awarded Best Student Paper), 2016.
    Go to website | Show abstract
  • 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, Volume Volume 9618 of Lecture Notes in Computer Science (LNCS), pp. 387-399. Springer, 2016.
    Go to website | Show abstract
  • Malte Skambath, Till Tantau:
    Offline Drawing of Dynamic Trees: Algorithmics and Document Integration.
    In GD 2016: Graph Drawing and Network Visualization, Volume 9801 of LNCS, pp. 572-586. Springer, 2016.
    Go to website | Show abstract
  • 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), pp. 1214-1222. JMLR Proceedings, 2016.
    Go to website
  • 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, pp. 3315-3321. AAAI Press, 2016.
    Go to website

Technical reports

  • Malte Skambath, Till Tantau:
    Offline Drawing of Dynamic Trees: Algorithmics and Document Integration Analysis of Binary Search Trees.
    Technical report arXiv:1608.08385, CoRR, 2016.
    Go to website | Show abstract

PhD theses

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

Masters theses

  • R. B.:
    Algorithmisches Zeichnen von planaren Graphen mit TikZ.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Till Tantau, Hans-Martin Teichert.
  • K. D.:
    On the Complexity of Constructing Phylogenetic Trees from Rooted Triplets.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Maciej Liskiewicz, Ralf Möller.
  • B. G.:
    Generation and verification of formal proofs of propositional tautologies.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Till Tantau, Ralf Möller.
  • F.-L. A. L.:
    Kompetitive Analyse von Multizustand-Systemen im Dynamic Power-Management Kontext.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Rüdiger Reischuk, Stefan Fischer.
  • R. N.:
    Das No-Comparing-Theorem für Qubits.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • M. S.:
    Algorithmic Drawing of Evolving Trees.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Till Tantau, Andreas Schrader.

Bachelors theses

  • G. A.:
    Platzierung von Speicherknoten in dynamischen Netzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Rüdiger Reischuk, Martin Teichert.
  • M. B.:
    Vierwertige Timed-Linear-Temporal-Logic.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2016.
    Supervised by: M. Leucker, Till Tantau.
  • T. O. C.:
    Praktische Implementierung der Grey-Box Steganographie.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • G. H.:
    Algorithmisches Zeichnen von Automaten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Till Tantau, Martin Leucker.
  • H. K.:
    Effizienter Leerheitstest pro Zustand auf Buch-Automaten.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2016.
    Supervised by: Martin Leucker, Till Tantau.
  • A. K.:
    Visualisierung von Stammbäumen in Ticks unter Erhaltung semantischer Repräsentationen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Till Tantau, Ralf Möller.
  • D. M.:
    "Secure Two-Party Computation" mit Unterstützung vom CBMC-GC System: Experimentelle Analyse.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Maciej Liskiewicz, Stefan Fischer.
  • Y. W.:
    Analyse anonymisierter Daten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Rüdiger Reischuk, Heinz Handels.
  • M. W.:
    Experimentelle Analyse von Algorithmen zur Lösung des Bisektionsproblems in Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2016.
    Supervised by: Maciej Liskiewicz, Hanns-Martin Teichert.
    Show PDF