[ACM Press the second ACM symposium - Los Angeles, California, United States (1971.03.23-1971.03.25)] Proceedings of the second ACM symposium on Symbolic and algebraic manipulation - SYMSAC '71 - Integer arithmetic algorithms for polynomial real zero determinationHeindel, Lee E. · 1971

Algorithms for exact polynomial root calculationHeindel, Lee E. · ACM SIGSAM Bulletin · 1970

Computation of powers of multivariate polynomialsover the integersLee E. Heindel · 1972

Congruence arithmetic algorithms for polynomial real zero determinationLee E. Heindel · 1974

Introduction to the Automatic Message Accounting Data Network System (AMADNS) 1Lee E. Heindel; Helen L. Hogan; Vincent A. Kasten · 1997

[ACM Press the second ACM symposium - Los Angeles, California, United States (1971.03.23-1971.03.25)] Proceedings of the second ACM symposium on Symbolic and algebraic manipulation - SYMSAC '71 - Integer arithmetic algorithms for polynomial real zero determinationHeindel, Lee E. · 1971

Abstraction in query processingImielinski, Tomasz · Journal of the ACM · 1991

The PCP theorem by gap amplificationDinur, Irit · Journal of the ACM · 2007

New Methods in Automatic ExtractingEdmundson, H. P. · Journal of the ACM · 1969

Inference of Reversible LanguagesAngluin, Dana · Journal of the ACM · 1982

Eigenvalues and expansion of regular graphsKahale, Nabil · Journal of the ACM · 1995

An Algorithm for Convex PolytopesChand, Donald R.; Kapur, Sham S. · Journal of the ACM · 1970

How to construct random functionsGoldreich, Oded; Goldwasser, Shafi; Micali, Silvio · Journal of the ACM · 1986

An Algorithm for Subgraph IsomorphismUllmann, J. R. · Journal of the ACM · 1976