Javier Esparza

Cited by

	All	Since 2019
Citations	13216	2644
h-index	57	26
i10-index	134	63

620

310

155

465

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202448 47 90 168 194 241 183 284 314 362 415 396 502 468 542 617 607 574 507 579 608 526 484 559 478 513 410 423 512 487 443 365

Public access

View all

60 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stefan KieferProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified email at irif.fr
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
Eike BestCarl von Ossietzky Universität OldenburgVerified email at informatik.uni-oldenburg.de
Salomon SickertVerified email at tum.de
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 BlondinAssociate professor, Université de SherbrookeVerified email at usherbrooke.ca
Andreas GaiserAxivion GmbHVerified email at axivion.com
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Alain FinkelLMF ENS Paris SaclayVerified email at ens-paris-saclay.fr
Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)Verified email at tum.de
Maximilian SchlundV&V Architect at ETASVerified email at de.bosch.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz

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	1397*	2005
Reachability analysis of pushdown automata: Application to model-checking A Bouajjani, J Esparza, O Maler CONCUR'97: Concurrency Theory: 8th International Conference Warsaw, Poland …, 1997	899	1997
An improvement of McMillan's unfolding algorithm J Esparza, S Römer, W Vogler Formal Methods in System Design 20, 285-310, 2002	754*	2002
Decidability issues for Petri nets J Esparza, M Nielsen Petri nets newsletter 94, 5-23, 1994	604	1994
Decidability and complexity of Petri net problems—an introduction J Esparza Advanced Course on Petri Nets, 374-428, 1996	497	1996
Efficient algorithms for model checking pushdown systems J Esparza, D Hansel, P Rossmanith, S Schwoon International Conference on Computer Aided Verification, 232-247, 2000	490	2000
Model checking using net unfoldings J Esparza Science of Computer Programming 23 (2-3), 151-195, 1994	371	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	362	1999
Unfoldings: a partial-order approach to model checking J Esparza, K Heljanko Springer Science & Business Media, 2008	324	2008
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995	292	1995
Petri nets, commutative context-free grammars, and basic parallel processes J Esparza Fundamenta Informaticae 31 (1), 13-25, 1997	233	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	226	2003
Decidability of model checking for infinite-state concurrent systems J Esparza Acta Informatica 34 (2), 85-107, 1997	225	1997
A BDD-based model checker for recursive programs J Esparza, S Schwoon Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	214	2001
Model checking probabilistic pushdown automata J Esparza, A Kucera, R Mayr Logical Methods in Computer Science 2, 2006	212	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	203	2003
A note on on-the-fly verification algorithms S Schwoon, J Esparza International Conference on Tools and Algorithms for the Construction and …, 2005	182	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	145	1994
Limit-deterministic Büchi automata for linear temporal logic S Sickert, J Esparza, S Jaax, J Křetínský International Conference on Computer Aided Verification, 312-332, 2016	140	2016
A fully verified executable LTL model checker J Esparza, P Lammich, R Neumann, T Nipkow, A Schimpf, JG Smaus Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	137	2013

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