Publications

195 results at Journal of the ACM

Data Flow Analysis for Procedural Languages
- - Barry K. Rosen
- 1979
- Journal of the ACM
Relations Among Complexity Measures
- - Nicholas Pippenger
  - Michael J. Fischer
- 1979
- Journal of the ACM
Path Calculus in Program Verification
- - Daniel Brand
- 1978
- Journal of the ACM
On the Average Number of Maxima in a Set of Vectors and Applications
- - J.L. Bentley
  - H.T. Kung
  - et al.
- 1978
- Journal of the ACM
Some Matching Problems for Bipartite Graphs
- - Steven L. Tanimoto
  - Alon Itai
  - et al.
- 1978
- Journal of the ACM
Dynamic Placement of Records in Linear Storage
- - A.C. McKellar
  - C.K. Wong
- 1978
- Journal of the ACM
A Time-Space Trade-Off
- - Nicholas Pippenger
- 1978
- Journal of the ACM
Regenerative Simulation of Response Times in Networks of Queues
- - Donald L. Iglehart
  - Gerald S. Shedler
- 1978
- Journal of the ACM
Big Buckets Are (Are Not) Better!
- - Ian F. Blake
  - Alan G. Konheim
- 1977
- Journal of the ACM
On Live-Dead Analysis for Global Data Flow Problems
- - Lawrence T. Kou
- 1977
- Journal of the ACM