Efficient program transformations for resilient parallel computation via randomization
- Z.M. Kedem
- Krishna V. Palem
- et al.
- 1992
- STOC 1992
Publications
Date
Featured collections
Popular topics
9 results for Michael O. Rabin
Simplified VSS and fast-track multiparty computations with applications to threshold cryptography
- R. Gennaro
- M. Rabin
- et al.
- 1998
- PODC 1998
Lower bounds for randomized mutual exclusion
- Eyal Kushilevitz
- Yishay Mansour
- et al.
- 1993
- STOC 1993
Decidability of second-order theories and automata on infinite trees
- Michael O. Rabin
- 1969
- Trans. Am. Math. Soc.
Decidability of second-order theories and automata on infinite trees
- Michael O. Rabin
- 1968
- Bulletin of the American Mathematical Society
Fast evaluation of polynomials by rational preparation
- Michael O. Rabin
- Shmuel Winograd
- 2006
- Communications on Pure and Applied Mathematics
Lower bounds for randomized mutual exclusion
- Eyal Kushilevitz
- Yishay Mansour
- et al.
- 1998
- SIAM Journal on Computing
Set systems with no union of cardinality 0 modulo m
- N. Alon
- D. Kleitman
- et al.
- 1991
- Graphs and Combinatorics
A logic to reason about likelihood
- Joseph Y. Halpern
- Michael O. Rabin
- 1987
- Artificial Intelligence