He made important contributions to Petri net structure theory and to the unfolding approach, initially proposed by Kenneth L. McMillan,[5] and he is the co-author of two books on these subjects.
He has published over 250 peer-reviewed scientific papers[8] in the aforementioned fields, as well as a book on an algorithmic approach to automata theory (coauthored with Michael Blondin.
[1] He has frequently been invited as a speaker at Computer Science conferences and has served as a Chair or a member of various professional Program, Steering and Selection Committees.
[1] Javier Esparza has been awarded an honorary doctorate in Informatics from the Masaryk University of Brno, Czech Republic, in 2009,[16] and he is an elected member of Academia Europaea since 2011.
[17] He received the CONCUR Test-of Time Award 2021 for his paper Reachability Analysis of Pushdown Automata: Application to Model-checking (co-authored with Ahmed Bouajjani and Oded Maler);[18] several best paper awards at conferences;[19][20][21] multiple times a Best Teaching prize at the Technische Universität München;[22] and a Dissertation Prize of Universidad de Zaragoza (1990).