Scholar
Pascal Fontaine
Google Scholar ID: gHe6EF8AAAAJ
LORIA, INRIA, Université de Lorraine, Nancy, France
Verification
Distributed systems
Logic
Automated reasoning
Satisfiability modulo theories (SMT)
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,522
H-index
20
i10-index
32
Publications
20
Co-authors
8
list available
Co-authors
4 total
Haniel Barbosa
Universidade Federal de Minas Gerais
Thomas Sturm
Research Director, CNRS
Jasmin Blanchette
Ludwig-Maximilians-Universität München
Andrew Reynolds
University of Iowa, Amazon Web Services
