Concepedia

Pascal Fontaine

PF

Statistics

Publications

12

Citations

191

H-Index

11

Active since

2005

Affiliations

Université de Lorraine(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Universidade Federal do Rio Grande do Norte

Computer Algorithms for Medicine

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

Pascal Fontaine is an author at Université de Lorraine specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningVerificationFormal MethodsComputer ScienceFormal VerificationProof ComplexityLanguageSemanticsPropulsion

Publications per year

2005–2021

12

Publications

12

Integrating SMT solvers in Rodin

David Déharbe, Pascal Fontaine, Yoann Guyot et al. · Science of Computer Programming · 2014 · 29 citations

Numerical Analysis, Method Of Fundamental Solution, Numerical Computation +2

Computing prime implicants

David Déharbe, Pascal Fontaine, Daniel Le Berre et al. · 2013 · 21 citations

Engineering, Verification, Model Checking +17

A Flexible Proof Format for SMT: a Proposal

Frédéric Besson, Pascal Fontaine, Laurent Théry · HAL (Le Centre pour la Communication Scientifique Directe) · 2011 · 20 citations · Full text

Scalable Fine-Grained Proofs for Formula Processing

Haniel Barbosa, Jasmin Christian Blanchette, Mathias Fleury et al. · Journal of Automated Reasoning · 2019 · 20 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +7

Design and optimization of a permanent magnet axial flux wheel motors for electric vehicle

Noureddine Takorabet, Jean‐Philippe Martin, Farid Meibody‐Tabar et al. · 2012 · 14 citations

Electrical Engineering, Electric Machine, Engineering +11

1–5 of 12