← Back to directory
Javier Esparza
Researcher Next ID · RN-000426
Professor · Computer Science
Technical University of Munich
Munich, Germany
Not currently recruitingFunding unknown
- Works count
- 362
- Citation count
- 9,106
- H-index
- 49
- i10-index
- 146
About
362 publications and 9,104 citations recorded on OpenAlex.
Research interests
Computer Science
Formal Methods in Verification
Petri Nets in System Modeling
Logic, programming, and type systems
Distributed systems and fault tolerance
semigroups and automata theory
Publications
On the verification of broadcast protocols
Journal · 2003 · 10.1109/lics.1999.782630
An Improvement of McMillan's Unfolding Algorithm
Formal Methods in System Design · 2002 · 10.1023/a:1014746130920
Efficient Algorithms for Model Checking Pushdown Systems
Lecture notes in computer science · 2000 · 10.1007/10722167_20
Reachability analysis of pushdown automata: Application to model-checking
Lecture notes in computer science · 1997 · 10.1007/3-540-63141-0_10
Free Choice Petri Nets
Cambridge University Press eBooks · 1995 · 10.1017/cbo9780511526558
Current projects
No projects listed.