Author: Richard A. DeMillo

Publications

Publication period start: 1978
Number of co-authors: 3

Co-authors

Number of publications with favourite co-authors
Stanley C. Eisenstat
1
Alan J. Perlis
1
Richard J. Lipton
2

Productive Colleagues

Most productive colleagues in number of publications
Stanley C. Eisenstat
1
Richard J. Lipton
3
Alan J. Perlis
16

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.