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
Current Page :
Number of result pages: 1
Number of documents: 11


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI