David Cooper

6 papers and 33 indexed citations i.

David Cooper has authored 6 papers that have received a total of 33 indexed citations. This includes 3 papers in Artificial Intelligence, 3 papers in Signal Processing and 1 paper in Mechanical Engineering. The topics of these papers are Logic, programming, and type systems (2 papers), Security and Verification in Computing (2 papers) and Advanced Malware Detection Techniques (2 papers). David Cooper is often cited by papers focused on Logic, programming, and type systems (2 papers), Security and Verification in Computing (2 papers) and Advanced Malware Detection Techniques (2 papers) and collaborates with scholars based in United Kingdom. David Cooper's co-authors include Susan Stepney, Roger D. Boyle, John A. Clark, James W. Smith and Charles R. Cooper and has published in prestigious journals such as Journal of Chemical & Engineering Data and Formal Aspects of Computing.