Author:
Fraigniaud Pierre,Montealegre Pedro,Rapaport Ivan,Todinca Ioan
Funder
Agencia Nacional de Investigación y Desarrollo
Fondo Nacional de Desarrollo Científico y Tecnológico
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computer Science Applications,General Computer Science
Reference26 articles.
1. Afek, Y., Kutten, S., Yung, M.: The local detection paradigm and its application to self-stabilization. Theor. Comput. Sci. 186(1–2), 199–229 (1997)
2. Awerbuch, B., Patt-Shamir, B., Varghese, G.: Self-stabilization by local checking and correction. In: 32nd Symposium on Foundations of Computer Science (FOCS), pp. 268–277 (1991)
3. Balliu, A., D’Angelo, G., Fraigniaud, P., Olivetti, D.: What can be verified locally? J. Comput. Syst. Sci. 97, 106–120 (2018)
4. Bick, A., Kol, G., Oshman, R.: Distributed zero-knowledge proofs over networks. In: ACM-SIAM Symposium on Discrete Algorithms (SODA) (2022)
5. Bodlaender, H.L.: NC-algorithms for graphs with small treewidth. In: 14th International Workshop on Graph-Theoretic Concepts in Computer Science (WG), vol. 344 of LNCS, pp. 1–10. Springer (1988)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献