Filter your results
- 6
- 6
- 7
- 4
- 1
- 12
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 11
- 1
- 8
- 4
- 3
- 1
- 1
- 1
- 7
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Brief Announcement: What Can(Not) Be Perfectly Rerouted Locally34th International Symposium on Distributed Computing (DISC 2020), Oct 2020, Virtual, France. ⟨10.4230/LIPIcs.DISC.2020.46⟩
Conference papers
hal-03049117v1
|
||
|
On the Feasibility of Perfect Resilience with Local Fast Failover2nd Symposium on Algorithmic Principles of Computer Systems (APOCS 2021), Jan 2021, Alexandria (Virtual), United States
Conference papers
hal-03049009v1
|
||
Node labels in local decisionTheoretical Computer Science, 2018, 751, pp.61-73
Journal articles
hal-01964773v1
|
|||
|
Node Labels in Local Decision 22nd International Colloquium on Structural Information and Communication Complexity (SIROCCO), Jul 2015, Montserrat, Spain. pp.589-598, ⟨10.1007/978-3-319-25258-2_3⟩
Conference papers
hal-01247355v1
|
||
|
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
|
||
|
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
|
||
|
A Hierarchy of Local Decision2016
Preprints, Working Papers, ...
hal-01290693v1
|
||
|
Redundancy in Distributed Proofs32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩
Conference papers
hal-01964771v1
|
||
|
Redundancy in distributed proofsDistributed Computing, 2021, 34 (2), pp.113-132. ⟨10.1007/s00446-020-00386-z⟩
Journal articles
hal-03872299v1
|
||
|
On the Price of Locality in Static Fast Rerouting52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2022, Baltimore, United States. pp.215-226, ⟨10.1109/dsn53405.2022.00032⟩
Conference papers
hal-03859648v1
|
||
A Hierarchy of Local Decision43rd International Colloquium on Automata, Languages, and Programming (ICALP) , 2016, Roma, Italy
Conference papers
hal-01423644v1
|