I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - PhD Theses

2009

Stefan Kiefer. Solving systems of positive polynomial equations. PhD thesis, Technische Universität München, 2009.
PDF (931 kB)
Info
Slides 
Dejvuth Suwimonteerabuth. Reachability in pushdown systems: Algorithms and applications. PhD thesis, Technische Universität München, 2009.
PDF (1002 kB)
Info

2006

J. Bauer. Analysis of Communication Topologies by Partner Abstraction. PhD thesis, Universität des Saarlandes, 2006.
PDF (1 MB)
Info
M. Nickles. Communication structures of open multiagent systems. PhD thesis, Department of Informatics, Technical University of Munich, 2006.
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 ...