Technical Reports, Doctoral Theses, Student Theses of the Institute

• Master Theses
• Bachelor Theses

• Barth, Florian: Multi-criteria bicycle routing, Master Thesis No. 13, 2018.
• 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.
• Gegier, Matthias: POI-Sensitive Nachbarschaftssuche, Bachelor Thesis No. 67, 2018.
• Heidenwag, Jarkko: Durchschnittsanalyse für Quicksort mit Links-Rechts-Partitionierung im Fall vieler Duplikate, Bachelor Thesis No. 73, 2018.
• Makolli, Sokol: Grafisches Clustering von OSCAR-Suchresultaten, Bachelor Thesis No. 78, 2018.
• Meisel, Tobias: Das Kachelungsproblem 4-wege-deterministischer Wang-Kacheln, Bachelor Thesis No. 80, 2018.
• Mendel, Natalia: Dynamische Beschriftung von Gebietshierarchien : Entwicklung und Implementierung der Beschriftung von hierarchischen Gebietsunterteilungen, Bachelor Thesis No. 81, 2018.
• Owens, Niklas: Verwaltung und Indizierung von Bewegungstrajektorien, Bachelor Thesis No. 83, 2018.
• Stober, Florian: Average case considerations for Mergelnsertion, Bachelor Thesis No. 93, 2018.