- 10
- 2
- 2
- 2
- 1
- 1
olivier pons
18
Documents
Researcher identifiers
olivier-pons
-
0000-0001-6423-8630
- IdRef : 183634497
Presentation
Publications
- 2
- 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
- 15
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Danse-doigts, a Fine Motor GameModelling, measurement and control C, 2016
Journal articles
hal-02320660v1
|
Setoids in type theoryJournal of Functional and Logic Programming, 2003, 13, pp.261-293
Journal articles
hal-01124972v1
|
|
Danse-doigts, jeu de motricité fineHandicap 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 CiME3RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia
Conference papers
hal-00777669v1
|
|
Improved Matrix InterpretationSOFSEM'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
|
|
|
A3PAT, an Approach for Certified Automated Termination Proofs2010 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 revisitedExtended 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 proofs6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162
Conference papers
hal-01125312v1
|
|
|
De l'importance des synonymes pour la sélection de passages en question-réponse2ème COnférence en Recherche d'Informations et Applications (CORIA), 2005, Grenoble, France. pp.N/P
Conference papers
hal-00456756v1
|
|
FRASQUES, le système du groupe LIRAtelier EQueR, TALN 05, 2005, Dourdan, France. pp.N/P
Conference papers
hal-00456754v1
|
|
De l'importance des synonymes pour la sélection de passages en question-réponseCORIA'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 FocalAFADL, session outils, Jan 2004, X, France
Conference papers
hal-01125052v1
|
|
Generalization in Type Theory Based Proof AssistantsTYPE 00, Jan 2002, X, France. pp.217-232
Conference papers
hal-01125131v1
|
|
Futur d'une infrastructure de correction automatisée : CodeGradX2016
Preprints, Working Papers, ...
hal-01481937v1
|
A service oriented compiler for operating systems[Research Report] CEDRIC-08-1551, CEDRIC Lab/CNAM. 2008
Reports
hal-01125544v1
|
|
A Distribution and System Compiler for Handling Heterogeneous Computer Site[Research Report] CEDRIC-08-1549, CEDRIC Lab/CNAM. 2008
Reports
hal-01125543v1
|
|
Certification of automated termination proofs[Research Report] CEDRIC-07-1185, CEDRIC Lab/CNAM. 2007
Reports
hal-01125298v1
|
|
|
Graphes de dépendance pour les démonstrateurs de théorèmes intéractifsRR-4052, INRIA. 2000
Reports
inria-00072585v1
|