Richard A. DeMillo
发表
Michael Merritt,
Richard A. DeMillo,
Daniel E Hocking,
1981
.
Eugene H. Spafford,
Richard A. DeMillo,
Hsin Pan,
1996,
ISSTA '96.
A. Jefferson Offutt,
Richard A. DeMillo,
A. Offutt,
1993,
TSEM.
Richard J. Lipton,
Richard A. DeMillo,
R. Lipton,
1978,
Inf. Process. Lett..
Richard J. Lipton,
Richard A. DeMillo,
R. Lipton,
1979,
STOC.
Barry W. Boehm,
Nancy A. Lynch,
Butler W. Lampson,
1999,
SOEN.
Richard J. Lipton,
Richard A. DeMillo,
Stanley C. Eisenstat,
1975,
STOC '75.
A. Jefferson Offutt,
Richard A. DeMillo,
A. Offutt,
1991,
IEEE Trans. Software Eng..
Richard A. DeMillo,
K. Vairavan,
K. Vairavan,
1974,
STOC '74.
Richard A. DeMillo,
2012,
CACM.
Richard J. Lipton,
Richard A. DeMillo,
R. Lipton,
1979,
Mathematical systems theory.
Richard J. Lipton,
Richard A. DeMillo,
Stanley C. Eisenstat,
1976
.
Richard J. Lipton,
Richard A. DeMillo,
Stanley C. Eisenstat,
1978,
CACM.
Eugene H. Spafford,
Richard A. DeMillo,
Hiralal Agrawal,
1990
.
Richard J. Lipton,
Richard A. DeMillo,
Stanley C. Eisenstat,
1976
.
Nancy A. Lynch,
Michael Merritt,
Richard A. DeMillo,
1982,
STOC '82.
Richard J. Lipton,
Richard A. DeMillo,
1980
.
Eugene H. Spafford,
Richard A. DeMillo,
Hiralal Agrawal,
1993,
Softw. Pract. Exp..
Richard J. Lipton,
Richard A. DeMillo,
Frederick G. Sayward,
1978,
Computer.
Nancy A. Lynch,
Michael Merritt,
Richard A. DeMillo,
1981,
CRYPTO.
Richard J. Lipton,
Richard A. DeMillo,
Universityof Wisconsin,
1980
.
John R. Rice,
Richard A. DeMillo,
1994,
Software Science and Engineering.
Eugene H. Spafford,
Richard A. DeMillo,
Aditya P. Mathur,
1989,
[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.
Richard A. DeMillo,
Aditya P. Mathur,
E. W. Krauser,
1991,
[1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.
Richard J. Lipton,
Richard A. DeMillo,
R. Lipton,
1980,
STOC '80.
Richard J. Lipton,
Richard A. DeMillo,
George I. Davida,
1980,
1980 IEEE Symposium on Security and Privacy.
Richard A. DeMillo,
K. Vairavan,
E. Sycara-Cyranski,
1977,
JACM.
Richard J. Lipton,
Richard A. DeMillo,
Timothy A. Budd,
1980,
POPL '80.
Eugene H. Spafford,
Richard A. DeMillo,
Hiralal Agrawal,
1991,
TAV4.
Richard J. Lipton,
David P. Dobkin,
Richard A. DeMillo,
1978
.
Richard J. Lipton,
Dan Boneh,
Richard A. DeMillo,
2015,
Journal of Cryptology.
Richard A. DeMillo,
1977,
Notre Dame J. Formal Log..
Wynne Hsu,
Richard A. DeMillo,
Aditya P. Mathur,
2006
.
Richard E. Fairley,
Richard J. Lipton,
Richard A. DeMillo,
1978
.
Richard A. DeMillo,
Dorothy E. Denning,
1988,
IFIP Advances in Information and Communication Technology.
Richard A. DeMillo,
Edith W. Martin,
E. W. Martin,
1986,
IEEE Transactions on Software Engineering.
Richard J. Lipton,
Richard A. DeMillo,
Alan J. Perlis,
1979,
CACM.
Richard A. DeMillo,
Harold S. Stone,
Bruce H. Barnes,
1977,
Computer.
Richard A. DeMillo,
1989,
ICSE.
Richard A. DeMillo,
1991,
[1991 Proceedings] 13th International Conference on Software Engineering.
Michael Merritt,
Richard A. DeMillo,
R. DeMillo,
1983,
Computer.
Richard J. Lipton,
Richard A. DeMillo,
Timothy A. Budd,
1899,
AFIPS National Computer Conference.
Richard J. Lipton,
Richard A. DeMillo,
George I. Davida,
1980,
1980 IEEE Symposium on Security and Privacy.
Richard J. Lipton,
Dan Boneh,
Richard A. DeMillo,
1997,
EUROCRYPT.
Eugene H. Spafford,
Richard A. DeMillo,
Hiralal Agrawal,
1991,
IEEE Software.
Richard A. DeMillo,
1996,
CSUR.
Andrew W. Appel,
Philip B. Stark,
Richard A. DeMillo,
2020
.
Richard J. Lipton,
Richard A. DeMillo,
Stanley C. Eisenstat,
1980,
JACM.
Richard J. Lipton,
Richard A. DeMillo,
Stanley C. Eisenstat,
1976,
JACM.
Raymond E. Miller,
Richard A. DeMillo,
Raymond E. Miller,
1979,
Inf. Process. Lett..
John F. Passafiume,
Richard A. DeMillo,
Michael McCracken,
1987
.
Richard J. Lipton,
Richard A. DeMillo,
George I. Davida,
1981,
ICDCS.
Richard A. DeMillo,
2009,
WISE.
Richard J. Lipton,
Richard A. DeMillo,
R. Lipton,
1991,
IEEE Trans. Software Eng..
Richard A. DeMillo,
W. Eric Wong,
Aditya P. Mathur,
1995,
IEEE Trans. Software Eng..
Eugene H. Spafford,
Richard A. DeMillo,
Hsin Pan,
1997,
Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).
Richard A. DeMillo,
K. Vairavan,
K. Vairavan,
1976,
IEEE Transactions on Computers.
John R. Rice,
Richard A. DeMillo,
1994
.
Richard J. Lipton,
Dan Boneh,
Richard A. DeMillo,
1996
.
Richard J. Lipton,
Richard A. DeMillo,
Alan J. Perlis,
1977,
POPL.
Richard A. DeMillo,
1975,
Notre Dame J. Formal Log..
Richard A. DeMillo,
1994,
IEEE Trans. Software Eng..
Richard A. DeMillo,
Eugene H. Spafford,
Hiralal Agrawal,
2007
.
David P. Dobkin,
Richard A. DeMillo,
1978,
COMPSAC.
Richard J. Lipton,
David P. Dobkin,
Richard A. DeMillo,
1978,
IEEE Transactions on Software Engineering.
Richard J. Lipton,
Richard A. DeMillo,
1979,
SIGA.
Richard A. DeMillo,
2000,
SIGSOFT '00/FSE-8.
Richard A. DeMillo,
2011
.
Richard J. Lipton,
Richard A. DeMillo,
Alan J. Perlis,
1978
.
Richard A. DeMillo,
1998
.
Richard J. Lipton,
Richard A. DeMillo,
Stanley C. Eisenstat,
1978
.
Richard J. Lipton,
Richard A. DeMillo,
Alan J. Perlis,
1978,
SOEN.
Richard J. Lipton,
Richard A. DeMillo,
Stanley C. Eisenstat,
1976
.