50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2011


Bücher und Monographien

  • Berthold Vöcking, Helmut Alt, Martin Dietzfelbinger, Rüdiger Reischuk, Chritian Scheideler, Heribert Vollmer, Dorothea Wagner (Eds.):
    Algorithms Unplugged.
    Springer Verlag, Heidelberg, 2011.
    Website anzeigen

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 2010.
    Band 11 von Lecture Notes in Informatics, Dissertationen, GI, 2011.

Buchbeiträge

  • Rüdiger Reischuk, Markus Hinkelmann:
    One-Way Functions. Mind the Trap – Escape Only for the Initiated.
    In Algorithms Unplugged, S. 131-139. Springer, 2011.
    Website anzeigen

Zeitschriftenartikel

  • Markus Bläser, Andreas Jakoby, Maciej Liskiewicz, Bodo Manthey:
    Privacy in Non-private Environments.
    Theory of Computing Systems, 48(1):211-245, 2011.
    Website anzeigen
  • Michael Elberfeld, Johannes Textor:
    Negative Selection Algorithms on Strings with Efficient Training and Linear-Time Classification.
    Theoretical Computer Science, 412(6):534-542, 2011.
    PDF anzeigen | Website anzeigen | Zusammenfassung anzeigen
  • Michael Elberfeld, Vineet Bafna, Iftah Gamzu, Alexander Medvedovsky, Danny Segev, Dana Silverbush, Uri Zwick, Roded Sharan:
    On the Approximability of Reachability-Preserving Network Orientations.
    Internet Mathematics, 4(7):209-232, 2011.
    PDF anzeigen | Website anzeigen | Zusammenfassung anzeigen
  • Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert:
    A cryptographically t-private auction system.
    Concurrency and Computation: Practice and Experience, 12(23):1399–1413, 2011.
  • Christian Hundt, Maciej Liskiewicz:
    New complexity bounds for image matching under rotation and scaling.
    Journal of Discrete Algorithms, 9:122–136, 2011.
    Website anzeigen
  • Dana Silverbush, Michael Elberfeld, Roded Sharan:
    Optimally Orienting Physical Networks.
    Journal of Computational Biology, 18(11):1437-1448, 2011.
    Website anzeigen | Zusammenfassung anzeigen
  • Johannes Textor, Juliane Hardt, Sven Knüppel:
    DAGitty: A Graphical Tool for Analyzing Causal Diagrams.
    Epidemiology, 5(22):745, 2011.
    Website anzeigen
  • Johannes Textor, Antonio Peixoto, Sarah E. Henrickson, Mathieu Sinn, Ulrich H. von Andrian, Jürgen Westermann:
    Defining the Quantitative Limits of Intravital Two-Photon Lymphocyte Tracking.
    Proceedings of the National Academy of Sciences of the United States of America, 108(30):12401-12406, 2011.
    Website anzeigen | Zusammenfassung anzeigen

Konferenzbeiträge

  • Michael Elberfeld, Danny Segev, Colin R. Davidson, Dana Silverbush, Roded Sharan:
    Approximation Algorithms for Orienting Mixed Graphs.
    In Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching (CPM 2011), Band 6661 von Lecture Notes in Computer Science, S. 416-428. Springer, 2011.
    PDF anzeigen | Website anzeigen | Zusammenfassung anzeigen
  • Maciej Liskiewicz, Rüdiger Reischuk, Ulrich Wölfel:
    Grey-Box Steganography.
    Band 6648 von Lecture Notes in Computer Science, S. 390-402. Springer Verlag, Heidelberg, in Proceedings 8. TAMC, 2011.
    Website anzeigen
  • Rüdiger Reischuk, Johannes Textor:
    Stochastic Search With Locally Clustered Targets: Learning from T Cells.
    In 10th International Conference on Artificial Immune Systems (ICARIS 2011), Band 6825 von Lecture Notes in Computer Science, S. 146-159. Springer, 2011.
  • Dana Silverbush, Michael Elberfeld, Roded Sharan:
    Optimally Orienting Physical Networks.
    In Proceedings of the 15th Annual International Conference on Research in Computational Molecular Biology (RECOMB 2011), Band 6577 von Lecture Notes in Computer Science, S. 424-436. Springer, 2011.
    PDF anzeigen | Website anzeigen | Zusammenfassung anzeigen
  • Johannes Textor, Maciej Liskiewicz:
    Adjustment Criteria in Causal Diagrams: An Algorithmic Perspective.
    In Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011), S. 681-688. AUAI Press, 2011.
    PDF anzeigen | Website anzeigen

Technische Berichte

  • Michael Elberfeld, Andreas Jakoby, Till Tantau:
    Algorithmic Meta Theorems for Circuit Classes of Constant and Logarithmic Depth.
    Technischer Bericht ECCC-TR11-128, Electronic Colloquium on Computational Complexity, 2011.
    PDF anzeigen | Website anzeigen | Zusammenfassung anzeigen

Dissertationen

  • Markus Hinkelmann:
    Sicherheit und Anonymität in der Vorratsdatenspeicherung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Andreas Jakoby, Andreas Brandstädt, Alfred Mertins.
    Website anzeigen | PDF anzeigen
  • Christian Hundt:
    On the Computational Complexit of Projective Image Matching.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Maciej Liskiewicz, Marek Karpinski, Wojciech Rytter.
  • Johannes Textor:
    Search and Learning in the Immune System: Models of Immune Surveillance and Negative Selection.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Rüdiger Reischuk, Jürgen Westermann, Jon Timmis.
  • Ulrich Wölfel:
    Efficient and Provably Secure Steganography.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Maciej Liskiewicz, Matthias Krause.

Master- und Diplomarbeiten

  • Julian Bäume:
    Ein Zooming-Interface facettenklassifizierte für Präsentationen.
    Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2011.
    Gutachter: Michael Herczeg, Till Tantau.
  • Albert Krewinkel:
    Graph Grammar Slicing – An Approach to Reducing the Combinatorial Complexity of Tracking Observables in Complex Reaction Systems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Till Tantau, Amir Madany Mamlouk.
  • Tim Kunold:
    Spieltheoretische und Graphentheoretische Betrachtungen zur Netzwerksicherheit.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Rüdiger Reischuk, Till Tantau.
  • Marcel Poelker:
    Smoothed-Analysis des Caching-Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
  • Jannis Pohlmann:
    Configurable Graph Drawing Algorithms for the TikZ Graphics Description Language.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Till Tantau, Hanns-Martin Teichert.
    PDF anzeigen | Zusammenfassung anzeigen
  • Lennart Sauerbeck:
    Komplexitätstheoretische Untersuchung des HistogramEqualization-Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Maciej Liskiewicz, Alfred Mertins.
  • Christoph Stockhusen:
    Anwendungen monadischer Logik zweiter Stufe auf Probleme beschränkter Baumweite und deren Platzkomplexität.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Till Tantau, Hans-Martin Teichert.
    PDF anzeigen | Zusammenfassung anzeigen

Bachelor- und Studienarbeiten

  • Julien Beck:
    Visualisierung von Quanteninterferenzen anhand des Shor-Algorithmus.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Maciej Liskiewicz, Till Tantau.
  • Ronny Jahn:
    PhotoSurface: Entwicklung einer Multi-Tough-Anwendung zur Sichtung, Bewertung und Kategorisierung von Bildern.
    Universität zu Lübeck, Institut für Multimediale und Interaktive Systeme, 2011.
    Gutachter: Michael Herczeg, Till Tantau.
  • Susan Mielke:
    Modelle und Algorithmen zur Navigationserkennung innerhalb von Domains.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Rüdiger Reischuk, Till Tantau.
    PDF anzeigen | Zusammenfassung anzeigen
  • Florian Noack:
    Konzeption und Implementierung eines grafischen Editors für die Grafik-Beschreibungssprache TikZ.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Till Tantau, Andreas Schrader.
  • Torben Scheffel:
    Transformationen von Paritätsautomaten in Büchi-Automaten.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2011.
    Gutachter: Martin Leucker, Till Tantau.
  • Peter Sojka:
    Implementierung und Analyse des 2- und n-Linien Protokolls zur Vorratsdatenspeicherung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2011.
    Gutachter: Andreas Jakoby, Maciej Liskiewicz.
  • Ulf Wohlers:
    Facebook App: Community und Hub Detection in realen sozialen Netzwerken.
    Universität zu Lübeck, Institut für Telematik, 2011.
    Gutachter: Stefan Fischer, Till Tantau.