Statistics
Publications
3
Citations
63
H-Index
3
Active since
1984
Affiliations
Université Paris-Sud(Current)
Julien Forest is an author at Université Paris-Sud specializing in deductive verification, automated proof checking, and verification.
Publications per year
1984–2011
3
3
Automated Certified Proofs with CiME3
Évelyne Contejean, Pierre Courtieu, Julien Forest et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 29 citations · Full text
A3PAT, an approach for certified automated termination proofs
Évelyne Contejean, Andrei Paskevich, Xavier Urbain et al. · 2010 · 23 citations
Lie Algebraic Methods for Charged Particle Beams and Light Optics
Julien Forest · 1984 · 11 citations
1–3 of 3