Javier Esparza

Cited by

	All	Since 2017
Citations	12036	2696
h-index	54	26
i10-index	126	63

620

310

155

465

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202245 50 48 84 161 181 237 172 285 282 334 407 387 462 456 528 598 595 573 507 573 615 520 491 527 507 516 389 438 567 278

Public access

View all

69 articles

1 article

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
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
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 BestUniversitä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 SickertPost Doc, Hebrew University of JerusalemVerified 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
Maximilian SchlundTU MünchenVerified email at model.in.tum.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
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	1305*	2005
Reachability analysis of pushdown automata: Application to model-checking A Bouajjani, J Esparza, O Maler International Conference on Concurrency Theory, 135-150, 1997	829	1997
An improvement of McMillan's unfolding algorithm J Esparza, S Römer, W Vogler Formal Methods in System Design 20 (3), 285-310, 2002	696*	2002
Decidability issues for Petri nets J Esparza, M Nielsen BRICS Report Series 1 (8), 1994	566	1994
Efficient algorithms for model checking pushdown systems J Esparza, D Hansel, P Rossmanith, S Schwoon International Conference on Computer Aided Verification, 232-247, 2000	457	2000
Decidability and complexity of Petri net problems—an introduction J Esparza Advanced Course on Petri Nets, 374-428, 1996	456	1996
Model checking using net unfoldings J Esparza Science of Computer Programming 23 (2-3), 151-195, 1994	341	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	337	1999
Unfoldings: a partial-order approach to model checking J Esparza, K Heljanko Springer Science & Business Media, 2008	281	2008
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995	268	1995
Petri nets, commutative context-free grammars, and basic parallel processes J Esparza Fundamenta Informaticae 31 (1), 13-25, 1997	216	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	212	2003
Decidability of model checking for infinite-state concurrent systems J Esparza Acta Informatica 34 (2), 85-107, 1997	212	1997
A BDD-based model checker for recursive programs J Esparza, S Schwoon International Conference on Computer Aided Verification, 324-336, 2001	201	2001
A generic approach to the static analysis of concurrent programs with procedures A Bouajjani, J Esparza, T Touili International Journal of Foundations of Computer Science 14 (04), 551-582, 2003	198	2003
Model checking probabilistic pushdown automata R Mayr, A Kucera, J Esparza Logical Methods in Computer Science 2, 2006	191	2006
A note on on-the-fly verification algorithms S Schwoon, J Esparza International Conference on Tools and Algorithms for the Construction and …, 2005	168	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	140	1994
Circuits, handles, bridges and nets J Esparza, M Silva International Conference on Application and Theory of Petri Nets, 210-242, 1989	127	1989
Verification of safety properties using integer programming: Beyond the state equation J Esparza, S Melzer Formal Methods in System Design 16 (2), 159-189, 2000	124*	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