Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Technische Berichte
• Dissertationen
• Diplomarbeiten (Archiv)

• Nr. 03:  Kufleitner, Manfred: Polynomials, Fragments of Temporal Logic and the Variety DA over Traces, Technischer Bericht Nr. 2006/03.
• Nr. 04:  Göller, Stefan; Lohrey, Markus: Infinite State Model-Checking of Propositional Dynamic Logics, Technischer Bericht Nr. 2006/04.
• Nr. 06:  Horsch, Martin; Kufleitner, Manfred: The Expressive Power of Simple Logical Fragments over Traces, Technischer Bericht Nr. 2006/06.

• Ondrusch, Nicole: Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter Präsentation, Dissertation, 2006.

• Hoffmann, Benjamin: Kryptographische Protokolle für Online-Auktionen, Diplomarbeit Nr. 21, 2006.
• Horsch, Martin Thomas: Spiele und temporallogische Fragmente über Spuren, Diplomarbeit Nr. 2391, 2006.
• Lüdenbach, Matthias: Implementierung und Vergleich FFT-basierter Multiplikationsalgorithmen, Diplomarbeit Nr. 2, 2006.