Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

• Masterarbeiten
• Bachelorarbeiten

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