50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2015


Editorium

  • A. Bernstein, W. Effelsberg, F. Freilich, S. Hölldobler, H.-P. Lenhof, P. Molitor, G. Neumann, R. Reischuk, N. Schweikardt, M. Spiliopoulou, H. Störrle, S. Süsstrunk:
    Ausgezeichnete Informatikdissertationen 2014.
    Band 165 von Lecture Notes in Informatics, Dissertationen, GI, 2015.

Zeitschriftenartikel

  • Michael Elberfeld, Christoph Stockhusen, Till Tantau:
    On the Space and Circuit Complexity of Parameterized Problems: Classes and Completeness.
    Algorithmica, 71(3):661-701, 2015.
    Website anzeigen | Zusammenfassung anzeigen
  • Maciej Liskiewicz, Rüdiger Reischuk, Ulrich Wölfel:
    Security Levels in Steganography - Insecurity does not Imply Detectability.
    Electronic Colloquium on Computational Complexity (ECCC), 22(10)2015.
    Website anzeigen | Zusammenfassung anzeigen

Konferenzbeiträge

  • Max Bannach, Christoph Stockhusen, Till Tantau:
    Fast Parallel Fixed-Parameter Algorithms via Color Coding.
    In Proceedings of the 10th International Symposium on Parameterized and Exact Computation (IPEC 2015), LIPIcs, 2015.
    Website anzeigen | Zusammenfassung anzeigen
  • Sebastian Berndt, Klaus Jansen, Kim-Manuel Klein:
    Fully Dynamic Bin Packing Revisited.
    In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2015), Band 40 von Leibniz International Proceedings in Informatics (LIPIcs), S. 135-151. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2015.
    Website anzeigen | Zusammenfassung anzeigen
  • Matthias Ernst, Maciej Liskiewicz, Rüdiger Reischuk:
    Algorithmic Learning for Steganography: Proper Learning of k-term DNF Formulas from Positive Samples.
    In Proc. International Symposium on Algorithms and Computation (ISAAC 2015), Band 9472 von Lecture Notes in Computer Science, S. 151-162. Springer, 2015.
    Website anzeigen | Zusammenfassung anzeigen
  • Till Tantau:
    Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification.
    In 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), Band 30 von Leibniz International Proceedings in Informatics (LIPIcs), S. 703-715. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2015.
    Website anzeigen | Zusammenfassung anzeigen
  • Johannes Textor, Alexander Idelberger, Maciej Liskiewicz:
    On the Faithful DAGs of a Dependency Graph.
    In Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI'15), S. 882-891. AUAI Press, 2015.
    PDF anzeigen
  • Benito van der Zander, Johannes Textor, Maciej Liskiewicz:
    Efficiently Finding Conditional Instruments for Causal Inference.
    In IJCAI 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, July 25-31, 2015, S. 3243-3249. AAAI Press / International Joint Conferences on Artificial Intelligence, 2015.
    PDF anzeigen

Master- und Diplomarbeiten

  • Alexander Idelberger:
    Algorithmische Fragestellungen in der Kausalitätstheorie.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
  • Fabian Klötzl:
    Efficient Estimation of Evolutionary Distances.
    Max-Planck-Institut für Evolutionsbiologie, Plön, 2015.
    Gutachter: Bernhard Haubold, Till Tantau.
  • Tobias Mende:
    Runetime Verification Logics for Object-Oriented Real-Time Systems.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Gutachter: Martin Leucker, Till Tantau.
  • Tobias Schomann:
    Schwere Instanzen für NP-schwere Probleme.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Rüdiger Reischuk, Ralf Möller.
  • Florian Thaeter:
    Construction of Two-Layer Transportation Network.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Rüdiger Reischuk, Maciej Liskiewicz.
  • Johannes Thorn:
    Minimierung symbolischer nichtdeterministischer Büchi-Automaten.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Gutachter: Martin Leucker, Till Tantau.

Bachelor- und Studienarbeiten

  • Kaspar-David Buss:
    Graph-basierte Wasserzeichen für Software.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Maciej Liskiewicz, Martin Leucker.
  • Moritz Dannehl:
    Genetische Algorithmen für das Minimum Dominating Set-Problem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Rüdiger Reischuk, Karsten Keller.
  • Alexander Droigk:
    Entwurf und Implementierung von Routing-Algorithmen in TikZ.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Till Tantau, Martin Teichert.
  • Zacharias Heinrich:
    Development and Examination of a Huffman-coding based Stegosystem.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Maciej Liskiewicz, Rüdiger Reischuk.
  • Marco Kabelitz:
    From 2-Ways Nondeterministic Büchi Automata to Alternating Büchi Automata.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Gutachter: Martin Leucker, Till Tantau.
  • Nils Klawitter:
    Secure Multiparty Computations in Bitcoin.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Maciej Liskiewicz, Stefan Fischer.
  • Marie-Louise Körner:
    An Extension of TikZ for Automated Pedigree Construction.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Till Tantau, Amir Madany Mamlouk.
  • Taro Langner:
    Implementation of a Simplex-Based Isosurfacing Method for Medical Image Data.
    Universität zu Lübeck, Institut für Medizinische Informatik, 2015.
    Gutachter: Jan Ehrhardt, Maciej Liskiewicz.
  • Alexandra Anna Lassota:
    Probabilistische Analyse und Minimierung von Flussnetzwerken.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Rüdiger Reischuk, Martin Teichert.
  • Jaqueline Otten:
    Untere Schranken für Online-Bin-Packing-Modelle.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Till Tantau, Stefan Fischer.
  • Jessica Christin Piontke:
    Algorithmisches Zeichnen von RNA-Hairpin-Strukturen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Till Tantau, Amir Madany Mamlouk.
  • Anton Pirogov:
    Extending Freeze LTL on Multi-Attributed Data Words with Quantifiers.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2015.
    Gutachter: Martin Leucker, Till Tantau.
  • Claudius Pott:
    An Algorithmic Toolbox to Facilitate the Genetic Finite Automata Based Approach for Negative Selection.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Maciej Liskiewicz, Martin Leucker.
  • Lena Katharina Schiffer:
    On polytopes describing multi-terminal network flows.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2015.
    Gutachter: Rüdiger Reischuk, Andreas Rößler.