Access content directly

olivier pons

24
Documents
Researcher identifiers

Presentation

Publications

Image document

Danse-doigts, a Fine Motor Game

Jean-Ferdy Susini , Olivier Pons , Nolwenn Guedin , Catherine Thevenot
Modelling, measurement and control C, 2016
Journal articles hal-02320660v1

Setoids in type theory

Gilles Barthe , Venanzio Capretta , Olivier Pons
Journal of Functional and Logic Programming, 2003, 13, pp.261-293
Journal articles hal-01124972v1
Image document

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
20th International Conference on Content-based Multimedia Indexing (CBMI 2023), Sep 2023, Orléans, France. ⟨10.1145/3617233.3617239⟩
Conference papers hal-04221023v1
Image document

Textbook's accessibility for children with dyspraxia and visual disability

Léa Pacini , Jérôme Dupire , Isabelle Barbet , Olivier Pons , Camille Guinaudeau
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
Conference papers hal-04410340v1
Image document

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
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 Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Servan, Christophe; Vilnat, Anne, Jun 2023, Paris, France. pp.121-130
Conference papers hal-04130220v1
Image document

Projet ANR MALIN : MAnuels scoLaires INclusifs

Olivier Pons , Isabelle Barbet , Jérôme Dupire , Valérie Grembi , Camille Guinaudeau
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 Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, 2023, Paris, France. pp.30-31
Conference papers hal-04208594v1
Image document

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

Elise Lincker , Olivier Pons , Camille Guinaudeau , Isabelle Barbet , Jérôme Dupire
Intelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53
Conference papers hal-04184895v1
Image document

Danse-doigts, jeu de motricité fine

Jean-Ferdy 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
Conference papers 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
Conference papers hal-00777669v1

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
Conference papers hal-01125706v1
Image document

A3PAT, an Approach for Certified Automated Termination Proofs

Evelyne Contejean , Pierre Courtieu , Julien Forest , Andrei Paskevich , Olivier Pons
2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ACM, Jan 2010, Madrid, Spain. pp.63-72, ⟨10.1145/1706356.1706370⟩
Conference papers inria-00535655v1

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
Conference papers 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
Conference papers hal-01125312v1
Image document

FRASQUES, le système du groupe LIR

Brigitte Grau , Gabriel Illouz , Laura Monceaux , Patrick Paroubek , Olivier Pons
Atelier EQueR, TALN 05, 2005, Dourdan, France. pp.N/P
Conference papers hal-00456754v1
Image document

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
CORIA'05 Conférence en Recherche d'Informations et Applications, Mar 2005, Grenoble, France. pp.71-84, ⟨10.24348/coria.2005.7⟩
Conference papers hal-01125013v1

L'atelier Focal

Catherine Dubois , Mathieu Jaume , Olivier Pons , Virgile Prévosto
AFADL, session outils, Jan 2004, X, France
Conference papers hal-01125052v1

Generalization in Type Theory Based Proof Assistants

Olivier Pons
TYPE 00, Jan 2002, X, France. pp.217-232
Conference papers hal-01125131v1
Image document

MALIN : MAnuels scoLaires INclusifs

Elise Lincker , Léa Pacini , Olivier Pons , Camille Guinaudeau , Jérôme Dupire
Colloque Handiversité 2023 - L'innovation pour le partage, Apr 2023, Gif-sur-Yvette, France
Conference poster hal-04410349v1