Author: Richard J. Lipton
Publication Overview
Publication period start: 1975
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.