Olivier Pons

Maître de conférences
Équipe : Systèmes sûrs
Bureau : 33.1.15B

2023

Articles de conférence

  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 18e Conférence en Recherche d'Information et Applications, 16e Rencontres Jeunes Chercheurs en RI, 30e Conférence sur le Traitement Automatique des Langues Naturelles, 25e Rencontre des 'Etudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, 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), 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 Intelligent Textbooks 2023, pages 37-53, CEUR-WS, Tokyo, Japan, 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 18e Conférence en Recherche d'Information et Applications -- 16e Rencontres Jeunes Chercheurs en RI -- 30e Conférence sur le Traitement Automatique des Langues Naturelles -- 25e Rencontre des 'Etudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, pages 121-130, ATALA, Paris, France, 2023. www 

Divers

  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

Articles de revue

  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 

Articles de conférence

  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 

Non publié

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

2011

Articles de conférence

  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

Articles de conférence

  1. Courtieu, P.; Gbedo, G. and Pons, O. Improved Matrix Interpretation. In SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science,, 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 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 63-72, ACM, Madrid, Spain, PEPM'10 , 2010. doi  www 

2009

Articles de conférence

  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

Rapports

  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

Articles de conférence

  1. Contejean, E.; Courtieu, P.; Forest, J.; Pons, O. and Urbain, X. Certification of automated termination proofs. In 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, pages 148-162, X, France, LNAI 4720 , 2007. www 

Rapports

  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

Articles de conférence

  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 
  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 CORIA'05 Conférence en Recherche d'Informations et Applications, pages 71-84, Grenoble, France, 2005. doi  www 

2004

Articles de conférence

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

2003

Articles de revue

  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

Articles de conférence

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

2000

Rapports

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