Olivier Pons

According to our database, Olivier Pons authored at least 12 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Actes de CORIA-TALN 2023. Actes de la 30e Conférence sur le Traitement Automatique des Langues Naturelles, TALN 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

Proceedings of the 20th International Conference on Content-based Multimedia Indexing, 2023

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), 2023

2019

Danse-doigts, a Fine Motor Game.

Jean-Ferdy Susini, Olivier Pons, Nolwenn Guedin, Catherine Thevenot

CoRR, 2019

2011

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, 2011

2010

Improved Matrix Interpretation.

Pierre Courtieu, Gladys Gbedo, Olivier Pons

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

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, 2010

2007

Certification of Automated Termination Proofs.

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2005

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

Proceedings of the COnférence en Recherche d'Infomations et Applications, 2005

2003

Setoids in type theory.

Gilles Barthe, Venanzio Capretta, Olivier Pons

J. Funct. Program., 2003

2001

Type Isomorphisms and Proof Reuse in Dependent Type Theory.

Gilles Barthe, Olivier Pons

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Generalization in Type Theory Based Proof Assistants.

Olivier Pons

Proceedings of the Types for Proofs and Programs, International Workshop, 2000