Javier Esparza

Dikutip oleh

	Semua	Sejak 2020
Kutipan	13456	2424
indeks-h	59	25
indeks-i10	130	61

640

320

160

480

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202548 38 90 164 201 242 182 284 308 368 425 409 503 470 547 625 608 576 509 586 622 545 492 545 472 512 399 426 507 488 426 490 84

Akses publik

Lihat semua

61 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Stefan KieferProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéEmail yang diverifikasi di irif.fr
Antonin KuceraMasaryk UniversityEmail yang diverifikasi di fi.muni.cz
Pierre GantyAssociate Research Professor, IMDEA Software InstituteEmail yang diverifikasi di imdea.org
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Rupak MajumdarMPI for Software SystemsEmail yang diverifikasi di mpi-sws.org
Jan KřetínskýMasaryk University Brno; Technical University of MunichEmail yang diverifikasi di fi.muni.cz
Eike BestCarl von Ossietzky Universität OldenburgEmail yang diverifikasi di informatik.uni-oldenburg.de
Salomon SickertEmail yang diverifikasi di tum.de
Michael BlondinAssociate professor, Université de SherbrookeEmail yang diverifikasi di usherbrooke.ca
Manuel SilvaSystem Engineering & Automatic Control, Universidad de Zaragoza, University of ZaragozaEmail yang diverifikasi di unizar.es
Mogens NielsenProfessor of Computer Science, Aarhus UniversityEmail yang diverifikasi di cs.au.dk
Peter RossmanithProfessor of Computer Science, RWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
Andreas GaiserAxivion GmbHEmail yang diverifikasi di axivion.com
Oded MalerCNRS-VERIMAG, University of GrenobleEmail yang diverifikasi di imag.fr
Alain FinkelLMF ENS Paris SaclayEmail yang diverifikasi di ens-paris-saclay.fr
Mikhail RaskinLaBRI, University of Bordeaux (CNRS UMR 5800)Email yang diverifikasi di tum.de
Maximilian SchlundV&V Architect at ETASEmail yang diverifikasi di de.bosch.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityEmail yang diverifikasi di informatik.uni-freiburg.de
Tomas BrazdilMasaryk UniversityEmail yang diverifikasi di fi.muni.cz

Ikuti

Javier Esparza

Professor of Computer Science, Technical University of Munich

Email yang diverifikasi di in.tum.de - Beranda

Verification Automata Theory Concurrency Theory


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Free choice Petri nets J Desel, J Esparza Cambridge university press, 2005	1413*	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	913	1997
An improvement of McMillan's unfolding algorithm J Esparza, S Römer, W Vogler Formal Methods in System Design 20, 285-310, 2002	755*	2002
Decidability issues for Petri nets--a survey J Esparza, M Nielsen arXiv preprint arXiv:2411.01592, 2024	616	2024
Decidability and complexity of Petri net problems—an introduction J Esparza Advanced course on Petri nets, 374-428, 1996	508	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	492	2000
On the verification of broadcast protocols J Esparza, A Finkel, R Mayr Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	370	1999
Model checking using net unfoldings J Esparza Science of Computer Programming 23 (2-3), 151-195, 1994	370	1994
Unfoldings: a partial-order approach to model checking J Esparza, K Heljanko Springer Science & Business Media, 2008	333	2008
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995	293	1995
Petri nets, commutative context-free grammars, and basic parallel processes J Esparza Fundamenta Informaticae 31 (1), 13-25, 1997	238	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	229	2003
Decidability of model checking for infinite-state concurrent systems J Esparza Acta Informatica 34 (2), 85-107, 1997	221	1997
Model checking probabilistic pushdown automata J Esparza, A Kucera, R Mayr Logical Methods in Computer Science 2, 2006	215	2006
A BDD-based model checker for recursive programs J Esparza, S Schwoon Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	215	2001
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	210	2003
A note on on-the-fly verification algorithms S Schwoon, J Esparza International Conference on Tools and Algorithms for the Construction and …, 2005	187	2005
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	151	2016
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
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	138	2013

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama