50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2008


Editorium

  • 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.
    Band D3 von 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.
    Website anzeigen

Buchbeiträge

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

Zeitschriftenartikel

  • 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 (noch nicht erschienen). To appear.
    Zusammenfassung anzeigen
  • Markus Hinkelmann, Andreas Jakoby, Peer Stechert:
    t-Private and t-Secure Auctions.
    Journal of Computer Science and Technology, 23(5):694-710, 2008.
    Zusammenfassung anzeigen
  • Jens Gramm, Arfst Nickelsen, Till Tantau:
    Fixed-Parameter Algorithms in Phylogenetics.
    The Computer Journal, 51(1):79--101, 2008.
    PDF anzeigen | Zusammenfassung anzeigen

Konferenzbeiträge

  • W. Bein, L. Larmore, R. Reischuk:
    Knowledge States: A Tool for Randomized Online Algorithms.
    In Proceedings of 41. HICSS Int. Conference on System Sciences, S. 476. IEEE Computer Society, 2008.
    Website anzeigen
  • Nadia Creignou, Henning Schnoor, Ilka Schnoor:
    Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.
    In Proceedings of Computer Science Logic, Band 5213 von Lecture Notes in Computer Science, S. 109-123. Springer, 2008.
    Zusammenfassung anzeigen
  • 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), Band 5162 von Lecture Notes in Computer Science, S. 395-406. Springer, 2008.
    Website anzeigen
  • Christian Hundt, Maciej Liskiewicz:
    Two-dimensional Pattern Matching with Combined Scaling and Rotation.
    In Proceedings of the 19th Symposium on Combinatorial Pattern Matching (CPM), Band 5029 von Lecture Notes in Computer Science, S. 5-17. Springer, 2008.
    Website anzeigen
  • Andreas Jacoby, Maciej Liskiewicz, Aleksander Madry:
    Susceptible Two-party Quantum Computations.
    In in Proceedings of the 2nd International Conference on Information Theoretic Security (ICITS), Band 5155 von Lecture Notes in Computer Science, S. 121-136. Springer, 2008.
    Website anzeigen
  • Bodo Manthey, Till Tantau:
    Smoothed Analysis of Binary Search Trees and Quicksort Under Additive Noise.
    In Proceedings of MFCS 2008, Band 5162 von Lecture Notes in Computer Science, S. 467-478. Springer, 2008.
    Zusammenfassung anzeigen
  • 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), Band 5162 von Lecture Notes in Computer Science, S. 299-310. Springer, 2008.
    Website anzeigen | Zusammenfassung anzeigen
  • 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), S. 476-481. Austrian Society for Cybernetic Studies, 2008.
    PDF anzeigen | Website anzeigen | Zusammenfassung anzeigen

Technische Berichte

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

Master- und Diplomarbeiten

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

Bachelor- und Studienarbeiten

  • 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.
    Gutachter: Till Tantau, Steffen Möller.
    PDF anzeigen | Zusammenfassung anzeigen
  • Jens Hocke:
    Untersuchungen zur Sicherheit eines PCA-basierten Fingerprint-Systems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2008.
    Gutachter: 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.
    Gutachter: Till Tantau.
    PDF anzeigen | Zusammenfassung anzeigen
  • 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.
    Gutachter: Rüdiger Reischuk, Alfred Mertins.