J

Javier Esparza

Technical University of Munich

ORCID: 0000-0001-9862-4919

364 papers and 9.1k citations.

PubIndex Score49Top 51% · seniorHow it's scored

364Publications

9.1kTotal Citations

First publication: 1989First senior author: 1989

Top publicationsby citations

Checking system properties via integer programming

Stephan Melzer, Javier Esparza|Lecture notes in computer science|1996

Cited by 27

Indexing the rest of 364 publications…