Javier Esparza

Cited by

	All	Since 2018
Citations	12312	2400
h-index	55	24
i10-index	129	58

620

310

155

465

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202342 48 90 140 185 253 157 256 305 374 408 394 516 469 527 599 599 558 510 578 610 526 482 541 501 515 403 431 512 470 68

Public access

View all

61 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified email at irif.fr
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Eike BestCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaVerified email at unizar.es
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Michael BlondinAssistant professor, Université de SherbrookeVerified email at usherbrooke.ca
Salomon SickertVerified email at tum.de
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Andreas GaiserAxivion GmbHVerified email at axivion.com
Alain FinkelLSV ENS Paris SaclayVerified email at lsv.fr
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
Mikhail RaskinDept. of CS, TU MunichVerified email at in.tum.de

Javier Esparza

Professor of Computer Science, Technical University of Munich

Verified email at in.tum.de - Homepage

Verification Automata Theory Concurrency Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Free choice Petri nets J Desel, J Esparza Cambridge university press, 2005	1330*	2005
Reachability analysis of pushdown automata: Application to model-checking A Bouajjani¹, J Esparza, O Maler¹ CONCUR'97 1243, 135, 1997	850	1997
An Improvement of McMillan's Unfolding Algorithm. J Esparza, S Römer, W Vogler	713	1995
Decidability issues for Petri nets J Esparza, M Nielsen BRICS Report Series 1 (8), 1994	578	1994
Efficient algorithms for model checking pushdown systems J Esparza, D Hansel, P Rossmanith, S Schwoon Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	469	2000
Decidability and complexity of Petri net problems-an introduction J Esparza Lecture Notes in Computer Science, 374-385, 1998	466	1998
Model checking using net unfoldings J Esparza Science of Computer Programming 23 (2-3), 151-195, 1994	346	1994
On the verification of broadcast protocols J Esparza, A Finkel, R Mayr Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	343	1999
Unfoldings: a partial-order approach to model checking J Esparza, K Heljanko Springer Science & Business Media, 2008	291	2008
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995	272	1995
Petri nets, commutative context-free grammars, and basic parallel processes J Esparza Fundamenta Informaticae 31 (1), 13-25, 1997	229	1997
Decidability of model checking for infinite-state concurrent systems J Esparza Acta Informatica 34 (2), 85-107, 1997	215	1997
Model checking LTL with regular valuations for pushdown systems J Esparza, A Kučera, S Schwoon Information and Computation 186 (2), 355-376, 2003	214	2003
A BDD-based model checker for recursive programs J Esparza, S Schwoon Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	209	2001
Model checking probabilistic pushdown automata R Mayr, A Kucera, J Esparza Logical Methods in Computer Science 2, 2006	196	2006
A generic approach to the static analysis of concurrent programs with procedures A Bouajjani, J Esparza, T Touili ACM SIGPLAN Notices 38 (1), 62-73, 2003	196	2003
A Note on On-the-Fly Verification Algorithms. S Schwoon, J Esparza TACAS 3440, 174-190, 2005	169	2005
On the decidability of model checking for several μ-calculi and Petri nets J Esparza Colloquium on Trees in Algebra and Programming, 115-129, 1994	144	1994
Circuits, handles, bridges and nets J Esparza, M Silva Advances in Petri Nets 1990 10, 210-242, 1991	129	1991
Verification of safety properties using integer programming: Beyond the state equation J Esparza, S Melzer Formal Methods in System Design 16, 159-189, 2000	126*	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors