Pascal Fontaine
Scholar

Pascal Fontaine

Google Scholar ID: gHe6EF8AAAAJ
LORIA, INRIA, Université de Lorraine, Nancy, France
VerificationDistributed systemsLogicAutomated reasoningSatisfiability modulo theories (SMT)
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,522
 
H-index
20
 
i10-index
32
 
Publications
20
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
8 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Haniel Barbosa
Haniel Barbosa
Universidade Federal de Minas Gerais
Thomas Sturm
Thomas Sturm
Research Director, CNRS
Jasmin Blanchette
Jasmin Blanchette
Ludwig-Maximilians-Universität München
Co-author 6
Co-author 6
Andrew Reynolds
Andrew Reynolds
University of Iowa, Amazon Web Services
Co-author 8
Co-author 8