Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

• Diplomarbeiten (Archiv)
• Bachelorarbeiten

• Baumann, Thomas: Quantorenalternierung und reguläre Sprachen, Diplomarbeit Nr. 2775, 2008.
• Gaiser, Andreas: Erreichbarkeitsanalyse funktionaler Programme mit Grundtermersetzungssystemen, Diplomarbeit Nr. 2718, 2008.
• Löser, Moritz: Äquivalenzklassen-basiertes Testen, Diplomarbeit Nr. 26, 2008.
• Thoma, Daniel: Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking, Diplomarbeit Nr. 2799, 2008.

• Croll, Katrin: Effizienz von Algorithmen, die auf dem Austausch von benachbarten Elementen beruhen, Bachelorarbeit Nr. 11, 2008.