Publication
Practical Byzantine Fault Tolerance
Publication
Bayesian Inference of a Uniform Distribution
Publication
The Wildfire Challenge Problem
Publication
Inadequacy of Computable Loop Invariants
Publication