Diplom- und Studienarbeiten
- Matthias Heppner: Einführung von Unit Tests in das bestehende C++ Softwaresystem SUMO (Diplomarbeit)
- Daniel Janusz: Modellierung, Analyse und Weiterentwicklung des Kreuzungs- und Fahrzeugverhaltens der Verkehrssimulation SUMO zu einer veriziert verklemmungsfreien Anwendung (Diplomarbeit)
- Matthias Heppner: Auswahl eines Unit Test Tools (Studienarbeit)
- Michael Ueckerdt: Färben von zufälligen Schnittgraphen (Diplomarbeit)
Durchgehende Veranstaltungen
- Das Haus vom Nikolaus (für Grundschüler)
Wintersemester 2009/10
Ältere Lehrveranstaltungen
Wintersemester 2008/09
Wintersemester 2005/06
- Praktikum zur VL Graphen und Algorithmen 1
Sommersemester 2005
Sommersemester 2004
Wintersemester 2002/03
- Übungen zur VL Theoretische Informatik 2
