50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Publications 2015


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 2014.
    Volume 165 of Lecture Notes in Informatics, Dissertationen, GI, 2015.

Journal articles

  • Michael Elberfeld, Christoph Stockhusen, Till Tantau:
    On the Space and Circuit Complexity of Parameterized Problems: Classes and Completeness.
    Algorithmica, 71(3):661-701, 2015.
    Go to website | Show abstract
  • Maciej Liskiewicz, Rüdiger Reischuk, Ulrich Wölfel:
    Security Levels in Steganography - Insecurity does not Imply Detectability.
    Electronic Colloquium on Computational Complexity (ECCC), 22(10)2015.
    Go to website | Show abstract

Conference papers

  • Max Bannach, Christoph Stockhusen, Till Tantau:
    Fast Parallel Fixed-Parameter Algorithms via Color Coding.
    In Proceedings of the 10th International Symposium on Parameterized and Exact Computation (IPEC 2015), LIPIcs, 2015.
    Go to website | Show PDF | Show abstract
  • Sebastian Berndt, Klaus Jansen, Kim-Manuel Klein:
    Fully Dynamic Bin Packing Revisited.
    In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2015), Volume 40 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 135-151. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2015.
    Go to website | Show abstract
  • Matthias Ernst, Maciej Liskiewicz, Rüdiger Reischuk:
    Algorithmic Learning for Steganography: Proper Learning of k-term DNF Formulas from Positive Samples.
    In Proc. International Symposium on Algorithms and Computation (ISAAC 2015), Volume 9472 of Lecture Notes in Computer Science, pp. 151-162. Springer, 2015.
    Go to website | Show abstract
  • Till Tantau:
    Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification.
    In 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), Volume 30 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 703-715. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2015.
    Go to website | Show abstract
  • Johannes Textor, Alexander Idelberger, Maciej Liskiewicz:
    On the Faithful DAGs of a Dependency Graph.
    In Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI'15), pp. 882-891. AUAI Press, 2015.
    Show PDF
  • Benito van der Zander, Johannes Textor, Maciej Liskiewicz:
    Efficiently Finding Conditional Instruments for Causal Inference.
    In IJCAI 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, July 25-31, 2015, pp. 3243-3249. AAAI Press / International Joint Conferences on Artificial Intelligence, 2015.
    Show PDF

Masters theses

  • A. I.:
    Algorithmische Fragestellungen in der Kausalitätstheorie.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • F. K.:
    Efficient Estimation of Evolutionary Distances.
    Max-Planck-Institut für Evolutionsbiologie, Plön, 2015.
    Supervised by: Bernhard Haubold, Till Tantau.
  • T. M.:
    Runetime Verification Logics for Object-Oriented Real-Time Systems.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Supervised by: Martin Leucker, Till Tantau.
  • T. S.:
    Schwere Instanzen für NP-schwere Probleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Rüdiger Reischuk, Ralf Möller.
  • F. T.:
    Construction of Two-Layer Transportation Networks.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • J. T.:
    Minimierung symbolischer nichtdeterministischer Büchi-Automaten.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Supervised by: Martin Leucker, Till Tantau.

Bachelors theses

  • K.-D. B.:
    Graph-basierte Wasserzeichen für Software.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Martin Leucker.
  • A. D.:
    Entwurf und Implementierung von Routing-Algorithmen in TikZ.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Till Tantau, Martin Teichert.
  • M. D.:
    Genetische Algorithmen für das Minimum Dominating Set-Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Rüdiger Reischuk, Karsten Keller.
  • Z. H.:
    Development and Examination of a Huffman-coding based Stegosystem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • M.-L. K.:
    An Extension of TikZ for Automated Pedigree Construction.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Till Tantau, Amir Madany Mamlouk.
  • M. K.:
    From 2-Ways Nondeterministic Büchi Automata to Alternating Büchi Automata.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Supervised by: Martin Leucker, Till Tantau.
  • N. K.:
    Secure Multiparty Computations in Bitcoin.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Stefan Fischer.
  • T. L.:
    Implementation of a Simplex-Based Isosurfacing Method for Medical Image Data.
    Universität zu Lübeck, Institut für Medizinische Informatik, 2015.
    Supervised by: Jan Ehrhardt, Maciej Liskiewicz.
  • A. A. L.:
    Probabilistische Analyse und Minimierung von Flussnetzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Rüdiger Reischuk, Martin Teichert.
  • J. O.:
    Untere Schranken für Online-Bin-Packing-Modelle.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Till Tantau, Stefan Fischer.
  • J. C. P.:
    Algorithmisches Zeichnen von RNA-Hairpin-Strukturen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Till Tantau, Amir Madany Mamlouk.
  • C. P.:
    An Algorithmic Toolbox to Facilitate the Genetic Finite Automata Based Approach for Negative Selection.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Maciej Liskiewicz, Martin Leucker.
  • A. P.:
    Extending Freeze LTL on Multi-Attributed Data Words with Quantifiers.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Supervised by: Martin Leucker, Till Tantau.
  • L. K. S.:
    On polytopes describing multi-terminal network flows.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Supervised by: Rüdiger Reischuk, Andreas Rößler.