Javier Esparza
Informatiker
Geboren:
1964
Hat mitgewirkt an:
-
45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
-
Efficient algorithms for alternating pushdown systems : application to certificate chain discovery with threshold subjects
-
Reachability analysis of multithreaded software with asynchronous communication
-
Abstraction refinement with craig interpolation and symbolic pushdown systems