olivier pons

31
Documents
Identifiants chercheurs

Présentation

Publications

4
4
3
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
11
10
9
7
7
7
7
6
5
4
4
4
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
15
6
2
2
2
1
1
1
1
8
1
1
18
8
4
1

Publications

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
Deposit thumbnail

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
Deposit thumbnail

MALIN : MAnuels scoLaires INclusifs

Elise Lincker , Léa Pacini , Mohamed Amine Lasheb , Olivier Pons , Jérôme Dupire et 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
Deposit thumbnail

Extracting and Structuring Textbooks for Inclusive Education: A Computer Vision Approach

Mohamed Amine Lasheb , Olivier Pons , Mohammed Bekkouche , Elise Lincker , Isabelle Barbet et al.

The 25th IEEE International Conference on Advanced Learning Technologies (ICALT 2025), 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

É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
Deposit thumbnail

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
Deposit thumbnail

Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction

Elise Lincker , Olivier Pons , Camille Guinaudeau , Isabelle Barbet , Jérôme Dupire et al.

Intelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53

Communication dans un congrès hal-04184895v1
Deposit thumbnail

Projet ANR MALIN : MAnuels scoLaires INclusifs

Olivier Pons , Isabelle Barbet , Jérôme Dupire , Valérie Grembi , Camille Guinaudeau et 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
Deposit thumbnail

Textbook's accessibility for children with dyspraxia and visual disability

Léa Pacini , Jérôme Dupire , Isabelle Barbet , Olivier Pons , Camille Guinaudeau et 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
Deposit thumbnail

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 Dupire et 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
Deposit thumbnail

Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case

Élise Lincker , Camille Guinaudeau , Olivier Pons , Jérôme Dupire , Céline Hudelot et 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
Deposit thumbnail

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
Deposit thumbnail

A3PAT, an Approach for Certified Automated Termination Proofs

Evelyne Contejean , Pierre Courtieu , Julien Forest , Andrei Paskevich , Olivier Pons et 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
Deposit thumbnail

FRASQUES, le système du groupe LIR

Brigitte Grau , Gabriel Illouz , Laura Monceaux , Patrick Paroubek , Olivier Pons et al.

Atelier EQueR, TALN 05, 2005, Dourdan, France. pp.N/P

Communication dans un congrès hal-00456754v1
Deposit thumbnail

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 Kateb et 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

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
Deposit thumbnail

MALIN : MAnuels scoLaires INclusifs

Elise Lincker , Léa Pacini , Olivier Pons , Camille Guinaudeau , Jérôme Dupire et al.

Colloque Handiversité 2023 - L'innovation pour le partage, Apr 2023, Gif-sur-Yvette, France

Poster de conférence hal-04410349v1