Filter your results
- 24
- 11
- 16
- 9
- 8
- 2
- 34
- 3
- 1
- 1
- 9
- 10
- 2
- 3
- 4
- 1
- 3
- 2
- 32
- 3
- 23
- 17
- 10
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 4
- 31
- 10
- 6
- 6
- 4
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Compact Distributed Certification of Planar GraphsAlgorithmica, 2021, 83 (7), pp.2215-2244. ⟨10.1007/s00453-021-00823-w⟩
Journal articles
hal-03540582v1
|
||
|
Lower bounds for text indexing with mismatches and differencesSODA 2019 - Symposium on Discrete Algorithms, Jan 2019, San Diego, United States
Conference papers
hal-01960182v1
|
||
|
Compact Distributed Certification of Planar Graphs39th ACM Symposium on Principles of Distributed Computing, Aug 2020, Virtual Event Italy, Italy. pp.319-328, ⟨10.1145/3382734.3404505⟩
Conference papers
halshs-02991868v1
|
||
|
Borne inférieure optimale pour la complexité spatiale des algorithmes déterministes auto-stabilisants d'électionAlgoTel 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
|
||
|
Error-Sensitive Proof-Labeling SchemesJournal of Parallel and Distributed Computing, In press, ⟨10.1016/j.jpdc.2022.04.015⟩
Journal articles
hal-03650181v1
|
||
|
Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election AlgorithmsOPODIS 2021 - International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France
Conference papers
hal-03536828v1
|
||
|
Randomized Local Network Computing27th 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 SchemesDISC 2017 - 31st International Symposium on Distributed Computing, Oct 2017, Vienna, Austria. pp.1-15, ⟨10.4230/LIPIcs.DISC.2017.16⟩
Conference papers
hal-01674660v1
|
|||
|
Local Certification of Graph Decompositions and Applications to Minor-Free Classes25th International Conference on Principles of Distributed Systems, OPODIS 2021, Dec 2021, Strasbourg, France. ⟨10.4230/LIPIcs.OPODIS.2021.22⟩
Conference papers
hal-03610456v1
|
||
|
Short and local transformations between ($\Delta+1$)-colorings2022
Preprints, Working Papers, ...
hal-03663638v1
|
||
|
Redundancy in distributed proofsDistributed Computing, 2021, 34 (2), pp.113-132. ⟨10.1007/s00446-020-00386-z⟩
Journal articles
hal-03871467v1
|
||
|
A hierarchy of local decisionTheoretical Computer Science, 2021, 856, pp.51-67. ⟨10.1016/j.tcs.2020.12.017⟩
Journal articles
hal-03871480v1
|
||
|
Local certification in distributed computing: error-sensitivity, uniformity, redundancy, and interactivityComputer Science [cs]. Université paris diderot, 2018. English. ⟨NNT : ⟩
Theses
tel-01962784v1
|
||
|
Vérification de preuves distribuées : compromis temps-espaceALGOTEL 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
|
||
|
Local Certification of Graphs with Bounded Genus2022
Preprints, Working Papers, ...
hal-03663680v1
|
||
|
Brief Announcement: Local Certification of Graph Decompositions and Applications to Minor-Free Classes35th International Symposium on Distributed Computing, (DISC)2021,, Oct 2021, Freiburg, Germany. ⟨10.4230/LIPIcs.DISC.2021.49⟩
Conference papers
hal-03394564v1
|
||
|
Silent MST Approximation for Tiny MemorySSS 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 vertices2018
Preprints, Working Papers, ...
hal-01958194v1
|
||
|
What Can Be Certified Compactly?PODC '22: ACM Symposium on Principles of Distributed Computing, Jul 2022, Salerno, Italy. pp.131-140, ⟨10.1145/3519270.3538416⟩
Conference papers
hal-03773011v1
|
||
|
Survey of Distributed Decision2016
Preprints, Working Papers, ...
hal-01331880v1
|
||
|
Lower bound for constant-size local certification2022
Preprints, Working Papers, ...
hal-03874894v1
|
||
|
Randomized local network computing : Derandomization beyond locally checkable labelingsACM Transactions on Parallel Computing, 2021, 8 (4), pp.1-25. ⟨10.1145/3470640⟩
Journal articles
hal-03610006v1
|
||
|
Local certification in distributed computing : error-sensitivity, uniformity, redundancy, and interactivityTechnology for Human Learning. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCC086⟩
Theses
tel-02282506v1
|
||
|
Local certification of graph decompositions and applications to minor-free classes2022
Preprints, Working Papers, ...
hal-03772974v1
|
||
|
Introduction to local certificationDiscrete Mathematics and Theoretical Computer Science, 2021, 23 (3), ⟨10.46298/dmtcs.6280⟩
Journal articles
hal-03615706v1
|
||
|
Lower Bound for Constant-Size Local CertificationStabilization, 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
|
||
|
A Hierarchy of Local Decision2016
Preprints, Working Papers, ...
hal-01290693v1
|
||
|
Classifying grounded intersection graphs via ordered forbidden patterns2022
Preprints, Working Papers, ...
hal-03663668v1
|
||
|
Distributed Recoloring of Interval and Chordal Graphs25th International Conference on Principles of Distributed Systems, OPODIS 2021, Dec 2021, Strasbourg, France. ⟨10.4230/LIPIcs.OPODIS.2021.19⟩
Conference papers
hal-03610449v1
|
||
|
Redundancy in Distributed Proofs32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩
Conference papers
hal-01964771v1
|
- 1
- 2