Skip to Main content

Researcher identifiers

Social networks

    Number of documents

    18

    Curriculum Vitae - Olivier Pons


    Journal articles2 documents

    • Jean-Ferdy Susini, Olivier Pons, Nolwenn Guedin, Catherine Thevenot. Danse-doigts, a Fine Motor Game. Modelling, measurement and control C, AMSE, 2016. ⟨hal-02320660⟩
    • Gilles Barthe, Venanzio Capretta, Olivier Pons. Setoids in type theory. Journal of Functional and Logic Programming, Westf§lische Wilhelms-Universit§t M?nster, 2003, 13, pp.261-293. ⟨hal-01124972⟩

    Conference papers11 documents

    • Jean-Ferdy Susini, Olivier Pons, Nolwenn Guedin, Catherine Thevenot. Danse-doigts, jeu de motricité fine. Handicap 2016. La recherche au service de la qualité de vie et de l’autonomie, Jun 2016, paris, France. ⟨hal-02321088⟩
    • Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. Automated Certified Proofs with CiME3. RTA - 22nd International Conference on Rewriting Techniques and Applications, 2011, Novi Sad, Serbia. ⟨hal-00777669⟩
    • Pierre Courtieu, Gladys Gbedo, Olivier Pons. Improved Matrix Interpretation. SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science,, Jan 2010, Spindleruv Mln, Czech Republic. pp.12. ⟨hal-01125706⟩
    • Evelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons, et al.. A3PAT, an Approach for Certified Automated Termination Proofs. 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ACM, Jan 2010, Madrid, Spain. pp.63-72, ⟨10.1145/1706356.1706370⟩. ⟨inria-00535655⟩
    • Pierre Courtieu, Gladys Gbedo, Olivier Pons. Matrix interpretations revisited. Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, Jan 2009, X, France. pp.4. ⟨hal-01125629⟩
    • Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. Certification of automated termination proofs. 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, Jan 2007, X, France. pp.148-162. ⟨hal-01125312⟩
    • Brigitte Grau, Gabriel Illouz, Laura Monceaux, Patrick Paroubek, Olivier Pons, et al.. FRASQUES, le système du groupe LIR. Atelier EQueR, TALN 05, 2005, Dourdan, France. pp.N/P. ⟨hal-00456754⟩
    • Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba, Anne Vilnat, Faïza Elkateb-Gara, et al.. De l'importance des synonymes pour la sélection de passages en question-réponse. 2ème COnférence en Recherche d'Informations et Applications (CORIA), 2005, Grenoble, France. pp.N/P. ⟨hal-00456756⟩
    • Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba, Anne Vilnat, Faïza El Kateb, et al.. De l'importance des synonymes pour la sélection de passages en question-réponse. CORIA'05 Conférence en Recherche d'Informations et Applications, Mar 2005, Grenoble, France. pp.71-84, ⟨10.24348/coria.2005.7⟩. ⟨hal-01125013⟩
    • Catherine Dubois, Mathieu Jaume, Olivier Pons, Virgile Prévosto. L'atelier Focal. AFADL, session outils, Jan 2004, X, France. ⟨hal-01125052⟩
    • Olivier Pons. Generalization in Type Theory Based Proof Assistants. TYPE 00, Jan 2002, X, France. pp.217-232. ⟨hal-01125131⟩

    Preprints, Working Papers, ...1 document

    • Christian Queinnec, Olivier Pons. Futur d'une infrastructure de correction automatisée : CodeGradX. 2016. ⟨hal-01481937⟩

    Reports4 documents

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