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

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

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

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

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

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

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

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

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

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

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

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