olivier pons

Identifiants chercheurs

IdHAL :

olivier-pons

ORCID :

0000-0001-6423-8630

IdRef :

183634497

Présentation

Publications

Article dans une revue (3)

Disability and competence: Insights from French teachers Mickaël Jury,Odile Rohmer,Olivier Pons,Caroline Huron European Journal of Special Needs Education, 2025, pp.1-14. ⟨10.1080/08856257.2025.2607050⟩ Article dans une revue hal-05446041v1
Danse-doigts, a Fine Motor Game Jean-Ferdinand Susini,Olivier Pons,Nolwenn Guedin,Catherine Thevenot Modelling, measurement and control C, 2016 Article dans une revue hal-02320660v1
Setoids in type theory Gilles Barthe,Venanzio Capretta,Olivier Pons Journal of Functional and Logic Programming, 2003, 13, pp.261-293 Article dans une revue hal-01124972v1

Communication dans un congrès (21)

MALIN : MAnuels scoLaires INclusifs Elise Lincker,Léa Pacini,Mohamed Amine Lasheb,Olivier Pons,Jérôme Dupireet al. 20e Conférence en Recherche d’Information et Applications (CORIA), 32ème Conférence sur le Traitement Automatique des Langues Naturelles (TALN), 27ème Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RECITAL), 18e Rencontres Jeunes Chercheurs en RI (RJCRI), Jun 2025, Marseille, France. pp.79-82 Communication dans un congrès hal-05334655v1
Extracting and Structuring Textbooks for Inclusive Education: A Computer Vision Approach Mohamed Amine Lasheb,Olivier Pons,Mohammed Bekkouche,Elise Lincker,Isabelle Barbetet al. ICALT 2025 - The 25th IEEE International Conference on Advanced Learning Technologies, IEEE Technical Community on Learning Technology (TCLT), Jul 2025, Changhua, Taiwan. pp.199-203, ⟨10.1109/ICALT64023.2025.00062⟩ Communication dans un congrès hal-05206586v1
Modeling transcription process of educational documents for visually impaired students Léa Pacini,Jérôme Dupire,Isabelle Barbet,Olivier Pons,Caroline Huron AAATE2025, Sep 2025, Nicosia, Cyprus Communication dans un congrès hal-05042750v1
De l'image à la représentation structurée : analyse et modélisation des manuels scolaires Mohamed Amine Lasheb,Olivier Pons,Mohammed Bekkouche,Isabelle Barbet,Caroline Huron INFORSID 2025 (INFormatique des ORganisations et Systèmes d'Information et de Décision), Jun 2025, Pau, France Communication dans un congrès hal-05106133v1
État des lieux de la mise en place de l'accessibilité dans les studios de jeux vidéo français Allan Di Rosa,Jérôme Dupire,Olivier Pons Colloque Jeunes Chercheuses Jeunes Chercheurs, IFRATH, Jun 2025, Paris, France Communication dans un congrès hal-05107760v1
How platforms structure unequal access to employment opportunities in paid domestic work. A comparison of two online marketplaces in France and Brazil Léa Lima,Nadya Araujo Guimarães,Olivier Pons International Colloquium on Care, Rights and Inequalities, Apr 2025, São Paulo, France Communication dans un congrès hal-05363870v1
Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction Elise Lincker,Olivier Pons,Camille Guinaudeau,Isabelle Barbet,Jérôme Dupireet al. Intelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53 Communication dans un congrès hal-04184895v1
Projet ANR MALIN : MAnuels scoLaires INclusifs Olivier Pons,Isabelle Barbet,Jérôme Dupire,Valérie Grembi,Camille Guinaudeauet al. CORIA-TALN 2023 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2023, Paris, France. pp.30-31 Communication dans un congrès hal-04208594v1
Textbook's accessibility for children with dyspraxia and visual disability Léa Pacini,Jérôme Dupire,Isabelle Barbet,Olivier Pons,Camille Guinaudeauet al. 17th International Conference of the Association for the Advancement of Assistive Technology in Europe, AAATE 2023, Association for the Advancement of Assistive Technology in Europe, Aug 2023, Paris, France Communication dans un congrès hal-04410340v1
Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires Elise Lincker,Camille Guinaudeau,Olivier Pons,Isabelle Barbet,Jérôme Dupireet al. CORIA-TALN 2023 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Servan, Christophe; Vilnat, Anne, Jun 2023, Paris, France. pp.121-130 Communication dans un congrès hal-04130220v1
Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case Élise Lincker,Camille Guinaudeau,Olivier Pons,Jérôme Dupire,Céline Hudelotet al. 20th International Conference on Content-based Multimedia Indexing (CBMI 2023), Sep 2023, Orléans, France. pp.71 - 78, ⟨10.1145/3617233.3617239⟩ Communication dans un congrès hal-04221023v1
Danse-doigts, jeu de motricité fine Jean-Ferdinand Susini,Olivier Pons,Nolwenn Guedin,Catherine Thevenot Handicap 2016. La recherche au service de la qualité de vie et de l’autonomie, Jun 2016, paris, France Communication dans un congrès hal-02321088v1
Automated Certified Proofs with CiME3 Evelyne Contejean,Pierre Courtieu,Julien Forest,Olivier Pons,Xavier Urbain RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia Communication dans un congrès hal-00777669v1
A3PAT, an Approach for Certified Automated Termination Proofs Evelyne Contejean,Pierre Courtieu,Julien Forest,Andrei Paskevich,Olivier Ponset al. 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ACM, Jan 2010, Madrid, Spain. pp.63-72, ⟨10.1145/1706356.1706370⟩ Communication dans un congrès inria-00535655v1
Improved Matrix Interpretation Pierre Courtieu,Gladys Gbedo,Olivier Pons SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science,, Jan 2010, Spindleruv Ml{\'y}n, Czech Republic. pp.12 Communication dans un congrès hal-01125706v1
Matrix interpretations revisited Pierre Courtieu,Gladys Gbedo,Olivier Pons Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, Jan 2009, X, France. pp.4 Communication dans un congrès hal-01125629v1
Certification of automated termination proofs Evelyne Contejean,Pierre Courtieu,Julien Forest,Olivier Pons,Xavier Urbain 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162 Communication dans un congrès hal-01125312v1
De l'importance des synonymes pour la sélection de passages en question-réponse Brigitte Grau,Anne-Laure Ligozat,Isabelle Robba,Anne Vilnat,Faïza El Katebet al. CORIA'05 Conférence en Recherche d'Informations et Applications, Mar 2005, Grenoble, France. pp.71-84, ⟨10.24348/coria.2005.7⟩ Communication dans un congrès hal-01125013v1
FRASQUES, le système du groupe LIR Brigitte Grau,Gabriel Illouz,Laura Monceaux,Patrick Paroubek,Olivier Ponset al. Atelier EQueR, TALN 05, Jun 2005, Dourdan, France. pp.85-88 Communication dans un congrès hal-00456754v1
L'atelier Focal Catherine Dubois,Mathieu Jaume,Olivier Pons,Virgile Prévosto AFADL, session outils, Jan 2004, X, France Communication dans un congrès hal-01125052v1
Generalization in Type Theory Based Proof Assistants Olivier Pons TYPE 00, Jan 2002, X, France. pp.217-232 Communication dans un congrès hal-01125131v1

Poster de conférence (1)

MALIN : MAnuels scoLaires INclusifs Elise Lincker,Léa Pacini,Olivier Pons,Camille Guinaudeau,Jérôme Dupireet al. Colloque Handiversité 2023 - L'innovation pour le partage, Apr 2023, Gif-sur-Yvette, France Poster de conférence hal-04410349v1

Pré-publication, Document de travail (1)

Futur d'une infrastructure de correction automatisée : CodeGradX Christian Queinnec,Olivier Pons 2016 Pré-publication, Document de travail hal-01481937v1

Rapport (5)

A Distribution and System Compiler for Handling Heterogeneous Computer Site Ivan Aug?,Vincent Leligeour,Olivier Pons [Research Report] CEDRIC-08-1549, CEDRIC Lab/CNAM. 2008 Rapport (rapport de recherche) hal-01125543v1
A service oriented compiler for operating systems Ivan Aug?,Olivier Pons [Research Report] CEDRIC-08-1551, CEDRIC Lab/CNAM. 2008 Rapport (rapport de recherche) hal-01125544v1
Certification of automated termination proofs Evelyne Contejean,Pierre Courtieu,Julien Forest,Olivier Pons,Xavier Urbain [Research Report] CEDRIC-07-1185, CEDRIC Lab/CNAM. 2007 Rapport (rapport de recherche) hal-01125298v1
Proof engineering Olivier Pons Cnam. 2000 Rapport hal-04570164v1
Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs Yves Bertot,Olivier Pons,Loïc Pottier RR-4052, INRIA. 2000 Rapport inria-00072585v1