{"id":"https://openalex.org/W1750856813","doi":"https://doi.org/10.1007/978-3-319-03089-0_13","title":"Certified Impossibility Results for Byzantine-Tolerant Mobile Robots","display_name":"Certified Impossibility Results for Byzantine-Tolerant Mobile Robots","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W1750856813","doi":"https://doi.org/10.1007/978-3-319-03089-0_13","mag":"1750856813"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-03089-0_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-03089-0_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1306.4242","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042614825","display_name":"C\u00e9dric Auger","orcid":null},"institutions":[{"id":"https://openalex.org/I4210097372","display_name":"\u00c9cole Nationale Sup\u00e9rieure d\u2019Informatique pour l\u2019Industrie et l\u2019Entreprise","ror":"https://ror.org/00tx98v53","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210097372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"C\u00e9dric Auger","raw_affiliation_strings":["\u00c9cole Nat. Sup. d\u2019Informatique pour l\u2019Industrie et l\u2019Entreprise (ENSIIE), Evry, F-91025, France","ENSIIE - Ecole Nationale Sup\u00e9rieure d'Informatique pour l'Industrie et l'Entreprise (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c9cole Nat. Sup. d\u2019Informatique pour l\u2019Industrie et l\u2019Entreprise (ENSIIE), Evry, F-91025, France","institution_ids":["https://openalex.org/I4210097372"]},{"raw_affiliation_string":"ENSIIE - Ecole Nationale Sup\u00e9rieure d'Informatique pour l'Industrie et l'Entreprise (France)","institution_ids":["https://openalex.org/I4210097372"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025348904","display_name":"Zohir Bouzid","orcid":"https://orcid.org/0000-0002-2868-2336"},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Zohir Bouzid","raw_affiliation_strings":["UPMC Sorbonne Universit\u00e9s, France","NPA - Networks and Performance Analysis (France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UPMC Sorbonne Universit\u00e9s, France","institution_ids":["https://openalex.org/I39804081"]},{"raw_affiliation_string":"NPA - Networks and Performance Analysis (France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058685624","display_name":"Pierre Courtieu","orcid":null},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]},{"id":"https://openalex.org/I4210145724","display_name":"Centre d'Etudes et De Recherche en Informatique et Communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210145724"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Courtieu","raw_affiliation_strings":["C\u00c9DRIC \u2013 Conservatoire national des arts et m\u00e9tiers, Paris, F-75141, France","CEDRIC - Centre d'\u00e9tudes et de recherche en informatique et communications (292 rue Saint-Martin \r\n75141 PARIS Cedex 03\r\nCase courrier 2D4P30 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"C\u00c9DRIC \u2013 Conservatoire national des arts et m\u00e9tiers, Paris, F-75141, France","institution_ids":["https://openalex.org/I124158823"]},{"raw_affiliation_string":"CEDRIC - Centre d'\u00e9tudes et de recherche en informatique et communications (292 rue Saint-Martin \r\n75141 PARIS Cedex 03\r\nCase courrier 2D4P30 - France)","institution_ids":["https://openalex.org/I4210145724"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073883755","display_name":"S\u00e9bastien Tixeuil","orcid":"https://orcid.org/0000-0002-0948-7172"},"institutions":[{"id":"https://openalex.org/I185839726","display_name":"Institut Universitaire de France","ror":"https://ror.org/055khg266","country_code":"FR","type":"education","lineage":["https://openalex.org/I185839726"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"S\u00e9bastien Tixeuil","raw_affiliation_strings":["Institut Universitaire de France, France","UPMC Sorbonne Universit\u00e9s, France","NPA - Networks and Performance Analysis (France)","IUF - Institut universitaire de France (Maison des Universit\u00e9s 103 Boulevard Saint-Michel 75005 Paris - France)","LINCS - Laboratory of Information, Network and Communication Sciences (23 avenue d'Italie 75013 Paris - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut Universitaire de France, France","institution_ids":["https://openalex.org/I185839726"]},{"raw_affiliation_string":"UPMC Sorbonne Universit\u00e9s, France","institution_ids":["https://openalex.org/I39804081"]},{"raw_affiliation_string":"NPA - Networks and Performance Analysis (France)","institution_ids":[]},{"raw_affiliation_string":"IUF - Institut universitaire de France (Maison des Universit\u00e9s 103 Boulevard Saint-Michel 75005 Paris - France)","institution_ids":["https://openalex.org/I185839726"]},{"raw_affiliation_string":"LINCS - Laboratory of Information, Network and Communication Sciences (23 avenue d'Italie 75013 Paris - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108276416","display_name":"Xavier Urbain","orcid":null},"institutions":[{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210097372","display_name":"\u00c9cole Nationale Sup\u00e9rieure d\u2019Informatique pour l\u2019Industrie et l\u2019Entreprise","ror":"https://ror.org/00tx98v53","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210097372"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Xavier Urbain","raw_affiliation_strings":["LRI, CNRS UMR 8623, Universit\u00e9 Paris-Sud, Orsay, F-91405, France","\u00c9cole Nat. Sup. d\u2019Informatique pour l\u2019Industrie et l\u2019Entreprise (ENSIIE), Evry, F-91025, France","ENSIIE - Ecole Nationale Sup\u00e9rieure d'Informatique pour l'Industrie et l'Entreprise (France)","LRI - Laboratoire de Recherche en Informatique (LRI - B\u00e2timents 650-660 Universit\u00e9 Paris-Sud 91405 Orsay Cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LRI, CNRS UMR 8623, Universit\u00e9 Paris-Sud, Orsay, F-91405, France","institution_ids":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I4210144804"]},{"raw_affiliation_string":"\u00c9cole Nat. Sup. d\u2019Informatique pour l\u2019Industrie et l\u2019Entreprise (ENSIIE), Evry, F-91025, France","institution_ids":["https://openalex.org/I4210097372"]},{"raw_affiliation_string":"ENSIIE - Ecole Nationale Sup\u00e9rieure d'Informatique pour l'Industrie et l'Entreprise (France)","institution_ids":["https://openalex.org/I4210097372"]},{"raw_affiliation_string":"LRI - Laboratoire de Recherche en Informatique (LRI - B\u00e2timents 650-660 Universit\u00e9 Paris-Sud 91405 Orsay Cedex - France)","institution_ids":["https://openalex.org/I102197404","https://openalex.org/I4210144804"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":8.6678,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.97986842,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"178","last_page":"190"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9843000173568726,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/impossibility","display_name":"Impossibility","score":0.8995516300201416},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7882930040359497},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7741748094558716},{"id":"https://openalex.org/keywords/proof-assistant","display_name":"Proof assistant","score":0.6171492338180542},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.6022909283638},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5195562839508057},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47367507219314575},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.41944149136543274},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.41079944372177124},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2743333578109741},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23270240426063538},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1778639853000641}],"concepts":[{"id":"https://openalex.org/C2776261394","wikidata":"https://www.wikidata.org/wiki/Q315562","display_name":"Impossibility","level":2,"score":0.8995516300201416},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7882930040359497},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7741748094558716},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.6171492338180542},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.6022909283638},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5195562839508057},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47367507219314575},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.41944149136543274},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41079944372177124},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2743333578109741},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23270240426063538},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1778639853000641},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-03089-0_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-03089-0_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arXiv.org:1306.4242","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1306.4242","pdf_url":"https://arxiv.org/pdf/1306.4242","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00930267v1","is_oa":false,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-00930267","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2013, Osaka, Japan. pp.178-190, ⟨10.1007/978-3-319-03089-0_13⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1306.4242","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1306.4242","pdf_url":"https://arxiv.org/pdf/1306.4242","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W87932605","https://openalex.org/W121484200","https://openalex.org/W153200464","https://openalex.org/W156970821","https://openalex.org/W1535610684","https://openalex.org/W1555629290","https://openalex.org/W1581378641","https://openalex.org/W1593280365","https://openalex.org/W1606078215","https://openalex.org/W1662376798","https://openalex.org/W1701372208","https://openalex.org/W1769410258","https://openalex.org/W1980710447","https://openalex.org/W1988782771","https://openalex.org/W1994278052","https://openalex.org/W2006833310","https://openalex.org/W2035362408","https://openalex.org/W2044484214","https://openalex.org/W2105713995","https://openalex.org/W2109405784","https://openalex.org/W2114742812","https://openalex.org/W2116536633","https://openalex.org/W2120510885","https://openalex.org/W2126924915","https://openalex.org/W2127853808","https://openalex.org/W2135757886","https://openalex.org/W2148662736","https://openalex.org/W2218889307","https://openalex.org/W2242323010","https://openalex.org/W2255516524","https://openalex.org/W2338820189","https://openalex.org/W2780554802","https://openalex.org/W2912259090","https://openalex.org/W2951159862","https://openalex.org/W3137092842","https://openalex.org/W3182674124","https://openalex.org/W4210597939","https://openalex.org/W4211103781","https://openalex.org/W4234761613"],"related_works":["https://openalex.org/W4241054063","https://openalex.org/W4295798319","https://openalex.org/W1819460135","https://openalex.org/W353523607","https://openalex.org/W3098927713","https://openalex.org/W2774311601","https://openalex.org/W1589866633","https://openalex.org/W3106543884","https://openalex.org/W4389158536","https://openalex.org/W4323929316"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}