EHRS00a
J. Esparza, D. Hansel, P. Rossmanith, and S. Schwoon.
Efficient algorithms for model checking pushdown systems.
Technical Report TUM-I0002, SFB-Bericht 342/1/00 A, Technische Universität München, Institut für Informatik, February 2000. [gzipped Postscript ] [Abstract]

EHRS00b
J. Esparza, D. Hansel, P. Rossmanith, and S. Schwoon.
Efficient algorithms for model checking pushdown systems.
In Proc. of CAV'2000, number 1855 in Lecture Notes in Computer Science, pages 232-247. Springer-Verlag, 2000. [gzipped Postscript ] [Abstract]

EKS01
J. Esparza, A. Kucera, and S. Schwoon.
Model-checking LTL with regular valuations for pushdown systems.
In Proc. of TACS'2001, number 2215 in Lecture Notes in Computer Science, pages 306-339, 2001. [gzipped Postscript ] [Abstract]

ERS00
J. Esparza, P. Rossmanith, and S. Schwoon.
A uniform framework for problems on context-free grammars.
EATCS Bulletin, 72:169-177, October 2000. [gzipped Postscript ]

ES01
J. Esparza and S. Schwoon.
A BDD-based model checker for recursive programs.
In Proc. of CAV'01, number 2102 in Lecture Notes in Computer Science, pages 324-336. Springer-Verlag, 2001. [gzipped Postscript ]

HS01
M. Holzer and S. Schwoon.
Assembling molecules in Atomix is hard.
Technical Report TUM-I0101, Technische Universität München, May 2001. [compressed Postscript ] [Abstract]

SSE02
C. Schröter, S. Schwoon, and J. Esparza.
The Model-Checking Kit.
In Proceedings of Toolsday-Workshop (satellite event of CONCUR'02), Report Series FIMU-RS-2002-05, pages 22-31, Masaryk University, Brno, 2002. [gzipped Postscript ]

Sch98
S. Schwoon.
Übersetzung von SDL-Spezifikationen in Petri-Netze.
Master's thesis, Universität Hildesheim, 1998.
In German. [gzipped Postscript ] [Abstract]