No. Title Author Year
1 Redundancy in Distributed Proofs Feuilloley, Laurent et al. 2018
2 Certification of Compact Low-Stretch Routing Schemes Balliu, Alkida et al. 2017
3 Error-Sensitive Proof-Labeling Schemes Feuilloley, Laurent et al. 2017
4 Three Notes on Distributed Property Testing Even, Guy et al. 2017
5 What Can Be Verified Locally? Balliu, Alkida et al. 2017
6 A Hierarchy of Local Decision Feuilloley, Laurent et al. 2016
7 Decentralized Asynchronous Crash-Resilient Runtime Verification Bonakdarpour, Borzoo et al. 2016
8 Epidemic Algorithms and Processes: From Theory to Applications (Dagstuhl Seminar 13042) Doerr, Benjamin et al. 2013
9 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: 9

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