50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Publikationen 2014


Editorium

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

Zeitschriftenartikel

  • Maciej Liskiewicz, Martin R. Schuster:
    A new upper bound for the traveling salesman problem in cubic graphs.
    Journal of Discrete Algorithms, (27):1-20, 2014.
    Website anzeigen

Konferenzbeiträge

  • Alexander Idelberger, Maciej Liskiewicz:
    On the Computational Complexity of Partitioning Weighted Points into a Grid of Quadrilaterals.
    In Proceedings of the 26th Canadian Conference on Computational Geometry (CCCG'14), Halifax, Nova Scotia, Canada, 2014.
    Website anzeigen
  • Johannes Textor, Katharina Dannenberg, Maciej Liskiewicz:
    A Generic Finite Automata Based Approach to Implementing Lymphocyte Repertoire Models.
    In Proceedings of the Annual Conference on Genetic and Evolutionary Computation (GECCO'14), S. 129-136. ACM Press, 2014.
    Website anzeigen
  • Benito van der Zander, Johannes Textor, Maciej Liskiewicz:
    Constructing Separators and Adjustment Sets in Ancestral Graphs.
    In Proceedings of the 30th Conference on Uncertainty in Artificial Intelligence (UAI'14), Quebec, Canada, S. 907-916. AUAI Press, 2014.
    PDF anzeigen
  • Benito van der Zander:
    Extending XQuery with pattern matching over XML, HTML and JSON, and its usage for data mining..
    In Proceedings of Balisage: The Markup Conference, , 2014.
    Website anzeigen

Technische Berichte

  • Sebastian Berndt, Klaus Jansen, Kim-Manuel Klein:
    Fully Dynamic Bin Packing Revisited.
    Technischer Bericht arXiv:1411.0960, arXiv, 2014.
    Website anzeigen | Zusammenfassung anzeigen

Master- und Diplomarbeiten

  • Max Bannach:
    On the Space and Circuit Complexity of Certain Parameterized Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Till Tantau, Maciej Liskiewicz.
    PDF anzeigen | Zusammenfassung anzeigen
  • Ida Dorothee Bruhns:
    Design and Implementation of a Configurable Framework for Forced-Based Graph Drawing.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Till Tantau, Hans-Martin Teichert.
  • Karol Lassota:
    Entwurf und Implementierung eines Algorithmus zur Berechnung einer Pfadzerlegung von kubischen Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Maciej Liskiewicz, Martin Leucker.
  • Alexander Mühlfeld:
    An Approach to Solving Object Displacement Problems.
    Universität zu Lübeck, Institut für Robotik und Kognitive Systeme, 2014.
    Gutachter: Achim Schweikard, Till Tantau.
  • Florian Noack:
    Konzeption und Implementierung eines merkmalbasierten Workflows für die Steganalyse.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Rüdiger Reischuk, Stefan Fischer.
  • Torben Scheffel:
    Logiken für verteilte Laufzeitverfikation.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Gutachter: Martin Leucker, Till Tantau.
  • Sven Schlinga:
    Sicheres Cloud-Computing.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Rüdiger Reischuk, Stefan Fischer.
  • Malte Schmitz:
    Verteilte Laufzeitverfikation auf eingebetteten Systemen.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Gutachter: Martin Leucker, Till Tantau.
  • Eike von Tils:
    STL: Combining Stream-based and Temporal Logics.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Gutachter: Martin Leucker, Till Tantau.

Bachelor- und Studienarbeiten

  • Regine Geyer:
    Frameshift Mutations of the Genetic Code and Their Impact on the Polarity Conversation of Amino Acids.
    Universität zu Lübeck, Institut für Neuro- und Bioinformatik, 2014.
    Gutachter: Amir Madany Mamlouk, Till Tantau.
  • Jannis Harder:
    Entwicklung eines SAT-Solvers.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Gutachter: M. Leucker, M. Liskiewicz.
  • Paul Merlin Ketelsen:
    Erhöhung der Netzwerk-Kapazität in Flussnetzwerken mit Speicherknoten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Gutachter: Rüdiger Reischuk, Hans-Martin Teichert.
  • Marc Meschkat:
    Vier-wertige Abwicklungssemantik für Timet-LTL.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Gutachter: Martin Leucker, Maciej Liskiewicz.