Javier Esparza

Citée par

	Toutes	Depuis 2018
Citations	12679	2693
indice h	56	25
indice i10	131	63

620

310

155

465

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202349 45 88 168 208 255 180 281 307 356 416 399 494 462 535 601 601 565 497 567 608 520 489 552 483 514 396 431 504 484 363

Accès public

Tout afficher

60 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Stefan KieferProfessor of Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéAdresse e-mail validée de irif.fr
Antonin KuceraMasaryk UniversityAdresse e-mail validée de fi.muni.cz
Rupak MajumdarMPI for Software SystemsAdresse e-mail validée de mpi-sws.org
Pierre GantyAssociate Research Professor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiAdresse e-mail validée de helsinki.fi
Eike BestCarl von Ossietzky Universität OldenburgAdresse e-mail validée de informatik.uni-oldenburg.de
Jan KřetínskýTechnical University of MunichAdresse e-mail validée de fi.muni.cz
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaAdresse e-mail validée de unizar.es
Mogens NielsenProfessor of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Salomon SickertAdresse e-mail validée de tum.de
Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityAdresse e-mail validée de cs.rwth-aachen.de
Michael BlondinAssociate professor, Université de SherbrookeAdresse e-mail validée de usherbrooke.ca
Andreas GaiserAxivion GmbHAdresse e-mail validée de axivion.com
Oded MalerCNRS-VERIMAG, University of GrenobleAdresse e-mail validée de imag.fr
Alain FinkelLSV ENS Paris SaclayAdresse e-mail validée de lsv.fr
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityAdresse e-mail validée de informatik.uni-freiburg.de
Tomas BrazdilMasaryk UniversityAdresse e-mail validée de fi.muni.cz
Anca MuschollLaBRI, Univ. of BordeauxAdresse e-mail validée de labri.fr
Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)Adresse e-mail validée de tum.de

Suivre

Javier Esparza

Professor of Computer Science, Technical University of Munich

Adresse e-mail validée de in.tum.de - Page d'accueil

Verification Automata Theory Concurrency Theory


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Free choice Petri nets J Desel, J Esparza Cambridge university press, 2005	1361*	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	850	1997
An improvement of McMillan's unfolding algorithm J Esparza, S Römer, W Vogler Formal Methods in System Design 20, 285-310, 2002	702*	2002
Decidability issues for Petri nets J Esparza, M Nielsen BRICS Report Series 1 (8), 1994	591	1994
Decidability and complexity of Petri net problems—an introduction J Esparza Advanced Course on Petri Nets, 374-428, 1996	475	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	474	2000
Model checking using net unfoldings J Esparza Science of Computer Programming 23 (2-3), 151-195, 1994	344	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	341	1999
Unfoldings: a partial-order approach to model checking J Esparza, K Heljanko Springer Science & Business Media, 2008	304	2008
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995	281	1995
Petri nets, commutative context-free grammars, and basic parallel processes J Esparza Fundamenta Informaticae 31 (1), 13-25, 1997	228	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	220	2003
Decidability of model checking for infinite-state concurrent systems J Esparza Acta Informatica 34 (2), 85-107, 1997	218	1997
A BDD-based model checker for recursive programs J Esparza, S Schwoon Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	206	2001
Model checking probabilistic pushdown automata J Esparza, A Kucera, R Mayr Logical Methods in Computer Science 2, 2006	199	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	195	2003
A note on on-the-fly verification algorithms S Schwoon, J Esparza International Conference on Tools and Algorithms for the Construction and …, 2005	176	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	141	1994
Circuits, handles, bridges and nets J Esparza, M Silva Advances in Petri Nets 1990 10, 210-242, 1991	134	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	127*	2000

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs