Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

195 results at 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
Minimal and Complete Word Unification
- - Joxan Jaffar
- 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
Calculating Joint Queue-Length Distributions in Product-Form Queuing Networks
- - Edmundo de Souza e Silva
  - S.S. Lavenberg
- 1989
- Journal of the ACM
Computing on an Anonymous Ring
- - Hagit Attiya
  - Marc Snir
  - et al.
- 1988
- Journal of the ACM
Parallel Hashing: An Efficient Implementation of Shared Memory
- - Anna R. Karlin
  - Eli Upfal
- 1988
- Journal of the ACM
The parallel complexity of exponentiating polynomials over finite fields
- - Faith E. Fich
  - Martin Tompa
- 1988
- Journal of the ACM
Consensus in the presence of partial synchrony
- - Cynthia Dwork
  - Nancy Lynch
  - et al.
- 1988
- Journal of the ACM
The complexity of searching a graph
- - Nimrod Megiddo
  - S.L. Hakimi
  - et al.
- 1988
- Journal of the ACM