Recherche

Rechercher

Accueil CEDRIC > Laboratoire > Membre > Ponso >

Olivier Pons

Equipe SYS
Mail : olivier.pons

cnam.fr
Tel : 0140272874
Fax : (33)15880
http://cedric.cnam.fr/~pons

Olivier's Tag-Cloud :

Publications

2017

Atelier, Poster ou Démonstration dans une Conférence Nationale

[QP17] C. Queinnec, O. Pons. "Futur d'une infrastructure de correction automatisÃ©e : CodeGradX", ORPHEE Rendez-vous 2017, February 2017, pp.5, Font-Romeu, France,

2016

Revue Internationale avec comité de lecture

[PSG16a] O. Pons, J. Susini, N. Guedin, C. Thevenot. "Danse-doigts, a Fine Motor Game ", AMSE JOURNALS, Lectures on Modelling and Simulation, vol. 77(2), pp. 182-192, 2016

Conférence Nationale avec comité de lecture

[PSG16] O. Pons, J. Susini, N. Guedin, C. Thevenot. "Danse-doigts, jeu de motriciteÌ fine", Handicap 2016, June 2016, pp.6, France,

2011

Conférence Internationale avec comité de lecture

[CCF11a] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Automated Certified Proofs with CiME 3", 22nd Int. Conf. on Rewriting Techniques and Applications, May 2011, Vol. 10, pp.21-30, Series LIPIcs, Novi Sad, Serbie,

Rapport Scientifique

[CCF11] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Automated Certified Proofs with CiME3", Date de dépot: 2011/02/01, Nb pages 11, (Tech. Rep.: CEDRIC-11-2044)

2010

Conférence Internationale avec comité de lecture

[CGP10] P. Courtieu, G. Gbedo, O. Pons. "Improved Matrix Interpretation", SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science, , January 2010, Vol. 5901, pp.12, Series LNCS, Spindleruv Ml{\'y}n, Czech Republic,
[CCF10] E. Contejean, P. Courtieu, J. Forest, A. Paskevich, O. Pons, X. Urbain. "A3PAT, an Approach for Certified Automated Termination Proofs", PEPM'10 Proceedings of the 2010 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, Madrid, Spain, January 2010, pp.10,

2009

Conférence Internationale avec comité de lecture

[CGP09a] P. Courtieu, G. Gbedo, O. Pons. "Matrix interpretations revisited", Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, January 2009, pp.4,

2008

Rapport Scientifique

[ALP08] I. Augé, V. Leligeour, O. Pons. "A Distribution and System Compiler for Handling Heterogeneous Computer Site", Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1549)
[AP08] I. Augé, O. Pons. "A service oriented compiler for operating systems", Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1551)

2007

Conférence Internationale avec comité de lecture

[CCF07a] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Certification of automated termination proofs", 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, January 2007, pp.148-162, Series LNAI 4720,

Rapport Scientifique

[CCF07] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Certification of automated termination proofs", Date de dépot: 2007/01/01, (Tech. Rep.: CEDRIC-07-1185)

2005

Conférence Nationale avec comité de lecture

[GLR05] B. Grau, A. Ligozat, I. Robba, A. Vilnat, F. El Kateb, G. Illouz, L. Monceaux, P. Paroubek, O. Pons. "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, January 2005, pp.71-84,
[GIM05] B. Grau, G. Illouz, L. Monceaux, P. Paroubek, O. Pons, I. Robba, A. Vilnat. "FRASQUES, le systÃ¨me du groupe LIR, LIMSI", TALN'05 (Atelier EQueR), January 2005, pp.85-88,

2004

Conférence Nationale avec comité de lecture

[DJP04] C. Dubois, M. Jaume, O. Pons, V. Prevosto. "L'atelier Focal", AFADL, session outils, January 2004,

2003

Revue Internationale avec comité de lecture

[BCP03] G. Barthe, V. Capretta, O. Pons. "Setoids in type theory", Journal of Functional Programming, vol. 13(2), pp. 261-293, 2003

2002

Conférence Internationale avec comité de lecture

[PON02] O. Pons. "Generalization in Type Theory Based Proof Assistants", TYPE 00, January 2002, Vol. 2277, pp.217-232, Series LNCS,