Technical Reports, Doctoral Theses, Student Theses of the Department

• Master Theses
• Bachelor Theses

• Hanke, Carlos: Charakterisierung strukturell einfacher Quantorenalternierungen, Master Thesis No. 38, 2018.
• Naghibi, Youssof: Paritätsspiele in quasipolynomieller Zeit, Master Thesis No. 106, 2018.

• Förster, Eric: Automatisiertes Finden von Gegenbeispielen algebraischer und formalsprachlicher Eigenschaften, Bachelor Thesis No. 65, 2018.
• Heidenwag, Jarkko: Durchschnittsanalyse für Quicksort mit Links-Rechts-Partitionierung im Fall vieler Duplikate, Bachelor Thesis No. 73, 2018.
• Meisel, Tobias: Das Kachelungsproblem 4-wege-deterministischer Wang-Kacheln, Bachelor Thesis No. 80, 2018.
• Stober, Florian: Average case considerations for Mergelnsertion, Bachelor Thesis No. 93, 2018.