Thermodynamics of computation and information distance
- Charles H. Bennett
- Péter Gács
- et al.
- 1993
- STOC 1993
Conference paper
Publications
13 results at STOC 1993
Constructing small sample spaces satisfying given constraints
- Daphne Koller
- Nimrod Lvlegiddo
- 1993
- STOC 1993
Conference paperLower bounds for randomized mutual exclusion
- Eyal Kushilevitz
- Yishay Mansour
- et al.
- 1993
- STOC 1993
Conference paperSeparator based sparsification for dynamic planar graph algorithms
- David Eppstein
- Zvi Galil
- et al.
- 1993
- STOC 1993
Conference paperFully polynomial byzantine agreement in t + 1 rounds
- Juan A. Garay
- Yoram Moses
- 1993
- STOC 1993
Conference paperWhat can be computed locally?
- Moni Naor
- Larry Stockmeyer
- 1993
- STOC 1993
Conference paperTime optimal self-stabilizing synchronization
- Baruch Awerbuch
- Shay Kutten
- et al.
- 1993
- STOC 1993
Conference paperContention in shared memory algorithms
- Cynthia Dwork
- Maurice Herlihy
- et al.
- 1993
- STOC 1993
Conference paperParametric real-Time reasoning
- Rajeev Alur
- Thomas A. Henzinger
- et al.
- 1993
- STOC 1993
Conference paperEfficient probabilistically checkable proofs and applications to approximation
- Mihir Bellare
- S. Goldwasser
- et al.
- 1993
- STOC 1993
Conference paper