Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Diplomarbeiten (Archiv)
• Studienarbeiten (Archiv)

• Bischoff, Bastian: Wortbegrenzung unter Involution, Diplomarbeit Nr. 3095, 2010.
• Thomaß, Bertram: SAT solving modulo nichtlinearer Theorien, Diplomarbeit Nr. 3094, 2010.

• Riegger, Philipp: Literature Survey on Nearest Neighbor Search and Search in Graphs, Studienarbeit Nr. 2300, 2010.
• Voetter, Andreas: Adaptives Model-Checking reaktiver Systeme, Studienarbeit Nr. 2302, 2010.