Survey of Distributed Decision

Survey of Distributed Decision

14 June 2016

Laurent Feuilloley

Pierre Fraigniaud

Papers citing "Survey of Distributed Decision"

14 / 14 papers shown

Title
Computing Power of Hybrid Models in Synchronous Networks Pierre Fraigniaud Pedro Montealegre Pablo Paredes I. Rapaport Martín Ríos-Wilson Ioan Todinca 30 2 0 04 Aug 2022
What can be certified compactly? Nicolas Bousquet Laurent Feuilloley Théo Pierron 22 17 0 12 Feb 2022
Local certification of graph decompositions and applications to minor-free classes Nicolas Bousquet Laurent Feuilloley Théo Pierron 21 22 0 30 Jul 2021
Compact Distributed Certification of Planar Graphs Laurent Feuilloley Pierre Fraigniaud I. Rapaport É. Rémila Pedro Montealegre Ioan Todinca 18 28 0 12 May 2020
Distributed Maximum Matching Verification in CONGEST Mohamad Ahmadi Fabian Kuhn 29 7 0 18 Feb 2020
Introduction to local certification Laurent Feuilloley 22 31 0 28 Oct 2019
Trade-offs in Distributed Interactive Proofs P. Crescenzi Pierre Fraigniaud A. Paz 14 27 0 09 Aug 2019
Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms Lélia Blin Laurent Feuilloley Gabriel Le Bouder 25 4 0 21 May 2019
Distributed Automata and Logic Fabian Reiter 6 2 0 16 May 2018
Error-Sensitive Proof-Labeling Schemes Laurent Feuilloley Pierre Fraigniaud 62 13 0 11 May 2017
A Time Hierarchy Theorem for the LOCAL Model Yi-Jun Chang Seth Pettie 20 95 0 20 Apr 2017
Certification of Compact Low-Stretch Routing Schemes Alkida Balliu Pierre Fraigniaud 16 5 0 20 Apr 2017
How Long It Takes for an Ordinary Node with an Ordinary ID to Output? Laurent Feuilloley 11 14 0 19 Apr 2017
A hierarchy of local decision Laurent Feuilloley Pierre Fraigniaud J. Hirvonen 12 38 0 29 Feb 2016