{"id":"https://openalex.org/W4406450256","doi":"https://doi.org/10.1093/logcom/exae087","title":"Descriptive complexity for distributed computing with circuits","display_name":"Descriptive complexity for distributed computing with circuits","publication_year":2025,"publication_date":"2025-01-16","ids":{"openalex":"https://openalex.org/W4406450256","doi":"https://doi.org/10.1093/logcom/exae087"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exae087","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exae087","pdf_url":"https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exae087/61462339/exae087.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exae087/61462339/exae087.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064397095","display_name":"Veeti Ahvonen","orcid":"https://orcid.org/0009-0007-4819-0199"},"institutions":[{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]},{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Veeti Ahvonen","raw_affiliation_strings":["Mathematics Research Centre , Tampere University, 33720, Tampere,","Mathematics Research Centre, Tampere University, 33720, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"Mathematics Research Centre , Tampere University, 33720, Tampere,","institution_ids":["https://openalex.org/I4210133110"]},{"raw_affiliation_string":"Mathematics Research Centre, Tampere University, 33720, Tampere, Finland","institution_ids":["https://openalex.org/I166825849"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065589059","display_name":"Damian Heiman","orcid":"https://orcid.org/0009-0000-6038-7006"},"institutions":[{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]},{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Damian Heiman","raw_affiliation_strings":["Mathematics Research Centre , Tampere University, 33720, Tampere,","Mathematics Research Centre, Tampere University, 33720, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"Mathematics Research Centre , Tampere University, 33720, Tampere,","institution_ids":["https://openalex.org/I4210133110"]},{"raw_affiliation_string":"Mathematics Research Centre, Tampere University, 33720, Tampere, Finland","institution_ids":["https://openalex.org/I166825849"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078573449","display_name":"Lauri Hella","orcid":"https://orcid.org/0000-0002-9117-8124"},"institutions":[{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]},{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Lauri Hella","raw_affiliation_strings":["Mathematics Research Centre , Tampere University, 33720, Tampere,","Mathematics Research Centre, Tampere University, 33720, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"Mathematics Research Centre , Tampere University, 33720, Tampere,","institution_ids":["https://openalex.org/I4210133110"]},{"raw_affiliation_string":"Mathematics Research Centre, Tampere University, 33720, Tampere, Finland","institution_ids":["https://openalex.org/I166825849"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059829668","display_name":"Antti Kuusisto","orcid":"https://orcid.org/0000-0003-1356-8749"},"institutions":[{"id":"https://openalex.org/I4210133110","display_name":"Tampere University","ror":null,"country_code":"FI","type":null,"lineage":["https://openalex.org/I4210133110"]},{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Antti Kuusisto","raw_affiliation_strings":["Mathematics Research Centre , Tampere University, 33720, Tampere,","Mathematics Research Centre, Tampere University, 33720, Tampere, Finland"],"affiliations":[{"raw_affiliation_string":"Mathematics Research Centre , Tampere University, 33720, Tampere,","institution_ids":["https://openalex.org/I4210133110"]},{"raw_affiliation_string":"Mathematics Research Centre, Tampere University, 33720, Tampere, Finland","institution_ids":["https://openalex.org/I166825849"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5064397095"],"corresponding_institution_ids":["https://openalex.org/I166825849","https://openalex.org/I4210133110"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":{"value":4151,"currency":"USD","value_usd":4151},"fwci":2.7163,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.88720727,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"35","issue":"5","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7466737031936646},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47199323773384094},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.46556615829467773},{"id":"https://openalex.org/keywords/descriptive-complexity-theory","display_name":"Descriptive complexity theory","score":0.46470513939857483},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.2564525008201599},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19505268335342407}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7466737031936646},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47199323773384094},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46556615829467773},{"id":"https://openalex.org/C133142742","wikidata":"https://www.wikidata.org/wiki/Q1200755","display_name":"Descriptive complexity theory","level":3,"score":0.46470513939857483},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2564525008201599},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19505268335342407}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exae087","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exae087","pdf_url":"https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exae087/61462339/exae087.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:trepo.tuni.fi:10024/212269","is_oa":true,"landing_page_url":"https://trepo.tuni.fi/handle/10024/212269","pdf_url":null,"source":{"id":"https://openalex.org/S7407055260","display_name":"Trepo - Institutional Repository of Tampere University","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1093/logcom/exae087","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exae087","pdf_url":"https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exae087/61462339/exae087.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406450256.pdf","grobid_xml":"https://content.openalex.org/works/W4406450256.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1489366126","https://openalex.org/W1490189322","https://openalex.org/W2067661972","https://openalex.org/W2169102947","https://openalex.org/W2610932619","https://openalex.org/W2925155509","https://openalex.org/W2996471083","https://openalex.org/W3005187920","https://openalex.org/W3177995633","https://openalex.org/W4302047825","https://openalex.org/W4389775256","https://openalex.org/W4405009143","https://openalex.org/W6682035328","https://openalex.org/W6695621066","https://openalex.org/W6729682489","https://openalex.org/W6764534288","https://openalex.org/W6765465941","https://openalex.org/W6792228528","https://openalex.org/W6849965433","https://openalex.org/W6868520067"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2055638573","https://openalex.org/W2975536762","https://openalex.org/W2040318792","https://openalex.org/W2315104758","https://openalex.org/W1964962870"],"abstract_inverted_index":{"Abstract":[0],"We":[1,26,35],"investigate":[2],"distributed":[3,17],"computing":[4],"with":[5,43],"identifiers":[6],"in":[7,15,64,82,125],"the":[8,12,30,37,41,73,83,126],"realistic":[9],"scenario":[10],"where":[11],"local":[13],"computations":[14],"a":[16,44,93,104],"message":[18,31],"passing":[19,32],"setting":[20,99],"are":[21,61,89],"operated":[22],"by":[23,115],"Boolean":[24],"circuits.":[25],"call":[27],"this":[28],"framework":[29],"circuit":[33],"model.":[34],"capture":[36],"expressive":[38],"power":[39],"of":[40,96],"model":[42],"recursive":[45],"rule-based":[46],"logic":[47],"called":[48],"modal":[49],"substitution":[50],"calculus":[51],"MSC.":[52],"The":[53],"result":[54],"is":[55,77],"established":[56],"via":[57],"constructing":[58],"translations":[59],"that":[60,103],"highly":[62],"efficient":[63],"relation":[65],"to":[66],"size":[67,75,117,123],"and":[68,79],"computation":[69],"time.":[70],"In":[71],"particular,":[72],"worst":[74],"blow-up":[76],"quadratic":[78],"becomes":[80],"linear":[81],"bounded-degree":[84,127],"scenario.":[85,128],"Computation":[86],"time":[87],"delays":[88],"similarly":[90],"modest.":[91],"As":[92],"concrete":[94],"demonstration":[95],"how":[97],"our":[98],"works,":[100],"we":[101],"establish":[102],"very":[105],"fast":[106],"coloring":[107],"algorithm":[108],"based":[109],"on":[110],"Cole\u2013Vishkin":[111],"can":[112],"be":[113],"specified":[114],"logarithmic":[116,122],"programs":[118],"(and":[119],"thus":[120],"also":[121],"circuits)":[124]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}