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

Mémoire de HDR

• [Urb10

  @misc {
  	Urb10,
  	title	=	"{Preuve automatique : techniques, outils et certification}",
  	author	=	"X. Urbain",
  	year	=	2010,
  	pages	=	"77",
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  	note	=	"{Post-Doctoral Degree (Phd students supervisor) Université Paris-Sud XI, centre d'Orsay, France Rapporteur 1: Nachum Dershowitz Rapporteur 2: Jürgen Giesl Rapporteur 3: Jean Goubault-Larrecq Membre du jury: Claude Marché Membre du jury: Jean-François Monin Membre du jury: Brigitte Rozoy}",
  }

  ] X. Urbain - Preuve automatique : techniques, outils et certification, Soutenue le: 29 November 2010, pp. 77,

2007

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)