Pons

Olivier Pons

Associate Professor
Team: Systèmes sûrs
Personal website: http://cedric.cnam.fr/~pons
Office: 33.1.15B

2026

Conference Articles

  1. Combe, T.; Deplaude, L.; Hu, T.; Pons, O.; Roig, T. and Verhulst, E. A Modular System for~VR-Based Upper-limb Rehabilitation: Adaptive Visual Feedback and~Structured Kinematic Data Pipeline. In International Baltic Conference on Digital Business and Intelligent Systems, pages 122-136, Springer Nature Switzerland, Tartu (Estonie), France, Communications in Computer and Information Science 3085, 2026. doi  www 
  1. Lasheb, M. A.; Pons, O.; Barbet, I. and Huron, C. Hybrid Vision-Language Extraction for Inclusive and Accessible Educational Content. In Digital Business and Intelligent Systems, pages 234-248, Springer Nature, Tartu, Estonia, Communications in Computer and Information Science (CCIS) 3085, 2026. doi  www 
  1. Frihaoui, A.; Pons, O. and Lima, L. Analyse systématique d'API et scraping adaptatif pour les plateformes de travail numérique. In INFORSID. INFormatique des ORganisations et Systèmes d'Information et de Décision, Toulouse, France, 2026. www 
  1. Combe, T.; Deplaude, L.; Hu, T.; Pons, O.; Roig, T. and Verhulst, E. Un Système de Thérapie Miroir en Réalité Virtuelle. In Conférence Handicap 2026 -- 14ème édition, Paris -- Aubervilliers, France, 2026. www 
  1. Lasheb, M. A. and Pons, O. De l'Archive au Graphe de Connaissances : Post-correction OCR et Extraction d'Entités par LLMs sur les Fonds Historiques du Cnum. In Actes du 44ème Congrès INFORSID, Toulouse, France, 2026. www 
  1. Lasheb, M. A. and Pons, O. DigiCPA: A Human-in-the-Loop Framework for Automating the Inclusive Digitization of Singapore Math. In Proceedings of the 26th IEEE International Conference on Advanced Learning Technologies (ICALT 2026), IEEE Computer Society Conference Publishing Services, Hung Yen, Vietnam, 2026. www 

2025

Journal Articles

  1. Jury, M.; Rohmer, O.; Pons, O. and Huron, C. Disability and competence: Insights from French teachers. In European Journal of Special Needs Education: 1-14, 2025. doi  www 

Conference Articles

  1. Lima, L.; Guimar~aes, N. A. and Pons, O. How platforms structure unequal access to employment opportunities in paid domestic work. A comparison of two online marketplaces in France and Brazil. In International Colloquium on Care, Rights and Inequalities, S~ao Paulo, France, 2025. www 
  1. Di Rosa, A.; Dupire, J. and Pons, O. 'Etat des lieux de la mise en place de l'accessibilité dans les studios de jeux vidéo franc cais. In Colloque Jeunes Chercheuses Jeunes Chercheurs, IFRATH, Paris, France, 2025. www 
  1. Lasheb, M. A.; Pons, O.; Bekkouche, M.; Barbet, I. and Huron, C. De l'image `a la représentation structurée : analyse et modélisation des manuels scolaires. In INFORSID 2025 (INFormatique des ORganisations et Systèmes d'Information et de Décision), Pau, France, 2025. www 
  1. Pacini, L.; Dupire, J.; Barbet, I.; Pons, O. and Huron, C. Modeling transcription process of educational documents for visually impaired students. In AAATE2025, Nicosia, Cyprus, 2025. www 
  1. Lasheb, M. A.; Pons, O.; Bekkouche, M.; Lincker, E.; Barbet, I. and Huron, C. Extracting and Structuring Textbooks for Inclusive Education: A Computer Vision Approach. In 2025 IEEE International Conference on Advanced Learning Technologies (ICALT), pages 199-203, IEEE, Changhua, Taiwan, 2025. doi  www 
  1. Lincker, E.; Pacini, L.; Lasheb, M. A.; Pons, O.; Dupire, J.; Guinaudeau, C.; Hudelot, C.; Mousseau, V.; Barbet, I. and Huron, C. MALIN : MAnuels scoLaires INclusifs. In Actes de l'atelier Intelligence Artificielle générative et 'EDUcation : Enjeux, Défis et Perspectives de Recherche 2025 (IA-'EDU), pages 79-82, ATALA & ARIA, Marseille, France, 2025. www 

2023

Conference Articles

  1. Lincker, '.; Guinaudeau, C.; Pons, O.; Dupire, J.; Hudelot, C.; Mousseau, V.; Barbet, I. and Huron, C. Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case. In 20th International Conference on Content-based Multimedia Indexing (CBMI 2023), pages 71-78, ACM, Orléans, France, 2023. doi  www 
  1. Lincker, E.; Pons, O.; Guinaudeau, C.; Barbet, I.; Dupire, J.; Hudelot, C.; Mousseau, V. and Huron, C. Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction. In Proceedings of the 5h International Workshop on Intelligent Textbooks (iTextbooks 2023) co-located with the 24th International Conference on Artificial Intelligence in Education (AIED 2023), pages 37-53, CEUR-WS, Tokyo, Japan, 2023. www 
  1. Pons, O.; Barbet, I.; Dupire, J.; Grembi, V.; Guinaudeau, C.; Hudelot, C.; Huron, C.; Lincker, E.; Mousseau, V. and Pacini, L. Projet ANR MALIN : MAnuels scoLaires INclusifs. In Actes de CORIA-TALN 2023. Actes de la 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), volume 6 : projets, pages 30-31, ATALA, Paris, France, 2023. www 
  1. Pacini, L.; Dupire, J.; Barbet, I.; Pons, O.; Guinaudeau, C.; Mousseau, V.; Hudelot, C. and Huron, C. Textbook's accessibility for children with dyspraxia and visual disability. In 17th International Conference of the Association for the Advancement of Assistive Technology in Europe, AAATE 2023, Paris, France, 2023. www 
  1. Lincker, E.; Guinaudeau, C.; Pons, O.; Barbet, I.; Dupire, J.; Hudelot, C.; Mousseau, V. and Huron, C. Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires. In Actes de CORIA-TALN 2023. Actes de la 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), volume 4 : articles déj`a soumis ou acceptés en conférence internationale, pages 121-130, ATALA, Paris, France, 2023. www 

Miscellaneous

  1. Lincker, E.; Pacini, L.; Pons, O.; Guinaudeau, C.; Dupire, J.; Hudelot, C.; Mousseau, V.; Barbet, I. and Huron, C. MALIN : MAnuels scoLaires INclusifs. , Poster. www 

2016

Journal Articles

  1. Susini, J-F.; Pons, O.; Guedin, N. and Thevenot, C. Danse-doigts, a Fine Motor Game. In Modelling, measurement and control C, 2016. www 

Conference Articles

  1. Susini, J-F.; Pons, O.; Guedin, N. and Thevenot, C. Danse-doigts, jeu de motricité fine. In Handicap 2016. La recherche au service de la qualité de vie et de l'autonomie, paris, France, 2016. www 

Unpublished

  1. Queinnec, C. and Pons, O. Futur d'une infrastructure de correction automatisée : CodeGradX. , working paper or preprint. www 

2011

Conference Articles

  1. Contejean, E.; Courtieu, P.; Forest, J.; Pons, O. and Urbain, X. Automated Certified Proofs with CiME3. In RTA - 22nd International Conference on Rewriting Techniques and Applications, Novi Sad, Serbia, 2011. www 

2010

Conference Articles

  1. Contejean, E.; Courtieu, P.; Forest, J.; Paskevich, A.; Pons, O. and Urbain, X. A3PAT, an Approach for Certified Automated Termination Proofs. In PEPM'10, pages 63-72, ACM, Madrid, Spain, PEPM'10 , 2010. doi  www 
  1. Courtieu, P.; Gbedo, G. and Pons, O. Improved Matrix Interpretation. In LNCS, pages 12, Spindleruv Ml'yn, Czech Republic, LNCS 5901, 2010. www 

2009

Conference Articles

  1. Courtieu, P.; Gbedo, G. and Pons, O. Matrix interpretations revisited. In Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, pages 4, X, France, 2009. www 

2008

Reports

  1. Aug?, I.; Leligeour, V. and Pons, O. A Distribution and System Compiler for Handling Heterogeneous Computer Site. Technical Report CEDRIC-08-1549, CEDRIC Lab/CNAM, 2008.
  1. Aug?, I. and Pons, O. A service oriented compiler for operating systems. Technical Report CEDRIC-08-1551, CEDRIC Lab/CNAM, 2008.

2007

Conference Articles

  1. Contejean, E.; Courtieu, P.; Forest, J.; Pons, O. and Urbain, X. Certification of automated termination proofs. In LNAI 4720, pages 148-162, X, France, LNAI 4720 , 2007. www 

Reports

  1. Contejean, E.; Courtieu, P.; Forest, J.; Pons, O. and Urbain, X. Certification of automated termination proofs. Technical Report CEDRIC-07-1185, CEDRIC Lab/CNAM, 2007.

2005

Conference Articles

  1. Grau, B.; Illouz, G.; Monceaux, L.; Paroubek, P.; Pons, O.; Robba, I. and Vilnat, A. FRASQUES, le système du groupe LIR. In Atelier EQueR, TALN 05, pages 85-88, Dourdan, France, 2005. www 
  1. Grau, B.; Ligozat, A-L.; Robba, I.; Vilnat, A.; El Kateb, F.; Illouz, G.; Monceaux, L.; Paroubek, P. and Pons, O. De l'importance des synonymes pour la sélection de passages en question-réponse. In COnférence en Recherche d'Informations et Applications - CORIA 2005, 2nd French Information Retrieval Conference, Grenoble, France, March 9-11, 2005., pages 71-84, Grenoble, France, 2005. doi  www 

2004

Conference Articles

  1. Dubois, C.; Jaume, M.; Pons, O. and Prévosto, V. L'atelier Focal. In AFADL, session outils, X, France, 2004. www 

2003

Journal Articles

  1. Barthe, G.; Capretta, V. and Pons, O. Setoids in type theory. In Journal of Functional and Logic Programming, 13: 261-293, 2003. www 

2002

Conference Articles

  1. Pons, O. Generalization in Type Theory Based Proof Assistants. In LNCS, pages 217-232, X, France, LNCS 2277, 2002. www 

2000

Reports

  1. Bertot, Y.; Pons, O. and Pottier, L. Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs. Technical Report RR-4052, INRIA, 2000.
  1. Pons, O. Proof engineering. Technical Report, Cnam, 2000.
Top