research
∙
05/19/2023
Making = Practical: Efficient Interactive Protocols for BDD Algorithms
We show that interactive protocols between a prover and a verifier, a we...
share
research
∙
04/05/2022
Leaderless Population Protocols Decide Double-exponential Thresholds
Population protocols are a model of distributed computation in which fin...
research
∙
02/23/2022
Fast and Succinct Population Protocols for Presburger Arithmetic
In their 2006 seminal paper in Distributed Computing, Angluin et al. pre...
research
∙
02/23/2021
Lower Bounds on the State Complexity of Population Protocols
Population protocols are a model of computation in which an arbitrary nu...
research
∙
01/11/2021
Running Time Analysis of Broadcast Consensus Protocols
Broadcast consensus protocols (BCPs) are a model of computation, in whic...
research
∙
07/05/2020