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 (Proceedings of the Fifth International Workshop on Intelligent Textbooks 2023 co-located with the 24th International Conference on Artificial Intelligence in Education (AIED 2023), Tokyo, Japan, July 3, 2023, 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 (20th International Conference on Content-based Multimedia Indexing, CBMI 2023, Orleans, France, September 20-22, 2023, 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 (Actes de CORIA-TALN 2023. Actes de la 30e Conférence sur le Traitement Automatique des Langues Naturelles, TALN 2023 - Volume 4 : articles déjà soumis ou acceptés en conférence internationale, Paris, France, June 5-9, 2023, 2023)

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

Automated Certified Proofs with CiME3 - Evelyne Contejean; Pierre Courtieu; Julien Forest; Olivier Pons; Xavier Urbain (Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, 2011)

A3PAT, an approach for certified automated termination proofs - Evelyne Contejean; Andrey Paskevich; Xavier Urbain; Pierre Courtieu; Olivier Pons; Julien Forest (Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, 2010)

Improved Matrix Interpretation - Pierre Courtieu; Gladys Gbedo; Olivier Pons (SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, 2010)

Certification of Automated Termination Proofs - Evelyne Contejean; Pierre Courtieu; Julien Forest; Olivier Pons; Xavier Urbain (Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, 2007)

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 (COnférence en Recherche d'Infomations et Applications - CORIA 2005, 2nd French Information Retrieval Conference, Grenoble, France, March 9-11, 2005. Proceedings, 2005)

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

Type Isomorphisms and Proof Reuse in Dependent Type Theory - Gilles Barthe; Olivier Pons (Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001)

Generalization in Type Theory Based Proof Assistants - Olivier Pons (Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers, 2000)