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


DROPS-Home | Fulltext Search | Imprint Published by LZI