|
|
|
|
|
|
|
![](../../00global/00pics/green-tl.png) |
|
![](../../00global/00pics/green-tr.png) |
|
Publications - PhD Theses
|
|
![](../../00global/00pics/green-bl.png) |
|
![](../../00global/00pics/green-br.png) |
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. |
|
|
|
|
|
|
|
|