Technical Reports, Doctoral Theses, Student Theses of the Department

• Master Theses
• Bachelor Theses

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

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