Recherche

Rechercher

Accueil CEDRIC > Publications > Article > Liste >

Liste des publications

2017

Conférence Internationale avec comité de lecture

[CT17] P. Courtieu, S. Tixeuil. "Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems", FMICS-AVoCS 2017, September 2017, Vol. 10471, pp.165-181, Series LNCS, Turin, Italy, (DOI: 10.1007/978-3-319-67113-0_11)

2016

Conférence Internationale avec comité de lecture

[CUT16a] P. Courtieu, X. Urbain, S. Tixeuil, L. Rieg. "Certified Universal Gathering in {\textbackslash}mathbb {R} {\^{}}2 for Oblivious Mobile Robots", DISC 2016, Distributed Computing 30th International Symposium, September 2016, Vol. 9888, pp.187-200, Series LNCS, Paris, France, (DOI: 10.1007/978-3-662-53426-7_14)
[CUT16] P. Courtieu, X. Urbain, S. Tixeuil, L. Rieg. "Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots", PODC '16: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, July 2016, pp.439-441, Chicago, US, (DOI: 10.1145/2933057.2933070)

Conférences Internationales sans actes

[CP16] P. Courtieu, C. Pit-Claudel. "Company-Coq: Taking Proof General one step closer to a real IDE", CoqPL'16: International Workshop on Coq for Programming Languages, St Petersburgh, United-States, Florida,

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)

2008

Rapport Scientifique

[CFU08a] E. Contejean, J. Forest, X. Urbain. "Deep-Embedded Unification", Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1547)

2007

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)