Olivier Pons
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2001–2025
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICALT | Extracting and Structuring Textbooks for Inclusive Education: A Computer Vision Approach. | Mohamed Amine Lasheb, Olivier Pons, Mohammed Bekkouche, lise Lincker, Isabelle Barbet, Caroline Huron |
| 2023 | AIED | Layout and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction. | lise Lincker, Olivier Pons, Camille Guinaudeau, Isabelle Barbet, Jrme Dupire, Cline Hudelot, Vincent Mousseau, Caroline Huron |
| 2023 | CBMI | Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case. | lise Lincker, Camille Guinaudeau, Olivier Pons, Jrme Dupire, Cline Hudelot, Vincent Mousseau, Isabelle Barbet, Caroline Huron |
| 2010 | PEPM | A3PAT, an approach for certified automated termination proofs. | Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest |
| 2010 | SOFSEM | Improved Matrix Interpretation. | Pierre Courtieu, Gladys Gbedo, Olivier Pons |
| 2001 | FOSSACS | Type Isomorphisms and Proof Reuse in Dependent Type Theory. | Gilles Barthe, Olivier Pons |