{"id":"https://openalex.org/W2147342018","doi":"https://doi.org/10.1145/1383369.1383373","title":"Label-guided graph exploration by a finite automaton","display_name":"Label-guided graph exploration by a finite automaton","publication_year":2008,"publication_date":"2008-08-01","ids":{"openalex":"https://openalex.org/W2147342018","doi":"https://doi.org/10.1145/1383369.1383373","mag":"2147342018"},"language":"en","primary_location":{"id":"doi:10.1145/1383369.1383373","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1383369.1383373","pdf_url":null,"source":{"id":"https://openalex.org/S137348503","display_name":"ACM Transactions on Algorithms","issn_l":"1549-6325","issn":["1549-6325","1549-6333"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Algorithms","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-00341609","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018066582","display_name":"Reuven Cohen","orcid":"https://orcid.org/0000-0001-8788-2189"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Reuven Cohen","raw_affiliation_strings":["Boston University, Boston, MA","ECE - Department of Electrical and Computer Engineering [Boston University] (Building: Photonics Building (PHO) 8 St. Mary's St Boston, MA 02215 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Boston University, Boston, MA","institution_ids":[]},{"raw_affiliation_string":"ECE - Department of Electrical and Computer Engineering [Boston University] (Building: Photonics Building (PHO) 8 St. Mary's St Boston, MA 02215 - United States)","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111427134","display_name":"Pierre Fraigniaud","orcid":null},"institutions":[{"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/I169173203","display_name":"D\u00e9l\u00e9gation Paris 7","ror":"https://ror.org/00bw5n526","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488","https://openalex.org/I169173203"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Fraigniaud","raw_affiliation_strings":["CNRS and Universit\u00e9 Paris Diderot, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS and Universit\u00e9 Paris Diderot, Paris, France","institution_ids":["https://openalex.org/I169173203","https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021373855","display_name":"David Ilcinkas","orcid":"https://orcid.org/0000-0002-0094-4330"},"institutions":[{"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/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"David Ilcinkas","raw_affiliation_strings":["CNRS and Universit\u00e9 Bordeaux I, France","CEPAGE - Algorithmics for computationally intensive applications over wide scale distributed platforms (Inria Bordeaux - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS and Universit\u00e9 Bordeaux I, France","institution_ids":["https://openalex.org/I15057530","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"CEPAGE - Algorithmics for computationally intensive applications over wide scale distributed platforms (Inria Bordeaux - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040995971","display_name":"Amos Korman","orcid":"https://orcid.org/0000-0001-8652-9228"},"institutions":[{"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/I169173203","display_name":"D\u00e9l\u00e9gation Paris 7","ror":"https://ror.org/00bw5n526","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488","https://openalex.org/I169173203"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Amos Korman","raw_affiliation_strings":["CNRS and Universit\u00e9 Paris Diderot, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS and Universit\u00e9 Paris Diderot, Paris, France","institution_ids":["https://openalex.org/I169173203","https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056419022","display_name":"David Peleg","orcid":"https://orcid.org/0000-0003-1590-0506"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"David Peleg","raw_affiliation_strings":["The Weizmann Institute, Rehovot, Israel","Department of Computer Science and Applied Mathematics [Rehovot] (Faculty of Mathematics and Computer Science The Weizmann Institute of Science POB 26, Rehovot 76100, ISRAEL - Israel)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Weizmann Institute, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]},{"raw_affiliation_string":"Department of Computer Science and Applied Mathematics [Rehovot] (Faculty of Mathematics and Computer Science The Weizmann Institute of Science POB 26, Rehovot 76100, ISRAEL - Israel)","institution_ids":["https://openalex.org/I53964585"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5018066582"],"corresponding_institution_ids":["https://openalex.org/I111088046"],"apc_list":null,"apc_paid":null,"fwci":6.0994,"has_fulltext":false,"cited_by_count":91,"citation_normalized_percentile":{"value":0.96501418,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"4","issue":"4","first_page":"1","last_page":"18"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9998999834060669,"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/T12288","display_name":"Optimization and Search Problems","score":0.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12029","display_name":"DNA and Biological Computing","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5788806676864624},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5242241621017456},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.506902277469635},{"id":"https://openalex.org/keywords/deterministic-finite-automaton","display_name":"Deterministic finite automaton","score":0.4560600817203522},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4399489462375641},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.41072118282318115},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.40552231669425964},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38947126269340515},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27544349431991577}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5788806676864624},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5242241621017456},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.506902277469635},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.4560600817203522},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4399489462375641},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.41072118282318115},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.40552231669425964},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38947126269340515},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27544349431991577}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1383369.1383373","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1383369.1383373","pdf_url":null,"source":{"id":"https://openalex.org/S137348503","display_name":"ACM Transactions on Algorithms","issn_l":"1549-6325","issn":["1549-6325","1549-6333"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Algorithms","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00341609v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00341609","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Algorithms, 2008, 4 (4), pp.Article 42. ⟨10.1145/1383369.1383373⟩","raw_type":"Journal articles"},{"id":"pmh:oai:oskar-bordeaux.fr:20.500.12278/198617","is_oa":false,"landing_page_url":"https://oskar-bordeaux.fr/handle/20.500.12278/198617","pdf_url":null,"source":{"id":"https://openalex.org/S4306402569","display_name":"Oskar-Bordeaux (Universite de Bordeaux)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article de revue"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00341609v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00341609","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Algorithms, 2008, 4 (4), pp.Article 42. ⟨10.1145/1383369.1383373⟩","raw_type":"Journal articles"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W15627814","https://openalex.org/W1531657024","https://openalex.org/W1971426115","https://openalex.org/W1975595616","https://openalex.org/W2017617294","https://openalex.org/W2039936247","https://openalex.org/W2054224855","https://openalex.org/W2141074723","https://openalex.org/W2147327383","https://openalex.org/W2621324178","https://openalex.org/W3023568255","https://openalex.org/W4389615664","https://openalex.org/W6600630054"],"related_works":["https://openalex.org/W2810776027","https://openalex.org/W185868636","https://openalex.org/W2136740376","https://openalex.org/W2003664089","https://openalex.org/W3087272834","https://openalex.org/W2037872771","https://openalex.org/W2581079654","https://openalex.org/W2139519154","https://openalex.org/W3153637812","https://openalex.org/W2019603173"],"abstract_inverted_index":{"A":[0],"finite":[1],"automaton,":[2],"simply":[3],"referred":[4],"to":[5,11,73,77,110,133,162,178],"as":[6],"a":[7,13,28,52,82,108,117,140,172,176,211,218],"robot":[8,25,60,109,141,160,173,212],",":[9,191],"has":[10,26],"explore":[12,111,143,163,196],"graph,":[14,36],"that":[15,44,58,139,193],"is,":[16],"visit":[17],"all":[18,112,144,164],"the":[19,22,32,35,59,66,70,78,87,90,123,184,197],"nodes":[20,80,185],"of":[21,31,34,38,54,68,146,166,186],"graph.":[23],"The":[24],"no":[27,159,214],"priori":[29],"knowledge":[30],"topology":[33],"nor":[37],"its":[39],"size.":[40],"It":[41],"is":[42,158,171],"known":[43],"for":[45,85,121],"any":[46,187],"k":[47],"-state":[48],"robot,":[49],"there":[50,157,170],"exists":[51],"graph":[53,79,189,199,208],"maximum":[55,167],"degree":[56,168],"3":[57],"cannot":[61],"explore.":[62],"This":[63],"article":[64],"considers":[65],"effects":[67],"allowing":[69],"system":[71],"designer":[72],"add":[74],"short":[75],"labels":[76,101,125],"in":[81,126,180],"preprocessing":[83],"stage,":[84],"helping":[86],"exploration":[88,95,209],"by":[89,210],"robot.":[91],"We":[92,129],"describe":[93,116],"an":[94],"algorithm":[96,120],"that,":[97],"given":[98,149],"appropriate":[99,150],"2-bit":[100],"(in":[102],"fact,":[103],"only":[104],"3-valued":[105],"labels),":[106],"allows":[107],"graphs.":[113],"Furthermore,":[114],"we":[115,203],"suitable":[118],"labeling":[119,136],"generating":[122],"required":[124],"linear":[127],"time.":[128],"also":[130],"show":[131],"how":[132],"modify":[134],"our":[135],"scheme":[137],"so":[138,192],"can":[142,195],"graphs":[145,165],"bounded":[147],"degree,":[148],"1-bit":[151],"labels.":[152],"In":[153],"other":[154],"words,":[155],"although":[156],"able":[161],"3,":[169],"R,":[174],"and":[175],"way":[177],"color":[179],"black":[181],"or":[182],"white":[183],"bounded-degree":[188],"G":[190,200],"R":[194],"colored":[198],".":[201],"Finally,":[202],"give":[204],"impossibility":[205],"results":[206],"regarding":[207],"with":[213],"internal":[215],"memory":[216],"(i.e.,":[217],"single-state":[219],"automaton).":[220]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":8}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}