Technical Reports, Doctoral Theses, Student Theses of the Department

• Technical Reports
• Diploma Theses (archive)

• No. 02:  Fouz, Mahmoud; Kufleitner, Manfred; Manthey, Bodo; Zeini Jahromi, Nima: On Smoothed Analysis of Quicksort and Hoare's Find, Technical Report No. 2009/02.
• No. 04:  Diekert, Volker; Kufleitner, Manfred: Fragments of first-order logic over infinite words, Technical Report No. 2009/04.

• Binder, Wa: Entwicklung optimaler Algorithmen zur Berechnung von Kontext-Mischungen, Diploma Thesis No. 22, 2009.
• Giricz, Thomas: Semantische Methoden zur Kompression von Text, Diploma Thesis No. 1, 2009.
• Giricz, Thomas: Semantische Methoden zur Kompression von Text, Diploma Thesis No. 2, 2009.
• Holz, Mike: Effiziente Heuristiken zur Berechnung kürzester Wege in Graphen mit negativen Kantengewichten, Diploma Thesis No. 12, 2009.
• Lauser, Alexander: Fragmente einer Intervall-Logik, Diploma Thesis No. 2823, 2009.