Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Diplomarbeiten (Archiv)

• 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.