{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:45:11Z","timestamp":1750308311880,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,25]],"date-time":"2016-07-25T00:00:00Z","timestamp":1469404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,25]]},"DOI":"10.1145\/2933057.2933070","type":"proceedings-article","created":{"date-parts":[[2016,7,26]],"date-time":"2016-07-26T20:07:42Z","timestamp":1469563662000},"page":"439-441","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Brief Announcement"],"prefix":"10.1145","author":[{"given":"Pierre","family":"Courtieu","sequence":"first","affiliation":[{"name":"C\u00c9DRIC, Conservatoire des Arts et M\u00e9tiers, Paris, France"}]},{"given":"Lionel","family":"Rieg","sequence":"additional","affiliation":[{"name":"Coll\u00e8ge de France, Paris, France"}]},{"given":"S\u00e9bastien","family":"Tixeuil","sequence":"additional","affiliation":[{"name":"UPMC Sorbonne Universit\u00e9s, LIP6-CNRS 7606, PAris, France"}]},{"given":"Xavier","family":"Urbain","sequence":"additional","affiliation":[{"name":"LRI, CNRS UMR 8623, Universit\u00e9 Paris-Sud, Universit\u00e9e Paris-Saclay, Orsay, France"}]}],"member":"320","published-online":{"date-parts":[[2016,7,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2015.11"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"C.\n      Auger Z.\n      Bouzid P.\n      Courtieu S.\n      Tixeuil and \n      X.\n      Urbain\n  . \n  Certified Impossibility Results for Byzantine-Tolerant Mobile Robots\n  . In T. Higashino Y. Katayama T. Masuzawa M. Potop-Butucaru and M. Yamashita editors Stabilization Safety and Security of Distributed Systems - 15th International Symposium (SSS \n  2013\n  ) volume \n  8255\n   of \n  Lecture Notes in Computer Science pages \n  178\n  --\n  186 Osaka Japan Nov. 2013. \n  Springer-Verlag\n  .  C. Auger Z. Bouzid P. Courtieu S. Tixeuil and X. Urbain. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. In T. Higashino Y. Katayama T. Masuzawa M. Potop-Butucaru and M. Yamashita editors Stabilization Safety and Security of Distributed Systems - 15th International Symposium (SSS 2013) volume 8255 of Lecture Notes in Computer Science pages 178--186 Osaka Japan Nov. 2013. Springer-Verlag.","DOI":"10.1007\/978-3-319-03089-0_13"},{"issue":"3","key":"e_1_3_2_1_3_1","first-page":"101","volume":"7","author":"B\u00e9rard B.","year":"2015","unstructured":"B. B\u00e9rard , P. Courtieu , L. Millet , M. Potop-Butucaru , L. Rieg , N. Sznajder , S. Tixeuil , and X. Urbain . Formal Methods for Mobile Robots: Current Results and Open Problems. International Journal of Informatics Society , 7 ( 3 ): 101 -- 114 , 2015 . Invited Paper. B. B\u00e9rard, P. Courtieu, L. Millet, M. Potop-Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, and X. Urbain. Formal Methods for Mobile Robots: Current Results and Open Problems. International Journal of Informatics Society, 7(3):101--114, 2015. Invited Paper.","journal-title":"International Journal of Informatics Society"},{"key":"e_1_3_2_1_4_1","volume-title":"Formal verification of Mobile Robot Protocols. phDistributed Computing","author":"B\u00e9rard B.","year":"2016","unstructured":"B. B\u00e9rard , P. Lafourcade , L. Millet , M. Potop-Butucaru , Y. Thierry-Mieg , and S. Tixeuil . Formal verification of Mobile Robot Protocols. phDistributed Computing , 2016 . B. B\u00e9rard, P. Lafourcade, L. Millet, M. Potop-Butucaru, Y. Thierry-Mieg, and S. Tixeuil. Formal verification of Mobile Robot Protocols. phDistributed Computing, 2016."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDSW.2014.34"},{"key":"e_1_3_2_1_6_1","volume-title":"A Certified Universal Gathering Algorithm for Oblivious Mobile Robots. CoRR, abs\/1506.01603","author":"Courtieu P.","year":"2015","unstructured":"P. Courtieu , L. Rieg , S. Tixeuil , and X. Urbain . A Certified Universal Gathering Algorithm for Oblivious Mobile Robots. CoRR, abs\/1506.01603 , 2015 . P. Courtieu, L. Rieg, S. Tixeuil, and X. Urbain. A Certified Universal Gathering Algorithm for Oblivious Mobile Robots. CoRR, abs\/1506.01603, 2015."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2014.11.001"},{"key":"e_1_3_2_1_8_1","volume-title":"Certified Universal Gathering Algorithm in $\\mathbbR^2$ for Oblivious Mobile Robots. CoRR, abs\/1602.08361","author":"Courtieu P.","year":"2016","unstructured":"P. Courtieu , L. Rieg , S. Tixeuil , and X. Urbain . Certified Universal Gathering Algorithm in $\\mathbbR^2$ for Oblivious Mobile Robots. CoRR, abs\/1602.08361 , 2016 . P. Courtieu, L. Rieg, S. Tixeuil, and X. Urbain. Certified Universal Gathering Algorithm in $\\mathbbR^2$ for Oblivious Mobile Robots. CoRR, abs\/1602.08361, 2016."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33536-5_7"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2423886"},{"key":"e_1_3_2_1_11_1","first-page":"479","volume-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"Howard W. A.","year":"1980","unstructured":"W. A. Howard . The formulae-as-types notion of construction. In J. R. H. Jonathan P. Seldin, editor, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism , pages 479 -- 490 . Academic Press , London , 1980 . W. A. Howard. The formulae-as-types notion of construction. In J. R. H. Jonathan P. Seldin, editor, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479--490. Academic Press, London, 1980."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"L.\n      Millet M.\n      Potop-Butucaru N.\n      Sznajder and \n      S.\n      Tixeuil\n  . \n  On the synthesis of mobile robots algorithms: The case of ring gathering\n  . In P. Felber and V. K. Garg editors Stabilization Safety and Security of Distributed Systems - 16th International Symposium (SSS \n  2014\n  ) volume \n  8756\n   of \n  Lecture Notes in Computer Science pages \n  237\n  --\n  251 Paderborn Germany sep 2014. \n  Springer-Verlag\n  .  L. Millet M. Potop-Butucaru N. Sznajder and S. Tixeuil. On the synthesis of mobile robots algorithms: The case of ring gathering. In P. Felber and V. K. Garg editors Stabilization Safety and Security of Distributed Systems - 16th International Symposium (SSS 2014) volume 8756 of Lecture Notes in Computer Science pages 237--251 Paderborn Germany sep 2014. Springer-Verlag.","DOI":"10.1007\/978-3-319-11764-5_17"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1137\/S009753979628292X"}],"event":{"name":"PODC '16: ACM Symposium on Principles of Distributed Computing","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Chicago Illinois USA","acronym":"PODC '16"},"container-title":["Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933057.2933070","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933057.2933070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:38:51Z","timestamp":1750268331000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933057.2933070"}},"subtitle":["Certified Universal Gathering in R\n            <sup>2<\/sup>\n            for Oblivious Mobile Robots"],"short-title":[],"issued":{"date-parts":[[2016,7,25]]},"references-count":13,"alternative-id":["10.1145\/2933057.2933070","10.1145\/2933057"],"URL":"https:\/\/doi.org\/10.1145\/2933057.2933070","relation":{},"subject":[],"published":{"date-parts":[[2016,7,25]]},"assertion":[{"value":"2016-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}