David Chase

5 papers and 193 indexed citations i.

David Chase has authored 5 papers that have received a total of 193 indexed citations. This includes 5 papers in Artificial Intelligence, 2 papers in Computer Networks and Communications and 2 papers in Software. The topics of these papers are Logic, programming, and type systems (4 papers), Software Testing and Debugging Techniques (2 papers) and Machine Learning and Algorithms (1 paper). David Chase is often cited by papers focused on Logic, programming, and type systems (4 papers), Software Testing and Debugging Techniques (2 papers) and Machine Learning and Algorithms (1 paper) and collaborates with scholars based in United States and South Korea. David Chase's co-authors include Mark N. Wegman, Victor Luchangco, Scott E. Kilpatrick, Eric E. Allen and Guy L. Steele and has published in prestigious journals such as ACM SIGPLAN Notices