Filter your results
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 1
- 4
- 1
- 5
- 3
- 1
- 1
- 5
- 5
- 4
- 3
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
Redundancy in distributed proofsDistributed Computing, 2021, 34 (2), pp.113-132. ⟨10.1007/s00446-020-00386-z⟩
Journal articles
hal-03871467v1
|
||
|
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 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
|
||
Randomized proof-labeling schemesDistributed Computing, 2019, 32 (3), pp.217-234. ⟨10.1007/s00446-018-0340-8⟩
Journal articles
hal-02433478v1
|