| No. |
Title |
Author |
Year |
| 1 |
Trade-Offs in Distributed Interactive Proofs |
Crescenzi, Pierluigi et al. |
2019 |
| 2 |
Equilibria of Games in Networks for Local Tasks |
Collet, Simon et al. |
2018 |
| 3 |
Redundancy in Distributed Proofs |
Feuilloley, Laurent et al. |
2018 |
| 4 |
Certification of Compact Low-Stretch Routing Schemes |
Balliu, Alkida et al. |
2017 |
| 5 |
Error-Sensitive Proof-Labeling Schemes |
Feuilloley, Laurent et al. |
2017 |
| 6 |
Three Notes on Distributed Property Testing |
Even, Guy et al. |
2017 |
| 7 |
What Can Be Verified Locally? |
Balliu, Alkida et al. |
2017 |
| 8 |
A Hierarchy of Local Decision |
Feuilloley, Laurent et al. |
2016 |
| 9 |
Decentralized Asynchronous Crash-Resilient Runtime Verification |
Bonakdarpour, Borzoo et al. |
2016 |
| 10 |
Epidemic Algorithms and Processes: From Theory to Applications (Dagstuhl Seminar 13042) |
Doerr, Benjamin et al. |
2013 |
| 11 |
Theory and Applications of Graph Searching Problems (GRASTA 2011) (Dagstuhl Seminar 11071) |
Fomin, Fedor V. et al. |
2011 |
