50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Publications 2008


Proceedings

  • A. Bernstein, T. Dreier, S. Hölldobler, G. Hotz, K. Löhr, P. Molitor, G. Neumann, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störle, D. Wagner:
    Ausgezeichnete Informatikdissertationen 2007.
    Volume D3 of Lecture Notes in Informatics, Dissertationen, Gesellschaft für Informatik, 2008.
  • B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, D. Wagner:
    Taschenbuch der Algorithmen.
    eXamen.press, Springer, 2008.
    Go to website

Book chapters

  • Jens Gramm, Arfst Nickelsen, Till Tantau:
    Fixed-Parameter Algorithms in Phylogenetics.
    In Bioinformatics: Volume I: Data, Sequence Analysis and Evolution, Volume 452 of Methods in Molecular Biology, pp. 507-535. Springer, 2008.
    Show abstract
  • Maciej Liskiewicz, Ulrich Wölfel:
    Computational Aspects of Digital Steganography.
    In Multimedia Forensics and Security, pp. 193-211. Information Science Reference, Hershey, New York, 2008.
    Go to website
  • Rüdiger Reischuk, Markus Hinkelmann:
    Einweg-Funktionen: Vorsicht Falle - Rückweg nur für Eingeweihte!
    In Taschenbuch der Algorithmen, pp. 139-148. Springer, 2008.
    Show abstract
  • Till Tantau:
    Der One-Time-Pad-Algorithmus.
    In Taschenbuch der Algorithmen, Springer, 2008.
    Show abstract

Journal articles

  • Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer:
    The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments.
    Electronic Notes in Theoretical Computer Science, 2008 (to appear). To appear.
    Show abstract
  • Markus Hinkelmann, Andreas Jakoby, Peer Stechert:
    t-Private and t-Secure Auctions.
    Journal of Computer Science and Technology, 23(5):694-710, 2008.
    Show abstract
  • Jens Gramm, Arfst Nickelsen, Till Tantau:
    Fixed-Parameter Algorithms in Phylogenetics.
    The Computer Journal, 51(1):79--101, 2008.
    Show PDF | Show abstract

Conference papers

  • W. Bein, L. Larmore, R. Reischuk:
    Knowledge States: A Tool for Randomized Online Algorithms.
    In Proceedings of 41. HICSS Int. Conference on System Sciences, pp. 476. IEEE Computer Society, 2008.
    Go to website
  • Nadia Creignou, Henning Schnoor, Ilka Schnoor:
    Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.
    In Proceedings of Computer Science Logic, Volume 5213 of Lecture Notes in Computer Science, pp. 109-123. Springer, 2008.
    Show abstract
  • Christian Hundt, Maciej Liskiewicz:
    Combinatorial Bounds and Algorithmic Aspects of Image Matching under Projective Transformations.
    In Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS), Volume 5162 of Lecture Notes in Computer Science, pp. 395-406. Springer, 2008.
    Go to website
  • Christian Hundt, Maciej Liskiewicz:
    Two-dimensional Pattern Matching with Combined Scaling and Rotation.
    In Proceedings of the 19th Symposium on Combinatorial Pattern Matching (CPM), Volume 5029 of Lecture Notes in Computer Science, pp. 5-17. Springer, 2008.
    Go to website
  • Andreas Jacoby, Maciej Liskiewicz, Aleksander Madry:
    Susceptible Two-party Quantum Computations.
    In in Proceedings of the 2nd International Conference on Information Theoretic Security (ICITS), Volume 5155 of Lecture Notes in Computer Science, pp. 121-136. Springer, 2008.
    Go to website
  • Bodo Manthey, Till Tantau:
    Smoothed Analysis of Binary Search Trees and Quicksort Under Additive Noise.
    In Proceedings of MFCS 2008, Volume 5162 of Lecture Notes in Computer Science, pp. 467-478. Springer, 2008.
    Show abstract
  • Michael Elberfeld, Till Tantau:
    Computational Complexity of Perfect-Phylogeny-Related Haplotyping Problems.
    In Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008), Volume 5162 of Lecture Notes in Computer Science, pp. 299-310. Springer, 2008.
    Go to website | Show abstract
  • Johannes Textor, Björn Hansen:
    Improved Simulation Algorithms for Agent Based Models of the Immune Response.
    In Proceedings of the 19th European Meeting on Cybernetics and Systems (EMCSR 2008), pp. 476-481. Austrian Society for Cybernetic Studies, 2008.
    Show PDF | Go to website | Show abstract

Technical reports

  • Markus Hinkelmann, Andreas Jakoby:
    Preserving Privacy versus Data Retention.
    Technical report SIIM-TR-A-08-04, Schriftenreihe der Institute für Informatik/Mathematik der Universität zu Lübeck, 2008.
    Show PDF | Show abstract
  • Markus Hinkelmann, Andreas Jakoby, Peer Stechert:
    t-Private and t-Secure Auctions.
    Technical report SIIM-TR-A-08-01, Schriftenreihe der Institute für Informatik/Mathematik der Universität zu Lübeck, 2008.
    Show PDF | Show abstract
  • Till Tantau:
    Complexity of the Undirected Radius and Diameter Problems for Succinctly Represented Graphs.
    Technical report SIIM-TR-A-08-03, Schriftenreihe der Institute für Informatik/Mathematik der Universität zu Lübeck, 2008.
    Show PDF
  • Till Tantau:
    Generalizations of the Hartmanis-Immerman-Sewelson Theorem and Applications to Infinite Subsets of P-Selective Sets.
    Technical report ECCC-TR08-027, Electronic Colloquium on Computational Complexity, 2008.
    Show PDF | Show abstract
  • Michael Elberfeld, Till Tantau:
    Computational Complexity of Perfect-Phylogeny-Related Haplotyping Problems.
    Technical report SIIM-TR-A-08-02, Schriftenreihe der Institute für Informatik/Mathematik der Universität zu Lübeck, 2008.
    Show PDF | Show abstract
  • Michael Elberfeld, Ilka Schnoor, Till Tantau:
    Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data.
    Technical report SIIM-TR-A-08-05, Schriftenreihe der Institute für Informatik/Mathematik der Universität zu Lübeck, 2008.
    Show PDF | Show abstract

Masters theses

  • Maja Smid:
    Textkategorisierung basierend auf der Beschreibungskomplexität von Zeichenketten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Supervised by: Liskiewicz/Mertins.
  • Ragnar Nevries:
    Entwicklung und Analyse eines beschleunigten Image Matching-Algorithmus für natürliche Bilder.
    Universität Rostock, 2008.
    Supervised by: Andreas Brandstädt, Maciej Liskiewicz, Diplomarbeit.

Bachelors theses

  • Nikolai Hecker:
    Primary diversity mechanisms of the antibody synthesis in humans, mice and chickens.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Supervised by: Till Tantau, Steffen Möller.
    Show PDF | Show abstract
  • Jens Hocke:
    Untersuchungen zur Sicherheit eines PCA-basierten Fingerprint-Systems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Supervised by: Rüdiger Reischuk, Maciej Liskiewicz.
  • Jan Kramer:
    Erstellung eines Programmierframeworks zur Visualisierung von Algorithmen im Unterricht.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Supervised by: Till Tantau.
    Show PDF | Show abstract
  • Henry Schütze:
    Entwicklung und Implementierung von Algorithmen zur Erkennung von Gesichtsmerkmalen in digitalen Passbildern.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Supervised by: Rüdiger Reischuk, Alfred Mertins.