Javier Esparza

Citata da

	Tutte	Dal 2016
Citazioni	11592	2807
Indice H	53	28
i10-index	120	62

620

310

155

465

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202141 47 45 83 164 178 231 169 282 282 331 412 391 458 458 531 595 596 573 507 581 601 522 488 527 495 507 388 433 454

Accesso pubblico

Visualizza tutto

62 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Stefan KieferAssociate Professor, University of OxfordEmail verificata su cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, University of ParisEmail verificata su irif.fr
Antonin KuceraMasaryk UniversityEmail verificata su fi.muni.cz
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiEmail verificata su helsinki.fi
Pierre GantyAssociate Research Professor, IMDEA Software InstituteEmail verificata su imdea.org
Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
Eike BestUniversität OldenburgEmail verificata su informatik.uni-oldenburg.de
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaEmail verificata su unizar.es
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Email verificata su fi.muni.cz
Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityEmail verificata su cs.rwth-aachen.de
Mogens NielsenProfessor of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
Salomon SickertTechnische Universität MünchenEmail verificata su in.tum.de
Michael BlondinAssistant professor, Université de SherbrookeEmail verificata su usherbrooke.ca
Oded MalerCNRS-VERIMAG, University of GrenobleEmail verificata su imag.fr
Andreas GaiserAxivion GmbHEmail verificata su axivion.com
Alain FinkelLSV ENS Paris SaclayEmail verificata su lsv.fr
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityEmail verificata su informatik.uni-freiburg.de
Maximilian SchlundTU MünchenEmail verificata su model.in.tum.de
Anca MuschollLaBRI, Univ. of BordeauxEmail verificata su labri.fr
Tomas BrazdilMasaryk UniversityEmail verificata su fi.muni.cz

Javier Esparza

Professor of Computer Science, Technical University of Munich

Email verificata su in.tum.de - Home page

Verification Automata Theory Concurrency Theory


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Free choice Petri nets J Desel, J Esparza Cambridge university press, 2005	1271*	2005
Reachability analysis of pushdown automata: Application to model-checking A Bouajjani, J Esparza, O Maler International Conference on Concurrency Theory, 135-150, 1997	828	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	685*	2002
Decidability issues for Petri nets J Esparza, M Nielsen Petri nets newsletter 94, 5-23, 1994	532	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	447	2000
Decidability and complexity of Petri net problems—an introduction J Esparza Advanced Course on Petri Nets, 374-428, 1996	430	1996
Model checking using net unfoldings J Esparza Science of Computer Programming 23 (2-3), 151-195, 1994	330	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	328	1999
Unfoldings: a partial-order approach to model checking J Esparza, K Heljanko Springer Science & Business Media, 2008	275	2008
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995	251	1995
Petri nets, commutative context-free grammars, and basic parallel processes J Esparza Fundamenta Informaticae 31 (1), 13-25, 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	212	2003
Decidability of model checking for infinite-state concurrent systems J Esparza Acta Informatica 34 (2), 85-107, 1997	211	1997
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	201	2003
A BDD-based model checker for recursive programs J Esparza, S Schwoon International Conference on Computer Aided Verification, 324-336, 2001	196	2001
Model checking probabilistic pushdown automata R Mayr, A Kucera, J Esparza Logical Methods in Computer Science 2, 2006	180	2006
A note on on-the-fly verification algorithms S Schwoon, J Esparza International Conference on Tools and Algorithms for the Construction and …, 2005	163	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 International Conference on Application and Theory of Petri Nets, 210-242, 1989	126	1989
Efficient algorithms for pre* and post* on interprocedural parallel flow graphs J Esparza, A Podelski Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000	121	2000

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui questo autore

Citata da

Coautori