50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Publications 2013


Proceedings

  • A. Bernstein, W. Effelsberg, S. Hölldoble, H.-P. Lenhof, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, N. Schweikardt, M. Spiliopoulou, H. Störrle, S. Süsstrunk:
    Ausgezeichnete Informatikdissertationen 2012.
    Volume 13 of Lecture Notes in Informatics, Dissertationen, GI, 2013.

Journal articles

  • Maciej Liskiewicz, Rüdiger Reischuk, Ulrich Wölfel:
    Grey-box steganography.
    Theoretical Computer Science, (505):27-41, 2013.
    Go to website
  • Till Tantau:
    Graph Drawing in TikZ.
    Journal of Graph Algorithms and Applications, 17(4):495-513, 2013.
    Show PDF | Show abstract

Conference papers

  • Maciej Liskiewicz, Martin R. Schuster:
    A new upper bound for the traveling salesman problem in cubic graphs.
    In 12th Cologne-Twente Workshop on Graphs and Combinatorial, Optimization, Enschede, Netherlands, May 21-23, 2013, Volume WP 13-01 of CTIT Workshop Proceedings, pp. 159-162. , 2013.
  • Christoph Stockhusen, Till Tantau:
    Completeness Results for Parameterized Space Classes.
    In 8th International Symposium on Parameterized and Exact Computation (IPEC 2013), Lecture Notes in Computer Science, Springer, 2013 (to appear).
    Show abstract
  • Till Tantau:
    Graph Drawing in TikZ.
    In Proceedings of Graph Drawing 2012, Volume 7704 of Lecture Notes in Computer Science, pp. 517-528. Springer, 2013.
    Show abstract

Technical reports

  • Christoph Stockhusen, Till Tantau:
    Completeness Results for Parameterized Space Classes.
    Technical report arxiv:1308.2892, ArXiv, 2013.
    Go to website | Show abstract

Masters theses

  • M. E.:
    Algorithmisches Lernen von Verteilungen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Rüdiger Reischuk, Karsten Keller.
  • S. F.:
    Das fehlertolerante Shortest-Common-Superstring-Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Rüdiger Reischuk, Till Tantau.
  • N. F.:
    Reoptimization of the Travelling Salesperson Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Rüdiger Reischuk, Till Tantau.
  • C. W.:
    Runtime Verification for Mazurkiewicz Traces.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2013.
    Supervised by: Martin Leucker, Rüdiger Reischuk.

Bachelors theses

  • R. B.:
    Implementierung und experimentelle Untersuchung des exakten TSP-Algorithmus von Eppstein für kubische Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Till Tantau.
  • K. D.:
    Fast Algorithms for Immune Response Simulations in Models with r-Contiguous-Based Affinity Measures.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Amir Madany Mamlouk.
  • A. I.:
    Mehrdimensionale Histogram Equalization: Modellierung und komplexitätstheoretische Analyse.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Martin Leucker.
  • T. P.:
    Fußballprognose mit Hilfe der Poisson Verteilung und Bayesschen Netzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Andreas Schrader.
  • M. S.:
    Algorithm for anomaly detection using string-based Negative Selection.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Andreas Schrader.
  • T. S.:
    Lokale Suchstrategien für Erfüllbarkeitsprobleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • M. S.:
    Stabilität des natürlichen Codes unter Shiftmutation.
    Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2013.
    Supervised by: Amir Madany Mamlouk, Till Tantau.
  • F. T.:
    Eine Analyse der Konzepte von Sicherheit und Detektierbarkeit von steganographischen Verfahren.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz, Rüdiger Reischuk.
  • N. V.:
    Experimentelle Analyse des Ensemble-Classifiers für die Steganalyse von digitalen Bildern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Supervised by: Maciej Liskiewicz.