Pascal Fontaine

Université de Lorraine

H-index: 20

Europe-France

About Pascal Fontaine

Pascal Fontaine, With an exceptional h-index of 20 and a recent h-index of 14 (since 2020), a distinguished researcher at Université de Lorraine, specializes in the field of Verification, Distributed systems, Logic, Automated reasoning, Satisfiability modulo theories (SMT).

His recent articles reflect a diverse array of research interests and contributions to the field:

Scalable fine-grained proofs for formula processing

Machine learning for instance selection in SMT solving

Politeness and combination methods for theories with bridging functions

Pascal Fontaine Information

University	Université de Lorraine
Position	LORIA INRIA France
Citations(all)	1321
Citations(since 2020)	573
Cited By	1026
hIndex(all)	20
hIndex(since 2020)	14
i10Index(all)	31
i10Index(since 2020)	18
Email	Access Email
University Profile Page	Université de Lorraine
Google Scholar	View Google Scholar Profile