PhD Theses | Master's Theses and Diploma Theses | Bachelor's Theses and Student Research Projects  

Theses prepared under the supervision of the TKS group

PhD Theses

  • Der Doktorhut D. D. Freydenberger,
    Inclusion of pattern languages and related problems,
    PhD thesis, Institut für Informatik, Goethe-Universität Frankfurt am Main, 2011.
  • Der Doktorhut A. Hernich,
    Foundations of query answering in relational data exchange,
    PhD thesis, Institut für Informatik, Goethe-Universität Frankfurt am Main, 2010. Abstract

Master's Theses and Diploma Theses

  • L. Heimberg,
    Gaifman-Normalformen auf Strukturklassen beschränkten Grades,
    Diplomarbeit, Institut für Informatik, Humboldt-Universität zu Berlin, July 2012.
  • G. Rieger,
    Analyse und Vergleich der Performanz von Datenstrom-Algorithmen und konventionellen Algorithmen anhand verschiedener Anwendungsszenarien,
    Diplomarbeit, Goethe-Universität Frankfurt, 2011.
  • F. Harwath,
    Entscheidbare Charakterisierungen von Erweiterungen der Logik erster Stufe über Bäumen,
    Masterarbeit, Institut für Informatik, Goethe Universität, Frankfurt am Main, Germany, November 2010.

Bachelor's Theses and Student Research Projects

  • J. Keppeler,
    Erreichbarkeit ist für gerichtete Graphen schwerer als für ungerichtete Graphen,
    Bachelorarbeit, Goethe-Universität Frankfurt am Main, 2013.
  • G. Daiker,
    Graphisomorphie, lineare Gleichungssysteme und k-Variablen Logik,
    Bachelorarbeit, Goethe-Universität Frankfurt am Main, 2013.
  • C. Burschka,
    Die Nutzung von Schaltkreisschranken zum Nachweis von Lokalitätseigenschaften von Logiken,
    Bachelorarbeit, Goethe-Universität Frankfurt am Main, 2012.
  • G. Lato,
    Die Komplexität der monadischen Logik zweiter Stufe auf Klassen von Graphen mit beschränkter Baumweite,
    Bachelorarbeit, Goethe-Universität Frankfurt am Main, 2010.
  • S. Kiefer,
    Über die Komplexität des Graphisomorphie-Problems,
    Bachelorarbeit, Goethe-Universität Frankfurt am Main, 2010.
  • L. Heimberg,
    Untere Schranken für Gaifman-Normalformen und die Theorie endlicher Bäume,
    Studienarbeit, Humboldt-Universität zu Berlin, 2010.
  • A. Böhm,
    Ausdrucksstärke von monadischem Datalog über Baumstrukturen,
    Studienarbeit, Humboldt-Universität zu Berlin, 2008.