Richard J. Lipton

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1975
Publication period end
1979
Number of co-authors
3

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

DeMillo, Richard A., Lipton, Richard J., Perlis, Alan J. (1979): Social Processes and Proofs of Theorems and Programs. In Communications of the ACM, 22 (5) pp. 271-280.

DeMillo, Richard A., Eisenstat, Stanley C., Lipton, Richard J. (1978): Preserving Average Proximity in Arrays. In Communications of the ACM, 21 (3) pp. 218-231.

Lipton, Richard J. (1975): Reduction: A Method of Proving Properties of Parallel Programs. In Communications of the ACM, 18 (12) pp. 717-721.