→ Every paper has its own small webpage (with slides, links etc.).
Just click on the title!
In this page, the publications are sorted by topic, and only the
latest version is listed. See also
publications by year.
For informal publications (and publications in French) see
also my other works and
the blog.
Local certification
- Renaming in distributed certification
with Nicolas Bousquet, Louis Esperet
and
Théo Pierron.
arxiv version.
- Local certification of forbidden subgraphs
with Nicolas Bousquet,
Linda Cook,
Théo Pierron,
and
Sébastien Zeitoun.
arxiv version.
-
Decreasing verification radius in local certification
with Josef Erik Sedláček, Jan Matyáš Křišťan and Jan Janoušek.
ALGOWIN 2024
- Brief Announcement:
Global certification via perfect hashing
with Nicolas Bousquet and Sébastien Zeitoun.
PODC 2024
- Local certification of local properties: tight bounds,
trade-offs and new parameters
with Nicolas Bousquet and Sébastien
Zeitoun.
STACS 2024.
-
Local Certification of Graphs with Bounded Genus
with Pierre Fraigniaud, Ivan Rapaport,
Éric Rémila,
Pedro Montealegre and Ioan Todinca.
Discrete Applied Mathematics (DAM) 2023.
-
Lower bound for constant-size local certification
with
Virgina Ardévol Martínez,
Marco Caoduro,
Jonathan Narboni,
Pegah Pournajafi,
and
Jean-Florent Raymond.
Theoretical Computer science. 2023
Conference version at SSS 2022
- What can be certified compactly?
with Nicolas Bousquet and Théo Pierron.
PODC 2022.
- Local certification of graph decompositions and applications
to minor-free classes
with Nicolas Bousquet and Théo Pierron.
Journal of parallel and distributed computing (JPDC) 2024.
Conference version at OPODIS 2021
Brief announcement at DISC 2021.
-
Introduction to local certification
DMTCS 2021.
-
Compact Distributed Certification of Planar Graphs
with Pierre Fraigniaud, Ivan Rapaport,
Éric Rémila,
Pedro Montealegre and Ioan Todinca.
Algorithmica. 2021
Conference version
at PODC 2020
.
-
Local certification in distributed computing:
error-sensitivity, uniformity, redundancy, and interactivity
PhD thesis.
-
A Hierarchy of Local Decision
with Pierre Fraigniaud and Juho Hirvonen.
Theoretical Computer Science (TCS).
Conference version
at ICALP 2016
.
-
Redundancy in Distributed Proofs
with
Pierre Fraigniaud, Juho Hirvonen, Ami Paz and Mor Perry.
Distributed computing.
Conference version
at DISC 2018
.
-
Local verification of global proofs
with
Juho Hirvonen.
DISC 2018.
-
Error-Sensitive Proof-Labeling Schemes
with Pierre Fraigniaud. Journal of Parallel and Distributed Computing.
Conference version at DISC 2017.
-
Survey of Distributed Decision.
with Pierre Fraigniaud. Bulletin of the EATCS, No 119.
More distributed graph algorithms
More graph algorithms and graph theory
More algorithms