Olivier Pons
Maître de conférences
Team: Systèmes sûrs
Personal website: http://cedric.cnam.fr/~pons
Office: 33.1.15B
2023
Articles de conférence
- 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
- 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
- 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
- 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
- Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction. In Intelligent Textbooks 2023, pages 37-53, CEUR-WS, Tokyo, Japan, 2023. www
Divers
- MALIN : MAnuels scoLaires INclusifs. , Poster. www
2016
Articles de revue
- Danse-doigts, a Fine Motor Game. In Modelling, measurement and control C, 2016. www
Articles de conférence
- 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é
- Futur d'une infrastructure de correction automatisée : CodeGradX. , working paper or preprint. www
2011
Articles de conférence
- 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
- 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
- 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
- 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
- A service oriented compiler for operating systems. Technical Report CEDRIC-08-1551, CEDRIC Lab/CNAM, 2008.
- A Distribution and System Compiler for Handling Heterogeneous Computer Site. Technical Report CEDRIC-08-1549, CEDRIC Lab/CNAM, 2008.
2007
Articles de conférence
- 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
- Certification of automated termination proofs. Technical Report CEDRIC-07-1185, CEDRIC Lab/CNAM, 2007.
2005
Articles de conférence
- FRASQUES, le système du groupe LIR. In Atelier EQueR, TALN 05, pages N/P, Dourdan, France, 2005. www
- 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
- L'atelier Focal. In AFADL, session outils, X, France, 2004. www
2003
Articles de revue
- Setoids in type theory. In Journal of Functional and Logic Programming, 13: 261-293, 2003. www
2002
Articles de conférence
- Generalization in Type Theory Based Proof Assistants. In TYPE 00, pages 217-232, X, France, LNCS 2277, 2002. www
2000
Rapports
- Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs. Technical Report RR-4052, INRIA, 2000.
- Proof engineering. Technical Report, Cnam, 2000.