J

Joseph Sifakis

Institut polytechnique de Grenoble

ORCID: 0000-0003-2447-7981

315 papers and 14.8k citations.

PubIndex Score73Top 27% · seniorHow it's scored
🌟#7 Current Senior Leader in Formal Methods in Verification
315Publications
14.8kTotal Citations
#7in Formal Methods in Verification
First publication: 1976First senior author: 1977

Top publicationsby citations

Indexing 315 publications…