Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Technische Berichte
• Diplomarbeiten (Archiv)

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

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