50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2013


Editorium

  • 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.
    Band 13 von Lecture Notes in Informatics, Dissertationen, GI, 2013.

Zeitschriftenartikel

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

Konferenzbeiträge

  • 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, Band WP 13-01 von CTIT Workshop Proceedings, S. 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 (noch nicht erschienen).
    Zusammenfassung anzeigen
  • Till Tantau:
    Graph Drawing in TikZ.
    In Proceedings of Graph Drawing 2012, Band 7704 von Lecture Notes in Computer Science, S. 517-528. Springer, 2013.
    Zusammenfassung anzeigen

Technische Berichte

  • Christoph Stockhusen, Till Tantau:
    Completeness Results for Parameterized Space Classes.
    Technischer Bericht arxiv:1308.2892, ArXiv, 2013.
    Website anzeigen | Zusammenfassung anzeigen

Master- und Diplomarbeiten

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

Bachelor- und Studienarbeiten

  • 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Maciej Liskiewicz, Andreas Schrader.
  • T. S.:
    Lokale Suchstrategien für Erfüllbarkeitsprobleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2013.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: 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.
    Gutachter: Maciej Liskiewicz.