Javier Esparza
About
Javier Esparza has authored 77 papers that have received a total of 1.1k indexed citations.
This includes 65 papers in Computational Theory and Mathematics, 33 papers in Artificial Intelligence and 15 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (44 papers), Petri Nets in System Modeling (30 papers) and Logic, programming, and type systems (19 papers). Javier Esparza is often cited by papers focused on Formal Methods in Verification (44 papers), Petri Nets in System Modeling (30 papers) and Logic, programming, and type systems (19 papers) and collaborates with scholars based in Germany, United Kingdom and France. Javier Esparza's co-authors include Pierre Ganty, Stefan Kiefer, Ahmed Bouajjani, Jörg Desel and Antonı́n Kučera and has published in prestigious journals such as Journal of the ACM, SIAM Journal on Computing and Journal of Computational and Applied Mathematics
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Masanobu Tokushige are co-authored with Top journals papers by Vittorio Bresadola are published in Top fields papers by Molly Szerlip are about Top journals papers by Sohel Reza Choudhury are published in Top authors papers by Shin-ichi Matsumoto are co-authored with Top authors papers by Ji Won Han are co-authored with Top fields papers by Gillian S. Gould are about Top journals papers by Wiesław M. Macek are published in