Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

36 résultats
Page :
triés par
Image document

When Should You Wait Before Updating? Toward a Robustness Refinement

 Swan Dubois , Laurent Feuilloley , Franck Petit , Mikaël Rabie
2023
Pré-publication, Document de travail hal-04101692v1
Image document

A Hierarchy of Local Decision

 Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen
2016
Pré-publication, Document de travail hal-01290693v1
Image document

Local Certification of Graphs with Bounded Genus

 Laurent Feuilloley , Pierre Fraigniaud , Pedro Montealegre , Ivan Rapaport , Eric Rémila , et al.
Discrete Applied Mathematics, 2023, 325, pp.9--36. ⟨10.1016/j.dam.2022.10.004⟩
Article dans une revue hal-03663680v1
Image document

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

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

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

 Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen , Ami Paz , Mor Perry
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Communication dans un congrès hal-02118043v1
Image document

Local certification of local properties: tight bounds, trade-offs and new parameters

 Nicolas Bousquet , Laurent Feuilloley , Sébastien Zeitoun
2024
Pré-publication, Document de travail hal-04440851v1

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⟩
Communication dans un congrès hal-03394564v1
Image document

Redundancy in Distributed Proofs

 Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen , Ami Paz , Mor Perry
32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩
Communication dans un congrès hal-01964771v1
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⟩
Communication dans un congrès hal-03610449v1
Image document

Classifying grounded intersection graphs via ordered forbidden patterns

 Laurent Feuilloley , Michel Habib
2022
Pré-publication, Document de travail hal-03663668v1
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⟩
Communication dans un congrès hal-03140584v1

Graph classes and forbidden patterns on three vertices

 Laurent Feuilloley , Michel Habib
2018
Pré-publication, Document de travail 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⟩
Communication dans un congrès hal-03773011v1
Image document

Graph classes and forbidden patterns on three vertices

 Laurent Feuilloley , Michel Habib
SIAM Journal on Discrete Mathematics, 2021, 35 (1), pp.55--90. ⟨10.1137/19M1280399⟩
Article dans une revue hal-04101700v1
Image document

Survey of Distributed Decision

 Laurent Feuilloley , Pierre Fraigniaud
2016
Pré-publication, Document de travail hal-01331880v1
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⟩
Article dans une revue hal-03610006v1
Image document

Introduction to local certification

 Laurent Feuilloley
Discrete Mathematics and Theoretical Computer Science, 2021, 23 (3), ⟨10.46298/dmtcs.6280⟩
Article dans une revue hal-03615706v1
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, Starsbourg, France. pp.22:1--22:17, ⟨10.4230/LIPIcs.OPODIS.2021.22⟩
Communication dans un congrès hal-03772974v1

A lower bound for constant-size local certification

 Virginia Ardévol Martínez , Marco Caoduro , Laurent Feuilloley , Jonathan Narboni , Pegah Pournajafi , et al.
Theoretical Computer Science, 2023, 971, pp.114068. ⟨10.1016/j.tcs.2023.114068⟩
Article dans une revue hal-03874894v1
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
Communication dans un congrès hal-03651152v2
Image document

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⟩
Article dans une revue hal-03540582v1
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⟩
Communication dans un congrès halshs-02991868v1
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
Communication dans un congrès hal-01960182v1
Image document

Locally Optimal Load Balancing

 Laurent Feuilloley , Juho Hirvonen , Jukka Suomela
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_36⟩
Communication dans un congrès hal-01207214v1

Pattern detection in ordered graphs

 Guillaume Ducoffe , Michel Habib , François Pitois , Laurent Feuilloley
2023
Pré-publication, Document de travail hal-04003273v1

A Hierarchy of Local Decision

 Pierre Fraigniaud , Laurent Feuilloley , Juho Hirvonen
43rd International Colloquium on Automata, Languages, and Programming (ICALP) , 2016, Roma, Italy
Communication dans un congrès hal-01423644v1
Image document

How long it takes for an ordinary node with an ordinary id to output?

 Laurent Feuilloley
Theoretical Computer Science, In press, ⟨10.1016/j.tcs.2019.01.023⟩
Article dans une revue hal-02076161v1
Image document

Complexité en moyenne pour le modèle LOCAL

 Laurent Feuilloley
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès hal-01148513v1
Image document

A 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.114068, ⟨10.1007/978-3-031-21017-4_16⟩
Communication dans un congrès hal-03874784v1

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⟩
Communication dans un congrès hal-01674660v1
Page :