Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Masterarbeiten
• Bachelorarbeiten

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

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