Olivier Pons

Maître de conférences
Personal website: http://cedric.cnam.fr/~pons

Publications

2016

Articles de revue

  1. Susini, J-F.; Pons, O.; Guedin, N. and Thevenot, C. Danse-doigts, a Fine Motor Game. In Modelling, measurement and control C, 2016. www 

Articles de conférence

  1. Susini, J-F.; Pons, O.; Guedin, N. and Thevenot, C. Danse-doigts, jeu de motricité fine. In Handicap 2016. La recherche au service de la qualité de vie et de l'autonomie, paris, France, 2016. www 

Non publié

  1. Queinnec, C. and Pons, O. Futur d'une infrastructure de correction automatisée : CodeGradX. , working paper or preprint. www 

2011

Articles de conférence

  1. Contejean, E.; Courtieu, P.; Forest, J.; Pons, O. and Urbain, X. Automated Certified Proofs with CiME3. In RTA - 22nd International Conference on Rewriting Techniques and Applications, Novi Sad, Serbia, 2011. www 

2010

Articles de conférence

  1. Contejean, E.; Courtieu, P.; Forest, J.; Paskevich, A.; Pons, O. and Urbain, X. A3PAT, an Approach for Certified Automated Termination Proofs. In 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 63-72, ACM, Madrid, Spain, PEPM'10 , 2010. doi  www 
  1. Courtieu, P.; Gbedo, G. and Pons, O. Improved Matrix Interpretation. In SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science,, pages 12, Spindleruv Ml'yn, Czech Republic, LNCS 5901, 2010. www 

2009

Articles de conférence

  1. Courtieu, P.; Gbedo, G. and Pons, O. Matrix interpretations revisited. In Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, pages 4, X, France, 2009. www 

2008

Rapports

  1. Aug?, I.; Leligeour, V. and Pons, O. A Distribution and System Compiler for Handling Heterogeneous Computer Site. Technical Report CEDRIC-08-1549, CEDRIC Lab/CNAM, 2008.
  1. Aug?, I. and Pons, O. A service oriented compiler for operating systems. Technical Report CEDRIC-08-1551, CEDRIC Lab/CNAM, 2008.

2007

Articles de conférence

  1. Contejean, E.; Courtieu, P.; Forest, J.; Pons, O. and Urbain, X. Certification of automated termination proofs. In 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, pages 148-162, X, France, LNAI 4720 , 2007. www 

Rapports

  1. Contejean, E.; Courtieu, P.; Forest, J.; Pons, O. and Urbain, X. Certification of automated termination proofs. Technical Report CEDRIC-07-1185, CEDRIC Lab/CNAM, 2007.

2005

Articles de conférence

  1. Grau, B.; Ligozat, A-L.; Robba, I.; Vilnat, A.; El Kateb, F.; Illouz, G.; Monceaux, L.; Paroubek, P. and Pons, O. De l'importance des synonymes pour la sélection de passages en question-réponse. In CORIA'05 Conférence en Recherche d'Informations et Applications, pages 71-84, Grenoble, France, 2005. doi  www 
  1. Grau, B.; Ligozat, A-L.; Robba, I.; Vilnat, A.; Elkateb-Gara, F.; Illouz, G.; Monceaux, L.; Paroubek, P. and Pons, O. De l'importance des synonymes pour la sélection de passages en question-réponse. In 2ème COnférence en Recherche d'Informations et Applications (CORIA), pages N/P, Grenoble, France, 2005. www 
  1. Grau, B.; Illouz, G.; Monceaux, L.; Paroubek, P.; Pons, O.; Robba, I. and Vilnat, A. FRASQUES, le système du groupe LIR. In Atelier EQueR, TALN 05, pages N/P, Dourdan, France, 2005. www 

2004

Articles de conférence

  1. Dubois, C.; Jaume, M.; Pons, O. and Prévosto, V. L'atelier Focal. In AFADL, session outils, X, France, 2004. www 

2003

Articles de revue

  1. Barthe, G.; Capretta, V. and Pons, O. Setoids in type theory. In Journal of Functional and Logic Programming, 13: 261-293, 2003. www 

2002

Articles de conférence

  1. Pons, O. Generalization in Type Theory Based Proof Assistants. In TYPE 00, pages 217-232, X, France, LNCS 2277, 2002. www 

2000

Rapports

  1. Bertot, Y.; Pons, O. and Pottier, L. Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs. Technical Report RR-4052, INRIA, 2000.
Top