
Javier Esparza
Use attributes for filter ! | |
Gender | Male |
---|---|
Born | Pamplona |
Spain | |
H index | 56 |
Affiliations | Technical University Of Munich |
Citations | 12,710 |
Education | University of Hildesheim |
University of Zaragoza | |
Books | Unfoldings: A Partial-Order Approach to Model Checking |
Pamplona, Spain | |
University of Hildesheim | |
Publications | scholar.google.com |
Edited works | Foundations of Software... |
Interests | Verification |
Automata Theory | |
Concurrency Theory | |
Date of Reg. | |
Date of Upd. | |
ID | 3326949 |
Javier Esparza Life story
Francisco Javier Esparza Estaun is a Spanish computer scientist. He is a professor at the Technische Universität München.