Author: Richard A. DeMillo

Publication Overview

Publication period start: 1979
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.
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Get one powerful email each week, like 326,226 others.

Learn to design a life you love.

Next email in
6
days
21
hrs
22
mins
48
secs