50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2007


Editorium

  • Maciej Liskiewicz, Rüdiger Reischuk, Guest Eds.:
    Theory of Computing Systems.
    Band 41/2 von Theory of Computing Systems, Springer, 2007.
    Website anzeigen
  • A. Bernstein, T. Dreier, S. Hölldobler, G. Hotz, K. Lohr, P. Molitor, R. Reischuk, D. Saupe, M. Spiliopoulou, D. Wagner:
    Ausgezeichnete Informatikdissertationen 2006.
    Lecture Notes in Informatics, Dissertationen, Gesellschaft für Informatik, 2007.

Zeitschriftenartikel

  • Jan Arpe, Rüdiger Reischuk:
    Learning Juntas in the Presence of Noise.
    Theoretical Computer Science, 1(384):2-21, 2007.
    Website anzeigen
  • Jens Gramm, Till Nierhoff, Roded Sharan, Till Tantau:
    Haplotyping with Missing Data via Perfect Path Phylogenies.
    Discrete and Applied Mathematics, 155:788-805, 2007.
    Zusammenfassung anzeigen
  • Markus Hinkelmann, Andreas Jakoby:
    Communications in unknown networks: Preserving the secret of topology.
    Theoretical Computer Science, 384(2-3):184-200, 2007.
    Zusammenfassung anzeigen
  • Bodo Manthey, Rüdiger Reischuk:
    Smoothed Analysis of Binary Search Trees.
    Theoretical Computer Science, 378(3):292-315, 2007.
    Website anzeigen | Zusammenfassung anzeigen
  • Till Tantau:
    Logspace Optimization Problems and Their Approximability Properties.
    Theory of Computing Systems, 41(2):327-350, 2007.
    Zusammenfassung anzeigen

Konferenzbeiträge

  • Jan Arpe, Rüdiger Reischuk:
    When Does Greedy Learning of Relevant Attributes Succeed? - A Fourier-based Characterization.
    In 13th Annual International Conference, Computing and Combinatorics, COCOON 2007, Band 4598 von Lecture Notes in Computer Science, S. 296-306. Springer, 2007.
    Website anzeigen
  • Edith Hemaspaandra, Lane A. Hemaspaandra, Till Tantau, Osamu Watanabe:
    On the Complexity of Kings.
    In Proceedings of FCT 2007, Band 4639 von Lecture Notes in Computer Science, S. 328--340. Springer, 2007.
    Zusammenfassung anzeigen
  • Markus Hinkelmann, Andreas Jakoby, Peer Stechert:
    t-Private and Secure Auctions.
    In 4th International Conference on Theory and Applications of Models of Computation (TAMC 2007), Band 4484 von Lecture Notes in Computer Science, S. 486-498. Springer, 2007.
  • Christian Hundt, Maciej Liskiewicz:
    On the Complexity of Affine Image Matching.
    In Proceedings of the International Symposium on Theoretical Aspects of Computer Science (STACS 2007), Band 4393 von Lecture Notes in Computer Science, S. 284-295. Springer, 2007.
    Website anzeigen
  • Andreas Jakoby, Maciej Liskiewicz, Rüdiger Reischuk, Christian Schindelhauer:
    Improving the Average Delay of Sorting.
    In 4th International Conference, Theory and Applications of Models of Computation, TAMC 2007, Band 4484 von Lecture Notes in Computer Science, S. 330-341. Springer, 2007.
    Website anzeigen
  • Andreas Jakoby, Till Tantau:
    Logspace Algorithms for Computing Shortest and Longest Paths in Series-Parallel Graphs.
    In Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2007), Band 4855 von Lecture Notes in Computer Science, S. 216-227. Springer, 2007.
    Zusammenfassung anzeigen
  • Rüdiger Reischuk:
    Designing Boolean Sorting Circuits with Optimal Average Delay.
    In Oberwolfach Reports X, Mathematisches Forschungsinstitut Oberwolfach, 2007.
  • Matthias Schmalz, Hagen Völzer, Daniele Varacca:
    Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths.
    In Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2007), Band 4855 von Lecture Notes in Computer Science, S. 532-543. Springer, 2007.
    Zusammenfassung anzeigen
  • Johannes Textor, Jürgen Westermann:
    Modeling Migration, Compartmentalization, and Exit of Naive T Cells in Lymph Nodes Without Chemotaxis.
    In 6th International Conference on Artificial Immune Systems (ICARIS 2007), Band 4628 von Lecture Notes in Computer Science, S. 228-239. Springer, 2007.
    PDF anzeigen | Website anzeigen | Zusammenfassung anzeigen

Technische Berichte

  • Bodo Manthey, Till Tantau:
    Smoothed Analysis of Binary Search Trees and Quicksort Under Additive Noise.
    Technischer Bericht ECCC-TR07-039, Electronic Colloquium on Computational Complexity, 2007.
    Website anzeigen | Zusammenfassung anzeigen

Master- und Diplomarbeiten

  • Annika Hansen:
    Modellierung der Regulation in E.coli durch Petri-Netze.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Rüdiger Reischuk.
  • Matthias Schmalz:
    Extensions of an Algorithm for Generalised Fair Model Checking.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Rüdiger Reischuk.
  • Michael Elberfeld:
    Komplexität von Haplotypisierung mittels perfekten Phylogenien und kleinsten Haplotypmengen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Till Tantau, Hans-Martin Teichert.
    PDF anzeigen
  • Christoph Reineke:
    Optimierung von Reload-Strategien im Web durch Komponenten-Tracking.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Dirk Kukulen, Maciej Liskiewicz.

Bachelor- und Studienarbeiten

  • Björn Hansen:
    Partikelsimulation einer Reaktions-Diffusions-Gleichung.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Till Tantau, Dirk Langemann.
    PDF anzeigen | Zusammenfassung anzeigen
  • Steve Gießer:
    Implementierung und Anwendung von Algorithmen zur Orientierung von Protein-Protein-Interaktionsnetzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2007.
    Gutachter: Till Tantau, Christian Claussen.