Technical Reports, Doctoral Theses, Student Theses of the Institute

• Diploma Theses (archive)
• Bachelor Theses

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

• Croll, Katrin: Effizienz von Algorithmen, die auf dem Austausch von benachbarten Elementen beruhen, Bachelor Thesis No. 11, 2008.