50 years Univerity of Lübeck

Institute for Theoretical Computer Science

Publications 2014


Proceedings

  • 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.
    Volume 14 of Lecture Notes in Informatics, Dissertationen, GI, 2014.

Journal articles

  • 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.
    Go to website

Conference papers

  • 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.
    Go to website
  • 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), pp. 129-136. ACM Press, 2014.
    Go to website
  • 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, pp. 907-916. AUAI Press, 2014.
    Show PDF
  • 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.
    Go to website

Technical reports

  • Sebastian Berndt, Klaus Jansen, Kim-Manuel Klein:
    Fully Dynamic Bin Packing Revisited.
    Technical report arXiv:1411.0960, arXiv, 2014.
    Go to website | Show abstract

Masters theses

  • I. D. B.:
    Design and Implementation of a Configurable Framework for Forced-Based Graph Drawing.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Supervised by: Till Tantau, Hans-Martin Teichert.
  • M. B.:
    On the Space and Circuit Complexity of Certain Parameterized Problems.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Supervised by: Till Tantau, Maciej Liskiewicz.
    Show PDF | Show abstract
  • K. L.:
    Entwurf und Implementierung eines Algorithmus zur Berechnung einer Pfadzerlegung von kubischen Graphen.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Supervised by: Maciej Liskiewicz, Martin Leucker.
  • A. M.:
    An Approach to Solving Object Displacement Problems.
    Universität zu Lübeck, Institut für Robotik und Kognitive Systeme, 2014.
    Supervised by: Achim Schweikard, Till Tantau.
  • F. N.:
    Konzeption und Implementierung eines merkmalbasierten Workflows für die Steganalyse.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Supervised by: Rüdiger Reischuk, Stefan Fischer.
  • T. S.:
    Logiken für verteilte Laufzeitverfikation.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Supervised by: Martin Leucker, Till Tantau.
  • S. S.:
    Sicheres Cloud-Computing.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Supervised by: Rüdiger Reischuk, Stefan Fischer.
  • M. S.:
    Verteilte Laufzeitverfikation auf eingebetteten Systemen.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Supervised by: Martin Leucker, Till Tantau.
  • E. v. T.:
    STL: Combining Stream-based and Temporal Logics.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Supervised by: Martin Leucker, Till Tantau.

Bachelors theses

  • R. G.:
    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.
    Supervised by: Amir Madany Mamlouk, Till Tantau.
  • J. H.:
    Entwicklung eines SAT-Solvers.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Supervised by: M. Leucker, M. Liskiewicz.
  • P. M. K.:
    Erhöhung der Netzwerk-Kapazität in Flussnetzwerken mit Speicherknoten.
    Universität zu Lübeck, Institut für Theoretische Informatik, 2014.
    Supervised by: Rüdiger Reischuk, Hans-Martin Teichert.
  • M. M.:
    Vier-wertige Abwicklungssemantik für Timet-LTL.
    Universität zu Lübeck, Institut für Softwaretechnik und Programmiersprachen, 2014.
    Supervised by: Martin Leucker, Maciej Liskiewicz.