Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

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