Introduction to local certification

Introduction to local certification

28 October 2019

Laurent Feuilloley

Papers citing "Introduction to local certification"

18 / 18 papers shown

Title
Near-Optimal Resilient Labeling Schemes Keren Censor-Hillel Einav Huberman 66 0 0 02 Dec 2024
Renaming in distributed certification Nicolas Bousquet Louis Esperet Laurent Feuilloley Sébastien Zeitoun 23 3 0 23 Sep 2024
Decreasing verification radius in local certification Laurent Feuilloley Jan Janoušek Jan Matyáš Křišťan Josef Erik Sedláček 26 1 0 20 Aug 2024
Local certification of forbidden subgraphs Nicolas Bousquet Linda Cook Laurent Feuilloley Théo Pierron Sébastien Zeitoun GNN 38 3 0 19 Feb 2024
Local certification of local properties: tight bounds, trade-offs and new parameters Nicolas Bousquet Laurent Feuilloley Sébastien Zeitoun 18 5 0 21 Dec 2023
Local certification of geometric graph classes Oscar Defrain Louis Esperet Aurélie Lagoutte Pat Morin Jean-Florent Raymond 13 2 0 28 Nov 2023
Local Certification of Some Geometric Intersection Graph Classes Benjamín Jauregui Pedro Montealegre Diego Ramírez-Romero I. Rapaport 17 2 0 09 Sep 2023
A LOCAL View of the Polynomial Hierarchy Fabian Reiter 14 0 0 16 May 2023
Parallel Breadth-First Search and Exact Shortest Paths and Stronger Notions for Approximate Distances Václav Rozhon Bernhard Haeupler A. Martinsson Christoph Grunau Goran Zuzic 34 10 0 28 Oct 2022
What can be certified compactly? Nicolas Bousquet Laurent Feuilloley Théo Pierron 22 17 0 12 Feb 2022
Local certification of MSO properties for bounded treedepth graphs Nicolas Bousquet Laurent Feuilloley Théo Pierron 13 4 0 05 Oct 2021
Local certification of graph decompositions and applications to minor-free classes Nicolas Bousquet Laurent Feuilloley Théo Pierron 21 22 0 30 Jul 2021
Labeling Schemes for Deterministic Radio Multi-Broadcast Colin Krisko Avery Miller 11 1 0 17 Apr 2021
Twenty-Two New Approximate Proof Labeling Schemes (Full Version) Y. Emek Yuval Gil 8 9 0 28 Jul 2020
Planarity can be Verified by an Approximate Proof Labeling Scheme in Constant-Time G. Elek 16 5 0 21 Jun 2020
Compact Distributed Certification of Planar Graphs Laurent Feuilloley Pierre Fraigniaud I. Rapaport É. Rémila Pedro Montealegre Ioan Todinca 18 28 0 12 May 2020
Silent MST approximation for tiny memory Lélia Blin Swan Dubois Laurent Feuilloley 11 3 0 21 May 2019
Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms Lélia Blin Laurent Feuilloley Gabriel Le Bouder 17 4 0 21 May 2019