{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T05:42:19Z","timestamp":1782970939775,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100010446","name":"Institute for Basic Science","doi-asserted-by":"publisher","award":["IBS-R029-C1"],"award-info":[{"award-number":["IBS-R029-C1"]}],"id":[{"id":"10.13039\/501100010446","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Dutch Ministry of Education, Culture and Science (OCW)","award":["NETWORKS (NWO grant no. 024.002.003)"],"award-info":[{"award-number":["NETWORKS (NWO grant no. 024.002.003)"]}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["COFUND grant no. 945045"],"award-info":[{"award-number":["COFUND grant no. 945045"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Polish National Science Centre","award":["2021\/43\/D\/ST6\/03312"],"award-info":[{"award-number":["2021\/43\/D\/ST6\/03312"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,16]]},"DOI":"10.1145\/3732772.3733562","type":"proceedings-article","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T14:23:34Z","timestamp":1749824614000},"page":"110-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A tight meta-theorem for LOCAL certification of MSO2 properties within bounded treewidth graphs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1516-5874","authenticated-orcid":false,"given":"Linda","family":"Cook","sequence":"first","affiliation":[{"name":"Korteweg-de Vries Institute of Mathematics, University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6824-0516","authenticated-orcid":false,"given":"Eun Jung","family":"Kim","sequence":"additional","affiliation":[{"name":"School of Computing, KAIST and Discrete Mathematics Group, Institute for Basic Science (IBS), Daejeon, Republic of Korea"},{"name":"CNRS, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8524-4036","authenticated-orcid":false,"given":"Tom\u00e1\u0161","family":"Masa\u0159\u00edk","sequence":"additional","affiliation":[{"name":"Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Warsaw, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,6,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Dan Alden Baterisna and Yi-Jun Chang. 2025. Optimal local certification on graphs of bounded pathwidth. arXiv:2502.00676 [cs.DC]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0927-0507(05)80125-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/jgt.23083"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793251219"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/JAGM.1995.1009"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934508"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.46298\/lmcs-18(1:26)2022"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2024.104954"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2018.08.020"},{"key":"e_1_3_2_1_10_1","volume-title":"Eun Jung Kim, and Tom\u00e1\u0161 Masa\u0159\u00edk","author":"Cook Linda","year":"2025","unstructured":"Linda Cook, Eun Jung Kim, and Tom\u00e1\u0161 Masa\u0159\u00edk. 2025. A Tight Meta-theorem for LOCAL Certification of MSO2 Properties within Bounded Treewidth Graphs. arXiv:2503.19671 [cs.DC]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/b978-0-444-88074-1.50010-x"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90043-H"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511977619"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-70107-2"},{"key":"e_1_3_2_1_15_1","unstructured":"Karolina Drabik and Tom\u00e1\u0161 Masa\u0159\u00edk. 2024. Finding Diverse Solutions Parameterized by Cliquewidth. arXiv:2405.20931 [cs.DS]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1090\/noti3043"},{"key":"e_1_3_2_1_17_1","unstructured":"Louis Esperet. 2021. Local certification of graphs. (2021). https:\/\/www.birs.ca\/events\/2021\/5-day-workshops\/21w5513\/schedule Talk at New Perspectives in Colouring and Structure Hosted Online by Banff International Research Station."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2022.01.023"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.46298\/dmtcs.6280"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519270.3538416"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382734.3404505"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2022.10.004"},{"key":"e_1_3_2_1_23_1","unstructured":"Ji\u0159\u00ed Fiala. 2024. Graph minors decompositions and algorithms. https:\/\/kam.mff.cuni.cz\/~fiala\/ASTG\/tw.pdf Lecture notes published in IUUK-CE-ITI series in 2003 number 2003-132."},{"key":"e_1_3_2_1_24_1","unstructured":"Pierre Fraigniaud Fr\u00e9d\u00e9ric Mazoit Pedro Montealegre Ivan Rapaport and Ioan Todinca. 2023. Distributed certification for classes of dense graphs. arXiv:2307.14292"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-023-01185-1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.4086\/toc.2016.v012a019"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146381.1146389"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073814.1073817"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1006\/JCTB.1997.1788"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1987.20"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1137\/0221015"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-05-01088-8"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27875-4"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(83)90079-5"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(86)90030-4"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jctb.2004.08.001"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/356004.356006"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2431211.2431223"}],"event":{"name":"PODC '25: ACM Symposium on Principles of Distributed Computing","location":"Hotel Las Brisas Huatulco Huatulco Mexico","acronym":"PODC '25","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3732772.3733562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T14:24:25Z","timestamp":1749824665000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3732772.3733562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,13]]},"references-count":38,"alternative-id":["10.1145\/3732772.3733562","10.1145\/3732772"],"URL":"https:\/\/doi.org\/10.1145\/3732772.3733562","relation":{},"subject":[],"published":{"date-parts":[[2025,6,13]]},"assertion":[{"value":"2025-06-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}