{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:11Z","timestamp":1750309211930,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T00:00:00Z","timestamp":1718582400000},"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":[[2024,6,17]]},"DOI":"10.1145\/3662158.3662793","type":"proceedings-article","created":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T14:38:06Z","timestamp":1717598286000},"page":"205-208","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Brief Announcement: Distributed Model Checking on Graphs of Bounded Treedepth"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2837-8964","authenticated-orcid":false,"given":"Fedor V.","family":"Fomin","sequence":"first","affiliation":[{"name":"University of Bergen, Norway, Bergen, Norway"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4534-4803","authenticated-orcid":false,"given":"Pierre","family":"Fraigniaud","sequence":"additional","affiliation":[{"name":"IRIF, CNRS and Universit\u00e9 Paris Cit\u00e9, Paris, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2508-5907","authenticated-orcid":false,"given":"Pedro","family":"Montealegre","sequence":"additional","affiliation":[{"name":"Facultad de Ingenieria y Ciencias, Universidad Adolfo Iba\u00f1ez, Santiago, Chile"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2969-5083","authenticated-orcid":false,"given":"Ivan","family":"Rapaport","sequence":"additional","affiliation":[{"name":"DIM-CMM (UMI 2807 CNRS), Universidad de Chile, Santiago, Chile"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3466-859X","authenticated-orcid":false,"given":"Ioan","family":"Todinca","sequence":"additional","affiliation":[{"name":"LIFO, Universit\u00e9 d'Orl\u00e9ans, Orl\u00e9ans, France"}]}],"member":"320","published-online":{"date-parts":[[2024,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"25th International Conference on Principles of Distributed Systems (OPODIS) (LIPIcs","volume":"17","author":"Bousquet Nicolas","year":"2021","unstructured":"Nicolas Bousquet, Laurent Feuilloley, and Th\u00e9o Pierron. 2021. Local Certification of Graph Decompositions and Applications to Minor-Free Classes. In 25th International Conference on Principles of Distributed Systems (OPODIS) (LIPIcs, Vol. 217). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 22:1--22:17."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2018.08.020"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90043-H"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2611462.2611493"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2946799"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2022.01.023"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519270.3538416"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-021-00823-w"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2022.10.004"},{"key":"e_1_3_2_1_10_1","volume-title":"Distributed Certification for Classes of Dense Graphs. In 37th International Symposium on Distributed Computing (DISC) (LIPIcs","volume":"17","author":"Fraigniaud Pierre","year":"2023","unstructured":"Pierre Fraigniaud, Fr\u00e9d\u00e9ric Mazoit, Pedro Montealegre, Ivan Rapaport, and Ioan Todinca. 2023. Distributed Certification for Classes of Dense Graphs. In 37th International Symposium on Distributed Computing (DISC) (LIPIcs, Vol. 281). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 20:1--20:17."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/S00453-023-01185-1"},{"key":"e_1_3_2_1_12_1","first-page":"1","article-title":"Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences","volume":"11","author":"Gajarsk\u00fd Jakub","year":"2015","unstructured":"Jakub Gajarsk\u00fd and Petr Hlinen\u00fd. 2015. Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences. Log. Methods Comput. Sci. 11, 1 (2015), 1--26.","journal-title":"Log. Methods Comput. Sci."},{"key":"e_1_3_2_1_13_1","first-page":"1","article-title":"Locally Checkable Proofs in Distributed Computing","volume":"12","author":"G\u00f6\u00f6s Mika","year":"2016","unstructured":"Mika G\u00f6\u00f6s and Jukka Suomela. 2016. Locally Checkable Proofs in Distributed Computing. Theory Comput. 12, 1 (2016), 1--33.","journal-title":"Theory Comput."},{"key":"e_1_3_2_1_14_1","volume-title":"Model Theoretic Methods in Finite Combinatorics - AMS-ASL Joint Special Session","volume":"558","author":"Grohe Martin","year":"2009","unstructured":"Martin Grohe and Stephan Kreutzer. 2009. Methods for Algorithmic Meta Theorems. In Model Theoretic Methods in Finite Combinatorics - AMS-ASL Joint Special Session, Vol. 558. AMS, 181--206. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.395.8282&rep=rep1&type=pdf"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-010-0095-3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27875-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-015-0251-x"}],"event":{"name":"PODC '24: 43rd ACM Symposium on Principles of Distributed Computing","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Nantes France","acronym":"PODC '24"},"container-title":["Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3662158.3662793","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:43:41Z","timestamp":1750290221000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3662158.3662793"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,17]]},"references-count":17,"alternative-id":["10.1145\/3662158.3662793","10.1145\/3662158"],"URL":"https:\/\/doi.org\/10.1145\/3662158.3662793","relation":{},"subject":[],"published":{"date-parts":[[2024,6,17]]},"assertion":[{"value":"2024-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}