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

DROPS-Home | Imprint | Privacy Published by LZI