Get started
Author

Olivier Pons

Setoids in type theory
2003 · GILLES BARTHE, VENANZIO CAPRETTA, et al. · Journal of Functional Programming · 101
PDF
Certification of Automated Termination Proofs
2007 · Evelyne Contejean, Pierre Courtieu, et al. · Lecture notes in computer science · 48
Automated Certified Proofs with CiME3
2011 · Contejean, Évelyne, Courtieu, Pierre, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 42
PDF
Type Isomorphisms and Proof Reuse in Dependent Type Theory
2001 · Gilles Barthe, Olivier Pons · Lecture notes in computer science · 34
PDF
A3PAT, an approach for certified automated termination proofs
2010 · Évelyne Contejean, Andrei Paskevich, et al. · ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) · 26
Improved Matrix Interpretation
2009 · Pierre Courtieu, Gladys Gbedo, et al. · Lecture notes in computer science · 19
FRASQUES, le système du groupe LIR, LIMSI
2005 · Brigitte Grau, Gabriel Illouz, et al. · HAL · 5
Generalization in Type Theory Based Proof Assistants
2002 · Olivier Pons · Lecture notes in computer science · 4
Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case
2023 · Elise Lincker, Camille Guinaudeau, et al. · International Workshop on Content-Based Multimedia Indexing (CBMI) · 3
PDF
Extracting and Structuring Textbooks for Inclusive Education: A Computer Vision Approach
2025 · Mohamed Amine Lasheb, Olivier Pons, et al. · IEEE International Conference on Advanced Learning Technologies (ICALT) · 2
Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction
2023 · Lincker, Elise, Pons, Olivier, et al. · HAL · 2
PDF
Disability and competence: insights from French teachers
2025 · Mickaël Jury, Odile Rohmer, et al. · European Journal of Special Needs Education · 1
Modeling Transcription Task of Educational Documents for Visually Impaired Students
2025 · Lea Pacini, Jérôme Dupire, et al. · Springer eBooks · 1
Leakage-Aware Evaluation of Retrieval-Augmented Rare Disease Diagnosis over Biomedical Linked Data
2026 · Larbi, Mohammed Achraf, Mezrar, Samiha, et al. · HAL
Benchmarking Twelve Prompting Strategies for LLM-Based Rare Disease Diagnosis
2026 · Larbi, Mohammed Achraf, Mezrar, Samiha, et al. · HAL
DigiCPA: A Human-in-the-Loop Framework for Automating the Inclusive Digitization of Singapore Math
2026 · Mohamed Amine Lasheb, Olivier Pons · IEEE International Conference on Advanced Learning Technologies (ICALT)
Un Système de Thérapie Miroir en Réalité Virtuelle
2026 · Combe, Théo, Deplaude, Lucie, et al. · HAL
Analyse systématique d'API et scraping adaptatif pour les plateformes de travail numérique
2026 · Frihaoui, Ayoub, Pons, Olivier, et al. · HAL
De l'Archive au Graphe de Connaissances : Post-correction OCR et Extraction d'Entités par LLMs sur les Fonds Historiques du Cnum
2026 · Lasheb, Mohamed Amine, Pons, Olivier · HAL
Hybrid Vision-Language Extraction for Inclusive and Accessible Educational Content
2026 · Mohamed Amine Lasheb, Olivier Pons, et al. · Communications in computer and information science
Constraint-Aware Data Collection and Observational Analysis of Digital Labor Platforms
2026 · Ayoub Frihaoui, Olivier Pons, et al. · Communications in computer and information science
A Modular System for VR-Based Upper-limb Rehabilitation: Adaptive Visual Feedback and Structured Kinematic Data Pipeline
2026 · Théo Combe, Lucie Deplaude, et al. · Communications in computer and information science
Modeling transcription process of educational documents for visually impaired students
2025 · Pacini, Léa, Dupire, Jérôme, et al. · HAL
MALIN : MAnuels scoLaires INclusifs
2025 · Lincker, Elise, Pacini, Léa, et al. · HAL
PDF
État des lieux de la mise en place de l'accessibilité dans les studios de jeux vidéo français
2025 · Di Rosa, Allan, Dupire, Jérôme, et al. · HAL
Works count: 45
Citation count: 288
H-index: 6
I10-index: 6
Year
Topic
Type