2011

Conférence Internationale avec comité de lecture

• [CCF11a

  @inproceedings {
  	CCF11a,
  	title	=	"{Automated Certified Proofs with CiME 3}",
  	author	=	" E. Contejean and P. Courtieu and J. Forest and O. Pons and X. Urbain ",
  	booktitle	=	"{22nd Int. Conf. on Rewriting Techniques and Applications}",
  	year	=	2011,
  	month	=	"May",
  	series	=	"LIPIcs",
  	volume	=	10,
  	pages	=	"21-30",
  	address	=	"Novi Sad, Serbie",
  }

  ] 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

  @techreport {
  	CCF11,
  	title	=	"{Automated Certified Proofs with CiME3}",
  	author	=	"E. Contejean and P. Courtieu and J. Forest and O. Pons and X. Urbain",
  	number	=	"{CEDRIC-11-2044}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{01-02-2011},
  	pages	=	"11",
  }

  ] 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

  @inproceedings {
  	CGP10,
  	title	=	"{Improved Matrix Interpretation}",
  	author	=	" P. Courtieu and G. Gbedo and O. Pons ",
  	booktitle	=	"{SOFSEM'10, Int. Conf. on Current Trends in Theory and Practice of Computer Science, }",
  	year	=	2010,
  	month	=	"January",
  	series	=	"LNCS",
  	volume	=	5901,
  	pages	=	"12",
  	address	=	"Spindleruv Ml{\'y}n, Czech Republic",
  }

  ] 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

  @inproceedings {
  	CCF10,
  	title	=	"{A3PAT, an Approach for Certified Automated Termination Proofs}",
  	author	=	" E. Contejean and P. Courtieu and J. Forest and A. Paskevich and O. Pons and X. Urbain ",
  	booktitle	=	"{PEPM'10 Proceedings of the 2010 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, Madrid, Spain}",
  	year	=	2010,
  	month	=	"January",
  	pages	=	"10",
  	note	=	"{To appear }",
  }

  ] 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

  @inproceedings {
  	CGP09a,
  	title	=	"{Matrix interpretations revisited}",
  	author	=	" P. Courtieu and G. Gbedo and O. Pons ",
  	booktitle	=	"{Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju}",
  	year	=	2009,
  	month	=	"January",
  	pages	=	"4",
  }

  ] 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

  @techreport {
  	ALP08,
  	title	=	"{A Distribution and System Compiler for Handling Heterogeneous Computer Site}",
  	author	=	"I. Aug� and V. Leligeour and O. Pons",
  	number	=	"{CEDRIC-08-1549}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{01-01-2008},
  }

  ] 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

  @techreport {
  	AP08,
  	title	=	"{A service oriented compiler for operating systems}",
  	author	=	"I. Aug� and O. Pons",
  	number	=	"{CEDRIC-08-1551}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{01-01-2008},
  }

  ] 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

  @inproceedings {
  	CCF07a,
  	title	=	"{Certification of automated termination proofs}",
  	author	=	" E. Contejean and P. Courtieu and J. Forest and O. Pons and X. Urbain ",
  	booktitle	=	"{6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"LNAI 4720",
  	pages	=	"148-162",
  }

  ] 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

  @techreport {
  	CCF07,
  	title	=	"{Certification of automated termination proofs}",
  	author	=	"E. Contejean and P. Courtieu and J. Forest and O. Pons and X. Urbain",
  	number	=	"{CEDRIC-07-1185}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{01-01-2007},
  }

  ] 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

  @inproceedings {
  	GLR05,
  	title	=	"{De l'importance des synonymes pour la sélection de passages en question-réponse}",
  	author	=	" B. Grau and A. Ligozat and I. Robba and A. Vilnat and F. El Kateb and G. Illouz and L. Monceaux and P. Paroubek and O. Pons ",
  	booktitle	=	"{CORIA'05 Conférence en Recherche d'Informations et Applications}",
  	year	=	2005,
  	month	=	"January",
  	pages	=	"71-84",
  }

  ] 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

  @inproceedings {
  	GIM05,
  	title	=	"{FRASQUES, le système du groupe LIR, LIMSI}",
  	author	=	" B. Grau and G. Illouz and L. Monceaux and P. Paroubek and O. Pons and I. Robba and A. Vilnat ",
  	booktitle	=	"{TALN'05 (Atelier EQueR)}",
  	year	=	2005,
  	month	=	"January",
  	pages	=	"85-88",
  }

  ] 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

  @inproceedings {
  	DJP04,
  	title	=	"{L'atelier Focal}",
  	author	=	" C. Dubois and M. Jaume and O. Pons and V. Prevosto ",
  	booktitle	=	"{AFADL, session outils}",
  	year	=	2004,
  	month	=	"January",
  }

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

2003

Revue Internationale avec comité de lecture

• [BCP03

  @article {
  	BCP03,
  	title	=	"{Setoids in type theory}",
  	author	=	"G. Barthe and V. Capretta and O. Pons",
  	journal	=	"J. of Functional Programming",
  	year	=	2003,
  	volume	=	13,
  	number	=	2,
  	pages	=	"261-293",
  	note	=	"{ Special Issue on Logical Frameworks and Metalanguages}",
  }

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

2002

Conférence Internationale avec comité de lecture

• [PON02

  @inproceedings {
  	PON02,
  	title	=	"{Generalization in Type Theory Based Proof Assistants}",
  	author	=	" O. Pons ",
  	booktitle	=	"{TYPE 00}",
  	year	=	2002,
  	month	=	"January",
  	series	=	"LNCS",
  	volume	=	2277,
  	pages	=	"217-232",
  }

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