Publications

195 results at Journal of the ACM

The Intractability of Bounded Protocols for On-Line Sequence Transmission over Non-FIFO Channels
- - Yishay Mansour
  - Baruch Schieber
- 1992
- Journal of the ACM
Nonoblivious Hashing
- - Amos Fiat
  - Moni Naor
  - et al.
- 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
Sparse Dynamic Programming I: Linear 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
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
A Propositional Modal Logic of Time Intervals
- - Joseph Y. Halpern
  - Yoav Shoham
- 1991
- Journal of the ACM
Nonmonotonic Default Modal Logics
- - Michael Tiomkin
  - Michael Kaminski
- 1991
- Journal of the ACM