Javier Esparza - Google Scholar

Cited by

	All	Since 2015
Citations	11072	2773
h-index	50	28
i10-index	123	65

640

320

160

480

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202046 49 47 68 159 180 224 172 266 280 330 437 399 470 444 538 603 582 556 521 586 624 525 489 537 499 500 424 320

Co-authors

Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, University of ParisVerified email at irif.fr
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaVerified email at unizar.es
Eike BestUniversität OldenburgVerified email at informatik.uni-oldenburg.de
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
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
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
Michael BlondinAssistant professor, Université de SherbrookeVerified email at usherbrooke.ca
Salomon SickertTechnische Universität MünchenVerified email at in.tum.de
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Tayssir TouiliSenior researcher, CNRSVerified email at lipn.fr
Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
Maximilian SchlundTU MünchenVerified email at model.in.tum.de
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr

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	1193	2005
Reachability analysis of pushdown automata: Application to model-checking A Bouajjani, J Esparza, O Maler International Conference on Concurrency Theory, 135-150, 1997	808	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	661*	2002
Decidability issues for Petri nets J Esparza, M Nielsen Petri nets newsletter 94, 5-23, 1994	506	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	433	2000
Decidability and complexity of Petri net problems—an introduction J Esparza Advanced Course on Petri Nets, 374-428, 1996	398	1996
Model checking using net unfoldings J Esparza Science of Computer Programming 23 (2-3), 151-195, 1994	326	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	312	1999
Unfoldings: a partial-order approach to model checking J Esparza, K Heljanko Springer Science & Business Media, 2008	257	2008
Decidability of model checking for infinite-state concurrent systems J Esparza Acta Informatica 34 (2), 85-107, 1997	205	1997
Petri nets, commutative context-free grammars, and basic parallel processes J Esparza Fundamenta Informaticae 31 (1), 13-25, 1997	200	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	194	2003
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	192	2003
A BDD-based model checker for recursive programs J Esparza, S Schwoon International Conference on Computer Aided Verification, 324-336, 2001	188	2001
Model checking probabilistic pushdown automata J Esparza, A Kucera, R Mayr Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004	173	2004
A note on on-the-fly verification algorithms S Schwoon, J Esparza International Conference on Tools and Algorithms for the Construction and …, 2005	153	2005
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995	149	1995
On the decidability of model checking for several μ-calculi and Petri nets J Esparza Colloquium on Trees in Algebra and Programming, 115-129, 1994	133	1994
A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets J Ezpeleta, JM Couvreur, M Silva International Conference on Application and Theory of Petri Nets, 126-147, 1991	123	1991
Circuits, handles, bridges and nets J Esparza, M Silva International Conference on Application and Theory of Petri Nets, 210-242, 1989	121	1989

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

Upload PDF

Follow this author

Cited by

Co-authors