Technical Reports, Doctoral Theses, Student Theses of the Institute

• Technical Reports
• Dissertations
• Diploma Theses (archive)
• Student Theses (archive)

• No. 01:  König, Barbara; Kozioura, Vitali: Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems, Technical Report No. 2006/01.
• No. 02:  Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems, Technical Report No. 2006/02.
• 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.
• No. 09:  Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier: Efficient Algorithms for Alternating Pushdown Systems: Application to Certificate Chain Discovery with Threshold Subjects, Technical Report No. 2006/09.

• 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.
• Jung, Till-Moritz: Darstellungs- und Lösungsmethoden für die optimale Steuerung technischer Prozesse am Beispiel der Motorregelungen, Diploma Thesis No. 2506, 2006.
• Lubecki, Arkadius: Parameterbestimmung für genetische Algorithmen mit multiparent Crossover, Diploma Thesis No. 2421, 2006.
• Lüdenbach, Matthias: Implementierung und Vergleich FFT-basierter Multiplikationsalgorithmen, Diploma Thesis No. 2, 2006.
• Sadikovic, Jasna: Optimiale Eigenbewegungsschätzung anhand adaptiver Sensordatenfusion optischer und kinematischer Sensoren, Diploma Thesis No. 2496, 2006.
• Tsotniashvili, Timur: Übersetzung von imperativen Programmen mit Zeigermanipulation in Graphtransformations-Regeln, Diploma Thesis No. 26, 2006.

• Komarek, Peter: Veränderung der Nachfrage bei Infrastrukturinvestitionen im ÖPNV durch Änderung der Verkehrswiderstände, Student Thesis No. 2061, 2006.