Javier Esparza
Scholar

Javier Esparza

Google Scholar ID: c9qgPSYAAAAJ
Professor of Computer Science, Technical University of Munich
VerificationAutomata TheoryConcurrency TheoryLogic in Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,645
 
H-index
26
 
i10-index
64
 
Publications
20
 
Co-authors
76
list available
Contact
No contact links provided.
Publications
6 items
Runtime Verification for LTL in Stochastic Systems
2025
Cited
0
Regular Model Checking for Systems with Effectively Regular Reachability Relation
2025
Cited
0
Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
2025
Cited
0
Weakly acyclic diagrams: A data structure for infinite-state symbolic verification
arXiv.org · 2024
Cited
0
A Resolution-Based Interactive Proof System for UNSAT
Foundations of Software Science and Computation Structure · 2024
Cited
0
Complexity of Verification and Synthesis of Threshold Automata
Automated Technology for Verification and Analysis · 2020
Cited
11
Resume (English only)
Co-authors
76 total
Stefan Kiefer
Stefan Kiefer
Professor of Computer Science, University of Oxford
Ahmed Bouajjani
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
Pierre Ganty
Pierre Ganty
Associate Research Professor, IMDEA Software Institute
Antonin Kucera
Antonin Kucera
Masaryk University
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Co-author 6
Co-author 6
Jan Křetínský
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Co-author 8
Co-author 8