Documentation
Français (FR)

Anglais (EN)

olivier pons

23

Documents

Identifiants chercheurs

olivier-pons
0000-0001-6423-8630
IdRef : 183634497

Présentation

Publications

	Danse-doigts, a Fine Motor Game Jean-Ferdy 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

	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 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 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 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 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 Communication dans un congrès hal-04130220v1
	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 Communication dans un congrès hal-04184895v1
	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⟩ Communication dans un congrès hal-04221023v1
	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 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
	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
	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⟩ Communication dans un congrès 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 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
	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 Communication dans un congrès hal-00456754v1
	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⟩ 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

	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 Poster de conférence hal-04410349v1

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

	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 hal-01125543v1
	A service oriented compiler for operating systems Ivan Aug? , Olivier Pons [Research Report] CEDRIC-08-1551, CEDRIC Lab/CNAM. 2008 Rapport 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 hal-01125298v1
	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