Richard A. DeMillo

31 papers and 1.5k indexed citations i.

Richard A. DeMillo has authored 31 papers that have received a total of 1.5k indexed citations. This includes 12 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 7 papers in Software. The topics of these papers are Software Testing and Debugging Techniques (7 papers), Software Reliability and Analysis Research (6 papers) and Computability, Logic, AI Algorithms (5 papers). Richard A. DeMillo is often cited by papers focused on Software Testing and Debugging Techniques (7 papers), Software Reliability and Analysis Research (6 papers) and Computability, Logic, AI Algorithms (5 papers) and collaborates with scholars based in United States, Canada and France. Richard A. DeMillo's co-authors include R.J. Lipton, Richard J. Lipton, Stanley C. Eisenstat, Philip B. Stark and Andrew W. Appel and has published in prestigious journals such as Communications of the ACM, ACM Computing Surveys and Journal of the ACM.