Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Masterarbeiten
• Bachelorarbeiten

• Heindl, Amelie: Verbotsmuster für Logik mit zwei Variablen über endlichen und unendlichen Wörtern, Masterarbeit Nr. 45, 2023.
• Hilbig, Aaron: Analysing timing behavior of component-based software systems, Masterarbeit Nr. 32, 2023.
• Welker, Janette: Dreifärbungen für planare Graphen mit wenigen Dreiecken, Masterarbeit Nr. 113, 2023.

• Bienias, Joel: Erkennung von Gruppen mit CC0 Schaltkreisen, Bachelorarbeit Nr. 113, 2023.
• Kurz, Maximilian: Kranzprodukte und MOD-Klassen, Bachelorarbeit Nr. 82, 2023.