Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

• Technische Berichte
• Habilitationen
• Diplomarbeiten (Archiv)

• Nr. 01:  Ehrig, Hartmut; König, Barbara: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version), Technischer Bericht Nr. 2004/01.
• Nr. 05:  Heljanko, Keijo; Stefanescu, Alin: Complexity results for checking distributed implementability, Technischer Bericht Nr. 2004/05.
• Nr. 06:  Schwoon, Stefan; Esparza, Javier: A Note on On-The-Fly Verification Algorithms, Technischer Bericht Nr. 2004/06.
• Nr. 08:  Dotti, Fernando Luis; König, Barbara; Marchi do Santos, Osmar; Ribeiro, Leila: A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems, Technischer Bericht Nr. 2004/08.

• König, Barbara: Analysis and Verification of Systems with Dynamically Evolving Structure, Habilitation, 2004.

• Fesser, Martin: Entwicklung von Spielstrategien mittels evolutionärer Algorithmen am Beispiel von Kalaha, Diplomarbeit Nr. 2184, 2004.
• Häcker, Claudius: Evaluation und Visualisierung Kürzester-Wege-Algorithmen auf Zufallsgraphen, Diplomarbeit Nr. 2187, 2004.
• Siantidis, Zissis: Entwurf und Implementierung eines Lernsystems für gestreute Speicherung, Diplomarbeit Nr. 2154, 2004.