Finite State Verifiers II: Zero Knowledge
- Cynthia Dwork
- Larry Stockmeyer
- 1992
- Journal of the ACM
Publications
8183 results for AI
The Intractability of Bounded Protocols for On-Line Sequence Transmission over Non-FIFO Channels
- Yishay Mansour
- Baruch Schieber
- 1992
- Journal of the ACM
Finite State Verifiers I: The Power of Interaction
- Cynthia Dwork
- Larry Stockmeyer
- 1992
- Journal of the ACM
Sparse Dynamic Programming II: Convex and Concave Cost Functions
- David Eppstein
- Zvi Galil
- et al.
- 1992
- Journal of the ACM
A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols
- Joseph Y. Halpern
- Lenore D. Zuck
- 1992
- Journal of the ACM
Sparse Dynamic Programming I: Linear Cost Functions
- David Eppstein
- Zvi Galil
- et al.
- 1992
- Journal of the ACM
What Can Machines Know?: On the Properties of Knowledge in Distributed Systems
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1992
- Journal of the ACM
An O(log N) Deterministic Packet-Routing Scheme
- Eli Upfal
- 1992
- Journal of the ACM
Image reconstruction on a special purpose array processor
- O.G. Koufopavlou
- C.E. Goutis
- 1992
- Image and Vision Computing
Algorithms for handling skew in parallel task scheduling
- Arun Swami
- Honesty C. Young
- et al.
- 1992
- Journal of Parallel and Distributed Computing