|
 
|
Cédric Auger
|
Post-doc Laboratoire: UPS (France) |
Publications
2013
- [ABC13] C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain. "Certified Impossibility Results for Byzantine-Tolerant Mobile Robots", International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 2013, Vol. 8255, pp.15, Series LNCS, Osaka, Japon,
- [ABC13a] C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain. "Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots", International Symposium on Distributed Computing (DISC2013), October 2013, Vol. 8205, pp.2, Series LNCS, Jerusalem, Israel,
