Technical Reports, Doctoral Theses, Student Theses of the Department

• Master Theses
• Bachelor Theses

• Reiß, Philipp: Ein formaler Ansatz für die Berechnung von Speicherzugriffszeiten in Echtzeit Mehrkernsystemen mit geteilten Ressourcen, Master Thesis No. 27, 2021.
• Roggenbuck, Kay: Simulation and analysis of complex dynamics in a low-dimensional model of a vibration-machine, Master Thesis No. 62, 2021.
• Stober, Florian: The power word problem in graph groups, Master Thesis No. 48, 2021.

• Ayar, Mustafa: Neue obere Schranke für das Sortieren nach Igor Sergeev, Bachelor Thesis No. 95, 2021.