Pons

Olivier Pons

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

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. 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. 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. 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. 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 
  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 

2023

Conference Articles

  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. 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. 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 
  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 

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. Courtieu, P.; Gbedo, G. and Pons, O. Improved Matrix Interpretation. In LNCS, pages 12, Spindleruv Ml'yn, Czech Republic, LNCS 5901, 2010. www 
  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 

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.; 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 
  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 N/P, Dourdan, France, 2005. 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