Olivier Pons - RankMe

13 papers B 3C 2Journal 2Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Extracting and Structuring Textbooks for Inclusive Education: A Computer Vision Approach. ICALT Mohamed Amine Lasheb, Olivier Pons, Mohammed Bekkouche, Élise Lincker, Isabelle Barbet, Caroline Huron
2023	—	`conf`	Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires. CORIA-TALN (4) Élise Lincker, Camille Guinaudeau, Olivier Pons, Jérôme Dupire, Isabelle Barbet, Céline Hudelot, Vincent Mousseau, Caroline Huron
2023	—	`conf`	Layout and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction. iTextbooks@AIED Élise Lincker, Olivier Pons, Camille Guinaudeau, Isabelle Barbet, Jérôme Dupire, Céline Hudelot, Vincent Mousseau, Caroline Huron
2023	C	`conf`	Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case. CBMI Élise Lincker, Camille Guinaudeau, Olivier Pons, Jérôme Dupire, Céline Hudelot, Vincent Mousseau, Isabelle Barbet, Caroline Huron
2019	J	`jnl`	Danse-doigts, a Fine Motor Game. CoRR Jean-Ferdy Susini, Olivier Pons, Nolwenn Guedin, Catherine Thevenot
2011	—	`conf`	Automated Certified Proofs with CiME3. RTA Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
2010	C	`conf`	A3PAT, an approach for certified automated termination proofs. PEPM Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest
2010	B	`conf`	Improved Matrix Interpretation. SOFSEM Pierre Courtieu, Gladys Gbedo, Olivier Pons
2007	—	`conf`	Certification of Automated Termination Proofs. FroCoS Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
2005	—	`conf`	De l'importance des synonymes pour la sélection de passages en question-réponse. CORIA Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba, Anne Vilnat, Faïza El Kateb, Gabriel Illouz, Laura Monceaux, Patrick Paroubek, Olivier Pons
2003	J	`jnl`	Setoids in type theory. J. Funct. Program. Gilles Barthe, Venanzio Capretta, Olivier Pons
2001	B	`conf`	Type Isomorphisms and Proof Reuse in Dependent Type Theory. FoSSaCS Gilles Barthe, Olivier Pons
2000	—	`conf`	Generalization in Type Theory Based Proof Assistants. TYPES Olivier Pons