Technical Reports, Doctoral Theses, Student Theses of the Institute

• 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.
• Erkilic, Arif: Experimenteller Vergleich verschiedener Dijkstra-Varianten im Rahmen der k-kürzeste-Wege-Suche, Diploma Thesis No. 2825, 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.
• Jakovljevic, Miroslav: Experimentelle Untersuchung zur Eignung von k-kürzeste-Wege-Algorithmen bei der Suche nach echten Alternativrouten, Diploma Thesis No. 2826, 2009.
• Lauser, Alexander: Fragmente einer Intervall-Logik, Diploma Thesis No. 2823, 2009.
• Menne, Christian Frank: Personaleinsatzplanung im Bereich modernster Fertigung, Diploma Thesis No. 30, 2009.