Technical Reports, Doctoral Theses, Student Theses of the Department

• Diploma Theses (archive)
• Student Theses (archive)

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

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