Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

• Technische Berichte
• Dissertationen
• Diplomarbeiten (Archiv)
• Studienarbeiten (Archiv)

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

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

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