50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2010


Editorium

  • A. Bernstein, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störrle, D. Wagner:
    Ausgezeichnete Informatikdissertationen 2009.
    Band 10 von Lecture Notes in Informatics, Dissertationen, GI, 2010.

Zeitschriftenartikel

  • Edith Hemaspaandra, Lane A. Hemaspaandra, Till Tantau, Osamu Watanabe:
    On the Complexity of Kings.
    Theoretical Computer Science, 411(2010):783-798, 2010.
    Website anzeigen | Zusammenfassung anzeigen

Konferenzbeiträge

  • Michael Elberfeld, Andreas Jakoby, Till Tantau:
    Logspace Versions of the Theorems of Bodlaender and Courcelle.
    In Proceedings of the 51st Annual IEEE Symposium on Foundations of Computer Science (FOCS 2010), S. 143-152. IEEE Computer Society, 2010.
    Website anzeigen | Zusammenfassung anzeigen
  • Michael Elberfeld, Till Tantau:
    Phylogeny- and Parsimony-Based Haplotype Inference with Constraints.
    In Proceedings of the 21st Annual Symposium on Combinatorial Pattern Matching (CPM 2010), Band 6129 von Lecture Notes in Computer Science, S. 177-189. Springer, 2010.
    Website anzeigen | Zusammenfassung anzeigen
  • Maciej Liskiewicz, Johannes Textor:
    Negative Selection Algorithms Without Generating Detectors.
    In Proceedings of the 12th annual conference on Genetic and evolutionary computation (GECCO'10), S. 1047-1054. ACM, 2010.
    PDF anzeigen | Website anzeigen | Zusammenfassung anzeigen

Technische Berichte

  • Michael Elberfeld, Andreas Jakoby, Till Tantau:
    Logspace Versions of the Theorems of Bodlaender and Courcelle.
    Technischer Bericht ECCC-TR10-062, Electronic Colloquium on Computational Complexity, 2010.
    PDF anzeigen | Website anzeigen | Zusammenfassung anzeigen
  • Michael Elberfeld, Till Tantau:
    Phylogeny- and Parsimony-Based Haplotype Inference with Constraints.
    Technischer Bericht SIIM-TR-A-10-01, Schriftenreihe der Institute für Informatik/Mathematik der Universität zu Lübeck, 2010.
    PDF anzeigen | Zusammenfassung anzeigen

Master- und Diplomarbeiten

  • Oliver Kleine:
    Bildklassifikation unter Verwendung kompressionsbasierter Methoden.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Gutachter: Maciej Liskiewicz, Stefan Fischer.
  • Falk Sticken:
    Entwicklung und Analyse einer Heuristik für Image-Matching bezüglich Skalierung und Rotation.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Gutachter: Maciej Liskiewicz, Jan Modersitzki.
  • Sven Ulrich:
    Community and Hub Detection in Social Networks.
    Universität zu Lübeck, Institut für Telematik, 2010.
    Gutachter: Stefan Fischer, Till Tantau.
  • Oliver Witt:
    Algorithmen zur Konstruktion perfekter Rekombinationsnetzwerke.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Gutachter: Till Tantau, Amir Madany Mamlouk.

Bachelor- und Studienarbeiten

  • Jan-Hendrik Dolling:
    Approximatives String Matching in Ziv-Lempel komprimierten Texten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Gutachter: Rüdiger Reischuk, Macciej Liskiewicz.
  • Markus Nakhlah:
    Benutzerschnittstelle für ein interaktives multitouchbasiertes Planspiel für naturkundliche Museen.
    Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2010.
    Gutachter: Michael Herczeg, Till Tantau.
  • Tim Rasim:
    Simulationskomponente für ein interaktives multitouch-basiertes Planspiel für naturkundliche Museen.
    Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2010.
    Gutachter: Michael Herczeg, Till Tantau.
  • Niels Thole:
    Partizipatorisches Systemdesign für ein interaktives multitouch-basiertes Planspiel für naturkundliche Museen.
    Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2010.
    Gutachter: Michael Herczeg, Till Tantau.
  • Caroline Waziri:
    Exaktes Patternmatching in komprimierten Texten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2010.
    Gutachter: Rüdiger Reischuk, Till Tantau.