Curriculum Vitae - Olivier Pons

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. Automated Certified Proofs with CiME3. RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia. ⟨hal-00777669⟩

Evelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons, et al.. A3PAT, an Approach for Certified Automated Termination Proofs. 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ACM, Jan 2010, Madrid, Spain. pp.63-72, ⟨10.1145/1706356.1706370⟩. ⟨inria-00535655⟩

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. Certification of automated termination proofs. 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162. ⟨hal-01125312⟩

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. Certification of automated termination proofs. [Research Report] CEDRIC-07-1185, CEDRIC Lab/CNAM. 2007. ⟨hal-01125298⟩