|
|
|
|
|
|
|
|
|
|
|
 |
|
 |
|
Publications - PhD Theses
|
|
 |
|
 |
2009 | |
Stefan Kiefer. Solving systems of positive polynomial equations. PhD thesis, Technische Universität München, 2009. |
|
|
Dejvuth Suwimonteerabuth. Reachability in pushdown systems: Algorithms and applications. PhD thesis, Technische Universität München, 2009. |
|
2006 | |
J. Bauer. Analysis of Communication Topologies by Partner Abstraction. PhD thesis, Universität des Saarlandes, 2006. |
|
|
M. Nickles. Communication structures of open multiagent systems. PhD thesis, Department of Informatics, Technical University of Munich, 2006. |
|
2002 | |
Stefan Schwoon. Model-checking pushdown systems. PhD thesis, Technische Universität München, 2002. |
|
|
|
|
|
|
|
|
|
Contact
