Javier Esparza
Author
Alternate names Esparza Javier, J. Esparza, Javier Esparza
Institution Technical University of Munich
Past institutions Technical University of Munich, Hebrew University of Jerusalem, Universidad Complutense de Madrid, Institut Für Angewandte Kulturforschung, Institute of Science and Technology Austria +5 more
ORCID: Yes
H-index: 49
I10-index: 149
Works count: 389
Citations count: 9,511
Free Choice Petri Nets
1995 · Jörg Desel, Javier Esparza
Reachability analysis of pushdown automata: Application to model-checking
1997 · Ahmed Bouajjani, Javier Esparza, et al. · Lecture notes in computer science
Efficient Algorithms for Model Checking Pushdown Systems
2000 · Javier Esparza, D. Hansel, et al. · Lecture notes in computer science