1
Balliu, Alkida
2023
Table of Contents:
“... -- Compatibility of convergence algorithms for autonomous mobile robots -- FnF-BFT: A BFT protocol with provable performance under attack -- Divide & Scale: Formalization and Roadmap to Robust Sharding -- Zero-Memory Graph Exploration with Unknown Inports -- The Energy...”2023
Full text
2
Parter, Merav
2022
Table of Contents:
“...Local Mending -- Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs -- On the Computational Power of Energy-Constrained Mobile Robots: Algorithms and Cross-Model Analysis -- Randomized Strategies for Non-Additive 3-Slope Ski...”2022
Full text