|
 
|
Lionel Rieg
|
ATER Equipe SYS Parti depuis le 30/09/2014 Mail : lionel.rieg  ensiie.fr
http://perso.ens-lyon.fr/lionel.rieg/ |
Publications
2015
- [CBM15] P. Courtieu, B. Bérard, L. Millet, M. Potop-Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain. "[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems", International Journal of Informatics Society, vol. 7(3), pp. 101-114, 2015
- [CRT15a] P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain. "Impossibility of Gathering, a Certification", Information Processing Letters, vol. 115, pp. 447-452, 2015, (doi:10.1016/j.ipl.2014.11.001)
Revue Internationale avec comité de lecture
2014
-
[CRT14]
P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain.
"Impossibility of Gathering, a Certification",
Date de dépot: 2014/05/22,
Nb pages 10,
(Tech. Rep.: CEDRIC-14-3016)
