Thomas Bourgeat
Scholar

Thomas Bourgeat

Google Scholar ID: TfqlAzIAAAAJ
EPFL
Computer ArchitectureProgramming LanguagesInteractive Theorem Proving
Citations & Impact
All-time
Citations
827
 
H-index
14
 
i10-index
15
 
Publications
20
 
Co-authors
0