Richard Kelsey
About
Richard Kelsey has authored 6 papers that have received a total of 307 indexed citations.
This includes 6 papers in Hardware and Architecture, 4 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. The topics of these papers are Parallel Computing and Optimization Techniques (6 papers), Logic, programming, and type systems (3 papers) and Formal Methods in Verification (2 papers). Richard Kelsey is often cited by papers focused on Parallel Computing and Optimization Techniques (6 papers), Logic, programming, and type systems (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States. Richard Kelsey's co-authors include Paul Hudak, David Kranz, Norman I. Adams, Jonathan Rees and James Philbin and has published in prestigious journals such as ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Jan G. Stannard are about Top countries impacted by papers by Lucas Ambrosano Top fields papers by Margot Veenenbos are about Top journals papers by Urs Wiedemann are published in Top journals papers by PJ Milham are published in Top authors papers by Vincent Pacault are co-authored with Top countries impacted by papers by Kelly J. Jones Top journals papers by Joshua M. Oakes are published in