Richard J. Boulton
About
Richard J. Boulton has authored 8 papers that have received a total of 12 indexed citations.
This includes 7 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 2 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Logic, Reasoning, and Knowledge (3 papers). Richard J. Boulton is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Logic, Reasoning, and Knowledge (3 papers) and collaborates with scholars based in United Kingdom, United States and South Sudan. Richard J. Boulton's co-authors include Jon Whittle, Alan Bundy, Martin Porter, Michael Norrish and Konrad Slind and has published in prestigious journals such as ACM SIGIR Forum, Journal of Automated Reasoning and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Masanori Hattori Top fields papers by Elena Belousova are about Top fields papers by Herbert Tingsten are about Top fields papers by Dean Kirkel are about Top countries impacted by papers by Tony Blair Top fields papers by Andrea Petrucci are about Top fields papers by F. Wilde are about Top journals papers by Martin Schønemann‐Lund are published in