Simple and efficient bounded concurrent timestamping or bounded concurrent timestamp systems are comprehensible!
- Cynthia Dwork
- Orli Waarts
- 1992
- STOC 1992
Conference paper
Publications
14 results at STOC 1992
Exponential determinization for ω-automata with strong-fairness acceptance condition
- Shmuel Safra
- 1992
- STOC 1992
Conference paperAsymptotic conditional probabilities for first-order logic
- Adam J. Grove
- Joseph Y. Halpern
- et al.
- 1992
- STOC 1992
Conference paperMaking zero-knowledge provers efficient
- Mihir Bellare
- Erez Petrankt
- 1992
- STOC 1992
Conference paperOn the hardness of computing the permanent of random matrices
- Uriel Feige
- Carsten Lund
- 1992
- STOC 1992
Conference paperFully dynamic planarity testing
- Zvi Galil
- Giuseppe F. Italiano
- et al.
- 1992
- STOC 1992
Conference paperBalanced matroids
- Tomás Feder
- Milena Mihail
- 1992
- STOC 1992
Conference paperCommunication complexity of secure computation
- Matthew Franklin
- Moti Yung
- 1992
- STOC 1992
Conference paperEfficient program transformations for resilient parallel computation via randomization
- Z.M. Kedem
- Krishna V. Palem
- et al.
- 1992
- STOC 1992
Conference paperA deterministic poly(log log N)-time N-processor algorithm for linear programming in fixed dimension
- Miklos Ajtai
- Nimrod Megiddo
- 1992
- STOC 1992
Conference paper