Technical Reports, Doctoral Theses, Student Theses of the Department

• Technical Reports
• Dissertations
• Diploma Theses (archive)

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

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

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