Top1000 Scholar

Scholarly Index

François Pottier

Institut national de recherche en sciences et technologies du numérique; 1,971 total citations; 108 total publications; best world rank #30

Institut national de recherche en sciences et technologies du numérique

1,971Total citations
108Total publications
24H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime136FR 598.00
Formal Methods in VerificationLifetime382FR 1796.31
Security and Verification in ComputingLifetime252FR 496.32
Logic, programming, and type systems2021-202530FR 392.86
Formal Methods in Verification2021-2025249FR 1080.71