Search - Archive ouverte HAL Access content directly

Filter your results

35 Results
authFullName_s : Laurent Feuilloley

Compact Distributed Certification of Planar Graphs

Laurent Feuilloley , Pierre Fraigniaud , Pedro Montealegre , Ivan Rapaport , Éric Rémila et al.
Algorithmica, 2021, 83 (7), pp.2215-2244. ⟨10.1007/s00453-021-00823-w⟩
Journal articles hal-03540582v1
Image document

Lower bounds for text indexing with mismatches and differences

Vincent Cohen-Addad , Laurent Feuilloley , Tatiana Starikovskaya
SODA 2019 - Symposium on Discrete Algorithms, Jan 2019, San Diego, United States
Conference papers hal-01960182v1
Image document

Compact Distributed Certification of Planar Graphs

Laurent Feuilloley , Pierre Fraigniaud , Pedro Montealegre , Ivan Rapaport , Éric Rémila et al.
39th ACM Symposium on Principles of Distributed Computing, Aug 2020, Virtual Event Italy, Italy. pp.319-328, ⟨10.1145/3382734.3404505⟩
Conference papers halshs-02991868v1
Image document

Borne inférieure optimale pour la complexité spatiale des algorithmes déterministes auto-stabilisants d'élection

Lélia Blin , Laurent Feuilloley , Gabriel Le Bouder
AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France
Conference papers hal-03651152v2
Image document

Error-Sensitive Proof-Labeling Schemes

Laurent Feuilloley , Pierre Fraigniaud
Journal of Parallel and Distributed Computing, In press, ⟨10.1016/j.jpdc.2022.04.015⟩
Journal articles hal-03650181v1
Image document

Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms

Lélia Blin , Laurent Feuilloley , Gabriel Le Bouder
OPODIS 2021 - International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France
Conference papers hal-03536828v1
Image document

Randomized Local Network Computing

Laurent Feuilloley , Pierre Fraigniaud
27th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Jun 2015, Portland, United States. pp.340-349, ⟨10.1145/2755573.2755596⟩
Conference papers hal-01247357v1

Error-Sensitive Proof-Labeling Schemes

Pierre Fraigniaud , Laurent Feuilloley
DISC 2017 - 31st International Symposium on Distributed Computing, Oct 2017, Vienna, Austria. pp.1-15, ⟨10.4230/LIPIcs.DISC.2017.16⟩
Conference papers hal-01674660v1
Image document

Local Certification of Graph Decompositions and Applications to Minor-Free Classes

Nicolas Bousquet , Laurent Feuilloley , Théo Pierron
25th International Conference on Principles of Distributed Systems, OPODIS 2021, Dec 2021, Strasbourg, France. ⟨10.4230/LIPIcs.OPODIS.2021.22⟩
Conference papers hal-03610456v1
Image document

Short and local transformations between ($\Delta+1$)-colorings

Nicolas Bousquet , Laurent Feuilloley , Marc Heinrich , Mikaël Rabie
2022
Preprints, Working Papers, ... hal-03663638v1

Redundancy in distributed proofs

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen , Ami Paz , Mor Perry et al.
Distributed Computing, 2021, 34 (2), pp.113-132. ⟨10.1007/s00446-020-00386-z⟩
Journal articles hal-03871467v1

A hierarchy of local decision

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen
Theoretical Computer Science, 2021, 856, pp.51-67. ⟨10.1016/j.tcs.2020.12.017⟩
Journal articles hal-03871480v1
Image document

Local certification in distributed computing: error-sensitivity, uniformity, redundancy, and interactivity

Laurent Feuilloley
Computer Science [cs]. Université paris diderot, 2018. English. ⟨NNT : ⟩
Theses tel-01962784v1
Image document

Vérification de preuves distribuées : compromis temps-espace

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen , Ami Paz , Mor Perry et al.
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Conference papers hal-02118043v1
Image document

Local Certification of Graphs with Bounded Genus

Laurent Feuilloley , Pierre Fraigniaud , Pedro Montealegre , Ivan Rapaport , Eric Rémila et al.
2022
Preprints, Working Papers, ... hal-03663680v1

Brief Announcement: Local Certification of Graph Decompositions and Applications to Minor-Free Classes

Nicolas Bousquet , Laurent Feuilloley , Théo Pierron
35th International Symposium on Distributed Computing, (DISC)2021,, Oct 2021, Freiburg, Germany. ⟨10.4230/LIPIcs.DISC.2021.49⟩
Conference papers hal-03394564v1
Image document

Silent MST Approximation for Tiny Memory

Lélia Blin , Swan Dubois , Laurent Feuilloley
SSS 2020 : The 22th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, TX / Virtual, United States. pp.118-132, ⟨10.1007/978-3-030-64348-5_10⟩
Conference papers hal-03140584v1

Graph classes and forbidden patterns on three vertices

Laurent Feuilloley , Michel Habib
2018
Preprints, Working Papers, ... hal-01958194v1
Image document

What Can Be Certified Compactly?

Nicolas Bousquet , Laurent Feuilloley , Théo Pierron
PODC '22: ACM Symposium on Principles of Distributed Computing, Jul 2022, Salerno, Italy. pp.131-140, ⟨10.1145/3519270.3538416⟩
Conference papers hal-03773011v1
Image document

Survey of Distributed Decision

Laurent Feuilloley , Pierre Fraigniaud
2016
Preprints, Working Papers, ... hal-01331880v1

Lower bound for constant-size local certification

Virginia Ardévol Martínez , Marco Caoduro , Laurent Feuilloley , Jonathan Narboni , Pegah Pournajafi et al.
2022
Preprints, Working Papers, ... hal-03874894v1
Image document

Randomized local network computing : Derandomization beyond locally checkable labelings

Laurent Feuilloley , Pierre Fraigniaud
ACM Transactions on Parallel Computing, 2021, 8 (4), pp.1-25. ⟨10.1145/3470640⟩
Journal articles hal-03610006v1
Image document

Local certification in distributed computing : error-sensitivity, uniformity, redundancy, and interactivity

Laurent Feuilloley
Technology for Human Learning. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCC086⟩
Theses tel-02282506v1
Image document

Local certification of graph decompositions and applications to minor-free classes

Nicolas Bousquet , Laurent Feuilloley , Théo Pierron
2022
Preprints, Working Papers, ... hal-03772974v1
Image document

Introduction to local certification

Laurent Feuilloley
Discrete Mathematics and Theoretical Computer Science, 2021, 23 (3), ⟨10.46298/dmtcs.6280⟩
Journal articles hal-03615706v1

Lower Bound for Constant-Size Local Certification

Virginia Ardévol Martínez , Marco Caoduro , Laurent Feuilloley , Jonathan Narboni , Pegah Pournajafi et al.
Stabilization, Safety, and Security of Distributed Systems, 24th International Symposium, SSS 2022, Clermont-Ferrand, France, Nov 2022, Clermont-Ferrand, France. pp.239-253, ⟨10.1007/978-3-031-21017-4_16⟩
Conference papers hal-03874784v1
Image document

A Hierarchy of Local Decision

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen
2016
Preprints, Working Papers, ... hal-01290693v1
Image document

Classifying grounded intersection graphs via ordered forbidden patterns

Laurent Feuilloley , Michel Habib
2022
Preprints, Working Papers, ... hal-03663668v1
Image document

Distributed Recoloring of Interval and Chordal Graphs

Nicolas Bousquet , Laurent Feuilloley , Marc Heinrich , Mikaël Rabie
25th International Conference on Principles of Distributed Systems, OPODIS 2021, Dec 2021, Strasbourg, France. ⟨10.4230/LIPIcs.OPODIS.2021.19⟩
Conference papers hal-03610449v1
Image document

Redundancy in Distributed Proofs

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen , Ami Paz , Mor Perry et al.
32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩
Conference papers hal-01964771v1