{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:02:35Z","timestamp":1742983355802,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031555978"},{"type":"electronic","value":"9783031555985"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-55598-5_4","type":"book-chapter","created":{"date-parts":[[2024,3,5]],"date-time":"2024-03-05T18:01:53Z","timestamp":1709661713000},"page":"51-65","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Hardness of\u00a0Local Certification of\u00a0Finite-State Dynamics"],"prefix":"10.1007","author":[{"given":"Diego","family":"Maldonado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Montealegre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"R\u00edos-Wilson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,6]]},"reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s00446-012-0175-7","volume":"26","author":"Y Afek","year":"2013","unstructured":"Afek, Y., Alon, N., Bar-Joseph, Z., Cornejo, A., Haeupler, B., Kuhn, F.: Beeping a maximal independent set. Distrib. Comput. 26(4), 195\u2013208 (2013)","journal-title":"Distrib. Comput."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Afek, Y., Alon, N., Barad, O., Hornstein, E., Barkai, N., Bar-Joseph, Z.: A biological solution to a fundamental distributed computing problem. Science 331(6014), 183\u2013185 (2011)","DOI":"10.1126\/science.1193210"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Atlan, H.: Self-organizing networks: weak, strong and intentional, the role of their underdetermination. In: Carsetti, A. (ed.) Functional Models of Cognition. Theory and Decision Library, vol. 27, pp. 127\u2013142. Springer, Dordrecht (1999). https:\/\/doi.org\/10.1007\/978-94-015-9620-6_9","DOI":"10.1007\/978-94-015-9620-6_9"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.jcss.2018.05.004","volume":"97","author":"A Balliu","year":"2018","unstructured":"Balliu, A., D\u2019Angelo, G., Fraigniaud, P., Olivetti, D.: What can be verified locally? J. Comput. Syst. Sci. 97, 106\u2013120 (2018)","journal-title":"J. Comput. Syst. Sci."},{"issue":"8","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1317","DOI":"10.1016\/j.jcss.2006.03.006","volume":"72","author":"CL Barrett","year":"2006","unstructured":"Barrett, C.L., Hunt, H.B., III., Marathe, M.V., Ravi, S., Rosenkrantz, D.J., Stearns, R.E.: Complexity of reachability problems for finite discrete dynamical systems. J. Comput. Syst. Sci. 72(8), 1317\u20131345 (2006)","journal-title":"J. Comput. Syst. Sci."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Bick, A., Kol, G., Oshman, R.: Distributed zero-knowledge proofs over networks. In: 33rd ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 2426\u20132458 (2022)","DOI":"10.1137\/1.9781611977073.97"},{"key":"4_CR7","unstructured":"Bousquet, N., Feuilloley, L., Pierron, T.: Local certification of graph decompositions and applications to minor-free classes. In: 25th International Conference on Principles of Distributed Systems (OPODIS). LIPIcs, vol. 217, pp. 22:1\u201322:17. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021)"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Cornejo, A., Kuhn, F.: Deploying wireless networks with beeps. In: Lynch, N.A., Shvartsman, A.A. (eds.) Distributed Computing, pp. 148\u2013162. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15763-9_15","DOI":"10.1007\/978-3-642-15763-9_15"},{"key":"4_CR9","unstructured":"Crescenzi, P., Fraigniaud, P., Paz, A.: Trade-offs in distributed interactive proofs. In: 33rd International Symposium on Distributed Computing (DISC). LIPIcs, vol. 146, pp. 13:1\u201313:17. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2019)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Emek, Y., Wattenhofer, R.: Stone age distributed computing. In: Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing, pp. 137\u2013146 (2013)","DOI":"10.1145\/2484239.2484244"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.tcs.2022.01.023","volume":"909","author":"L Esperet","year":"2022","unstructured":"Esperet, L., L\u00e9v\u00eaque, B.: Local certification of graphs on surfaces. Theor. Comput. Sci. 909, 68\u201375 (2022)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Feuilloley, L., Bousquet, N., Pierron, T.: What can be certified compactly? compact local certification of mso properties in tree-like graphs. In: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, pp. 131\u2013140 (2022)","DOI":"10.1145\/3519270.3538416"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.tcs.2020.12.017","volume":"856","author":"L Feuilloley","year":"2021","unstructured":"Feuilloley, L., Fraigniaud, P., Hirvonen, J.: A hierarchy of local decision. Theor. Comput. Sci. 856, 51\u201367 (2021)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s00446-020-00386-z","volume":"34","author":"L Feuilloley","year":"2021","unstructured":"Feuilloley, L., Fraigniaud, P., Hirvonen, J., Paz, A., Perry, M.: Redundancy in distributed proofs. Distrib. Comput. 34(2), 113\u2013132 (2021)","journal-title":"Distrib. Comput."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Feuilloley, L., Fraigniaud, P., Montealegre, P., Rapaport, I., R\u00e9mila, \u00c9., Todinca, I.: Compact distributed certification of planar graphs. In: Algorithmica, pp. 1\u201330 (2021)","DOI":"10.1145\/3382734.3404505"},{"key":"4_CR16","unstructured":"Feuilloley, L., Hirvonen, J.: Local verification of global proofs. In: 32nd International Symposium on Distributed Computing. LIPIcs, vol. 121, pp. 25:1\u201325:17. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2018)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Flury, R., Wattenhofer, R.: Slotted programming for sensor networks. In: Proceedings of the 9th ACM\/IEEE International Conference on Information Processing in Sensor Networks, pp. 24\u201334 (2010)","DOI":"10.1145\/1791212.1791216"},{"key":"4_CR18","unstructured":"Fraigniaud, P., Gall, F.L., Nishimura, H., Paz, A.: Distributed quantum proofs for replicated data. In: 12th Innovations in Theoretical Computer Science Conference (ITCS). LIPIcs, vol. 185, pp. 28:1\u201328:20. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021)"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Fraigniaud, P., Montealegre, P., Rapaport, I., Todinca, I. (2022). A meta-theorem for distributed certification. In: Parter, M. (ed.) Structural Information and Communication Complexity. SIROCCO 2022. LNCS, vol. 13298, pp. 116\u2013134. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-09993-9_7","DOI":"10.1007\/978-3-031-09993-9_7"},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s00446-018-0340-8","volume":"32","author":"P Fraigniaud","year":"2019","unstructured":"Fraigniaud, P., Patt-Shamir, B., Perry, M.: Randomized proof-labeling schemes. Distrib. Comput. 32(3), 217\u2013234 (2019)","journal-title":"Distrib. Comput."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"D Frischknecht, S., Keller, B., Wattenhofer, R.: Convergence in (social) influence networks. In: Proceedings of the Distributed Computing: 27th International Symposium, DISC 2013, Jerusalem, 14\u201318 October 2013, vol. 27. pp. 433\u2013446. Springer (2013)","DOI":"10.1007\/978-3-642-41527-2_30"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Gadouleau, M.: On the stability and instability of finite dynamical systems with prescribed interaction graphs. Electron. J. Combinator. P3\u201332 (2019)","DOI":"10.37236\/7296"},{"issue":"1","key":"4_CR23","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s11047-019-09732-y","volume":"19","author":"M Gadouleau","year":"2020","unstructured":"Gadouleau, M.: On the influence of the interaction graph on a finite dynamical system. Nat. Comput. 19(1), 15\u201328 (2020)","journal-title":"Nat. Comput."},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.tcs.2016.03.013","volume":"628","author":"M Gadouleau","year":"2016","unstructured":"Gadouleau, M., Richard, A.: Simple dynamics on graphs. Theoret. Comput. Sci. 628, 62\u201377 (2016)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2014.09.010","volume":"559","author":"E Goles","year":"2014","unstructured":"Goles, E., Montealegre, P.: Computational complexity of threshold automata networks under different updating schemes. Theoret. Comput. Sci. 559, 3\u201319 (2014)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"G\u00f6\u00f6s, M., Suomela, J.: Locally checkable proofs in distributed computing. Theory Comput. 12(1), 1\u201333 (2016)","DOI":"10.4086\/toc.2016.v012a019"},{"key":"4_CR27","doi-asserted-by":"publisher","unstructured":"Guseo, R., Guidolin, M.: Modelling a dynamic market potential: a class of automata networks for diffusion of innovations. Technol. Forecast. Soc. Change 76(6), 806\u2013820 (2009). https:\/\/doi.org\/10.1016\/j.techfore.2008.10.005","DOI":"10.1016\/j.techfore.2008.10.005"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Kol, G., Oshman, R., Saxena, R.R.: Interactive distributed proofs. In: ACM Symposium on Principles of Distributed Computing, pp. 255\u2013264. ACM (2018)","DOI":"10.1145\/3212734.3212771"},{"issue":"4","key":"4_CR29","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s00446-010-0095-3","volume":"22","author":"A Korman","year":"2010","unstructured":"Korman, A., Kutten, S., Peleg, D.: Proof labeling schemes. Distrib. Comput. 22(4), 215\u2013233 (2010)","journal-title":"Distrib. Comput."},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Kushilevitz, E.: Communication complexity. In: Advances in Computers, vol. 44. Elsevier (1997)","DOI":"10.1016\/S0065-2458(08)60342-3"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Maldonado, D., Montealegre, P., R\u00edos-Wilson, M., Theyssier, G.: Local certification of majority dynamics. arXiv preprint arXiv:2309.01852 (2023)","DOI":"10.1007\/978-3-031-52113-3_26"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Maldonado, D., Montealegre, P., R\u00edos-Wilson, M.: The hardness of local certification of finite-state dynamics (2023)","DOI":"10.1007\/978-3-031-55598-5_4"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Naor, M., Parter, M., Yogev, E.: The power of distributed verifiers in interactive proofs. In: 31st ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1096\u2013115. SIAM (2020)","DOI":"10.1137\/1.9781611975994.67"},{"key":"4_CR34","unstructured":"R\u00edos-Wilson, M., Theyssier, G.: Intrinsic Simulations and Universality in Automata Networks (2022). https:\/\/hal.science\/hal-03779748"}],"container-title":["Lecture Notes in Computer Science","LATIN 2024: Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-55598-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T21:30:24Z","timestamp":1731533424000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-55598-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031555978","9783031555985"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-55598-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"6 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LATIN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Latin American Symposium on Theoretical Informatics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Puerto Varas","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chile","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 March 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 March 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"latin2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/latin2024.cmm.uchile.cl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"92","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"48% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}