2006
Alin Stefanescu. Automatic synthesis of distributed transition systems. PhD thesis, Universität Stuttgart, February 2006.	PDF (2 MB) Info Slides
Claus Schröter. Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen. PhD thesis, Universität Stuttgart, 2006.	GZipped PostScript (712 kB) PDF (1 MB) Info
2004
Barbara König. Analysis and verification of systems with dynamically evolving structures. Habilitation thesis, Universität Stuttgart, December 2004.	GZipped PostScript (998 kB) PDF (1 MB) Info
Dirk Nowotka. Periodicity and unbordered factors of words. PhD thesis, University of Turku, 2004.	GZipped PostScript (414 kB) PDF (545 kB) Info
2002
Stefan Schwoon. Model-checking pushdown systems. PhD thesis, Technische Universität München, 2002.	GZipped PostScript (662 kB) PDF (948 kB) Info See www.fmi.uni-stuttgart.de ...