Filtrer vos résultats
- 20
- 17
- 1
- 18
- 14
- 3
- 1
- 1
- 1
- 37
- 1
- 13
- 6
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 29
- 9
- 33
- 21
- 9
- 9
- 6
- 5
- 5
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 38
- 8
- 8
- 8
- 7
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
|
SASA : a SimulAtor of Self-stabilizing AlgorithmsThe Computer Journal, In press, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩
Article dans une revue
hal-03603835v1
|
||
|
Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ?AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France
Communication dans un congrès
hal-04085120v1
|
||
|
Pour battre à l'unisson, il faut que tous les chemins viennent de RomeAlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese (Corse), France
Communication dans un congrès
hal-04076915v1
|
||
|
Self-Stabilizing Leader Election in Polynomial StepsInformation and Computation, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
Article dans une revue
hal-01347471v1
|
||
|
Optimal Grid Exploration by Asynchronous Oblivious RobotsInternational Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩
Communication dans un congrès
hal-00934161v1
|
||
Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chiralityTheoretical Computer Science, 2023, 977, pp.114162. ⟨10.1016/j.tcs.2023.114162⟩
Article dans une revue
hal-04206069v1
|
|||
Certification of an exact worst-case self-stabilization timeTheoretical Computer Science, 2022, 941, pp.262-277. ⟨10.1016/j.tcs.2022.11.019⟩
Article dans une revue
hal-03862272v1
|
|||
|
Explorer une grille avec un minimum de robots amnésiques15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès
hal-00817123v1
|
||
|
Quelques Contributions à la Stabilisation InstantanéeRéseaux et télécommunications [cs.NI]. Université de Picardie Jules Verne, 2006. Français. ⟨NNT : ⟩
Thèse
tel-00120382v2
|
||
|
Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments2023
Pré-publication, Document de travail
hal-04159863v1
|
||
|
Exploration perpétuelle : ça s'en va et ça revientAlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France. pp.1-4, ⟨10.5281/zenodo.4640462⟩
Communication dans un congrès
hal-03657044v2
|
||
|
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?FUN 2022 - 11th International Conference on Fun with Algorithms, May 2022, Island of Favignana, Sicily, Italy. ⟨10.4230/LIPIcs.FUN.2022.7⟩
Communication dans un congrès
hal-03746703v1
|
||
Autour de l'autostabilisation. 1. Techniques généralisant l'approcheRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.873-894. ⟨10.3166/tsi.30.873-894⟩
Article dans une revue
istex
hal-01197403v1
|
|||
|
Optimal torus exploration by oblivious robotsComputing, 2019, 101 (9), pp.1241-1264. ⟨10.1007/s00607-018-0595-8⟩
Article dans une revue
hal-02420598v1
|
||
|
The expressive power of snap-stabilizationTheoretical Computer Science, 2016, 626, pp.40-66. ⟨10.1016/j.tcs.2016.01.036⟩
Article dans une revue
hal-01292988v1
|
||
|
Trade-off between time, space workload: the case of the self-stabilizing unisson2023
Pré-publication, Document de travail
hal-04173649v2
|
||
|
Robust Stabilizing Leader Election2007
Pré-publication, Document de travail
hal-00167935v1
|
||
Autour de l'autostabilisation. 1. Techniques généralisant l'approcheRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.873-894
Article dans une revue
hal-01009447v1
|
|||
Light enabling snap-stabilization of fundamental protocolsACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (1), pp.1-27. ⟨10.1145/1462187.1462193⟩
Article dans une revue
hal-03241437v1
|
|||
|
Optimized Silent Self-Stabilizing Scheme for Tree-Based ConstructionsAlgorithmica, 2022, 84 (1), pp.85-123. ⟨10.1007/s00453-021-00878-9⟩
Article dans une revue
hal-03547132v1
|
||
Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per EdgeParallel Processing Letters, 2017, 27 (02), pp.1750002. ⟨10.1142/S0129626417500025⟩
Article dans une revue
hal-03238065v1
|
|||
|
L'autostabilisation, ou comment un système distribué peut se réparer tout seulInterstices, 2023, ⟨10.5281/zenodo.7739661⟩
Article dans une revue
hal-03968455v1
|
||
Autour de l'autostabilisation. 2. Techniques spécialisant l'approcheRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.895-922. ⟨10.3166/tsi.30.895-922⟩
Article dans une revue
istex
hal-01197405v1
|
|||
Complexité certifiée d'algorithmes autostabilisants en rondes25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2023), May 2023, Cargese, France
Communication dans un congrès
hal-04081085v1
|
|||
|
Self-Stabilizing Leader Election in Polynomial StepsSSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.106-119, ⟨10.1007/978-3-319-11764-5_8⟩
Communication dans un congrès
hal-00980798v4
|
||
Self-stabilizing Synchronous Unison in Directed NetworksICDCN 2023: 24th International Conference on Distributed Computing and Networking, Jan 2023, Kharagpur India, France. pp.115-124, ⟨10.1145/3571306.3571397⟩
Communication dans un congrès
hal-03925405v1
|
|||
|
Model Checking of Distributed Algorithms using Synchronous Programs25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023), Shlomi Dolev, Baruch Schieber, Oct 2023, Jersey City, NJ, United States
Communication dans un congrès
hal-04172396v1
|
||
Autour de l'autostabilisation. 2. Techniques spécialisant l'approcheRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.895-922
Article dans une revue
hal-01009448v1
|
|||
|
Optimal grid exploration by asynchronous oblivious robots[Research Report] ???. 2011
Rapport
hal-00591963v3
|
||
|
sasa : a SimulAtor of Self-stabilizing AlgorithmsThe Computer Journal, 2023, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩
Article dans une revue
hal-04186596v1
|
- 1
- 2