Generalization in Type Theory Based Proof Assistants. - Olivier Pons (TYPES, 2000)

Type Isomorphisms and Proof Reuse in Dependent Type Theory. - Gilles Barthe; Olivier Pons (FoSSaCS, 2001)

Setoids in type theory. - Gilles Barthe; Venanzio Capretta; Olivier Pons (J. Funct. Program., 2003)

De l'importance des synonymes pour la sélection de passages en question-réponse. - Brigitte Grau; Anne-Laure Ligozat; Isabelle Robba; Anne Vilnat; Faïza El Kateb; Gabriel Illouz; Laura Monceaux; Patrick Paroubek; Olivier Pons (CORIA, 2005)

Certification of Automated Termination Proofs. - Evelyne Contejean; Pierre Courtieu; Julien Forest; Olivier Pons; Xavier Urbain (FroCoS, 2007)

A3PAT, an approach for certified automated termination proofs. - Evelyne Contejean; Andrey Paskevich; Xavier Urbain; Pierre Courtieu; Olivier Pons; Julien Forest (PEPM, 2010)

Improved Matrix Interpretation. - Pierre Courtieu; Gladys Gbedo; Olivier Pons (SOFSEM, 2010)

Automated Certified Proofs with CiME3. - Evelyne Contejean; Pierre Courtieu; Julien Forest; Olivier Pons; Xavier Urbain (RTA, 2011)

Danse-doigts, a Fine Motor Game. - Jean-Ferdy Susini; Olivier Pons; Nolwenn Guedin; Catherine Thevenot (CoRR, 2019)

Layout and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction. - Élise Lincker; Olivier Pons; Camille Guinaudeau; Isabelle Barbet; Jérôme Dupire; Céline Hudelot; Vincent Mousseau; Caroline Huron (iTextbooks@AIED, 2023)

Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case. - Élise Lincker; Camille Guinaudeau; Olivier Pons; Jérôme Dupire; Céline Hudelot; Vincent Mousseau; Isabelle Barbet; Caroline Huron (CBMI, 2023)

Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires. - Élise Lincker; Camille Guinaudeau; Olivier Pons; Jérôme Dupire; Isabelle Barbet; Céline Hudelot; Vincent Mousseau; Caroline Huron (CORIA-TALN (4), 2023)