Discrete Mathematics · Computer Science
Local certification of geometric graph classes
Oscar Defrain, Louis Esperet, Aurélie Lagoutte, Pat Morin +1
2026-02-25
Distributed, Parallel, and Cluster Computing · Computer Science
Reductions in local certification
Louis Esperet, Sébastien Zeitoun
2025-06-30
Distributed, Parallel, and Cluster Computing · Computer Science
Local certification of graph decompositions and applications to minor-free classes
Nicolas Bousquet, Laurent Feuilloley, Théo Pierron
2021-09-14
Distributed, Parallel, and Cluster Computing · Computer Science
Decreasing verification radius in local certification
Laurent Feuilloley, Jan Janoušek, Jan Matyáš Křišťan, Josef Erik Sedláček
2024-08-21
Distributed, Parallel, and Cluster Computing · Computer Science
Local certification of forbidden subgraphs
Nicolas Bousquet, Linda Cook, Laurent Feuilloley, Théo Pierron +1
2024-10-07
Distributed, Parallel, and Cluster Computing · Computer Science
Local certification of local properties: tight bounds, trade-offs and new parameters
Nicolas Bousquet, Laurent Feuilloley, Sébastien Zeitoun
2023-12-27
Distributed, Parallel, and Cluster Computing · Computer Science
Local certification of MSO properties for bounded treedepth graphs
Nicolas Bousquet, Laurent Feuilloley, Théo Pierron
2021-10-18
Distributed, Parallel, and Cluster Computing · Computer Science
Proving there is a leader without naming it
Laurent Feuilloley, Josef Erik Sedláček, Martin Slávik
2025-11-20
Distributed, Parallel, and Cluster Computing · Computer Science
Lower bound for constant-size local certification
Virgina Ardévol Martínez, Marco Caoduro, Laurent Feuilloley, Jonathan Narboni +2
2024-10-11
Distributed, Parallel, and Cluster Computing · Computer Science
What can be certified compactly?
Nicolas Bousquet, Laurent Feuilloley, Théo Pierron
2022-02-15
Distributed, Parallel, and Cluster Computing · Computer Science
A Tight Meta-theorem for LOCAL Certification of MSO$_2$ Properties within Bounded Treewidth Graphs
Linda Cook, Eun Jung Kim, Tomáš Masařík
2026-03-16
Distributed, Parallel, and Cluster Computing · Computer Science
Local Certification of Some Geometric Intersection Graph Classes
Benjamín Jauregui, Pedro Montealegre, Diego Ramírez-Romero, Ivan Rapaport
2023-09-12
Distributed, Parallel, and Cluster Computing · Computer Science
Optimal local certification on graphs of bounded pathwidth
Dan Alden Baterisna, Yi-Jun Chang
2025-02-04
Data Structures and Algorithms · Computer Science
Improved Certificates for Independence Number in Semirandom Hypergraphs
Pravesh Kothari, Anand Louis, Rameesh Paul, Prasad Raghavendra
2026-03-10
Distributed, Parallel, and Cluster Computing · Computer Science
Global certification via perfect hashing
Nicolas Bousquet, Laurent Feuilloley, Sébastien Zeitoun
2024-02-07
Distributed, Parallel, and Cluster Computing · Computer Science
Complexity landscape for local certification
Nicolas Bousquet, Laurent Feuilloley, Sébastien Zeitoun
2025-05-28
Discrete Mathematics · Computer Science
Certificates in P and Subquadratic-Time Computation of Radius, Diameter, and all Eccentricities in Graphs
Feodor F. Dragan, Guillaume Ducoffe, Michel Habib, Laurent Viennot
2026-01-26
Combinatorics · Mathematics
Critical $(P_5,W_4)$-Free Graphs
Wen Xia, Jorik Jooken, Jan Goedgebeur, Iain Beaton +2
2025-01-10
Distributed, Parallel, and Cluster Computing · Computer Science
A hierarchy of local decision
Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen
2016-03-01