Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Walfish
Verifying Computations With State
Related publications
Verifying Computations With Streaming Interactive Proofs
Proceedings of the VLDB Endowment
Computer Science
FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq
Transitive Closures of Regular Relations for Verifying Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computations With Algebraic Curves
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Accurate Computations With Lupaş Matrices
Applied Mathematics and Computation
Computational Mathematics
Applied Mathematics
Robust Computations With Dynamical Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Performance for Autonomous Robot Missions With Uncertainty
IFAC Proceedings Volumes
Verifying Message-Passing Programs With Dependent Behavioural Types
Specifying and Verifying Systems With Multiple Clocks
