Publications

195 results at Journal of the ACM

A Model-Theoretic Analysis of Knowledge
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1991
- Journal of the ACM
A Lower Bound for Integer Greatest Common Divisor Computations
- - Yishay Mansour
  - Baruch Schieber
  - et al.
- 1991
- Journal of the ACM
Early Stopping in Byzantine Agreement
- - Danny Dolev
  - Ruediger Reischuk
  - et al.
- 1990
- Journal of the ACM
Knowledge and Common Knowledge in a Distributed Environment
- - Joseph Y. Halpern
  - Yoram Moses
- 1990
- Journal of the ACM
Analysis of Database Performance with Dynamic Locking
- - In Kyung Ryu
  - Alexander Thomasian
- 1990
- Journal of the ACM
Renaming in an Asynchronous Environment
- - Hagit Attiya
  - Amotz Bar-Noy
  - et al.
- 1990
- Journal of the ACM
Minimal and Complete Word Unification
- - Joxan Jaffar
- 1990
- Journal of the ACM
Polynomial-Time Implication Problems for Unary Inclusion Dependencies
- - Stavros S. Cosmadakis
  - Paris C. Kanellakis
  - et al.
- 1990
- Journal of the ACM
Completeness of Rewrite Rules and Rewrite Strategies for FP
- - Joseph Y. Halpern
  - John H. Williams
  - et al.
- 1990
- Journal of the ACM
Calculating Availability and Performability Measures of Repairable Computer Systems Using Randomization
- - Edmundo de Souza e Silva
  - H.Richard. Gail
- 1989
- Journal of the ACM