David Bolton
About
David Bolton has authored 22 papers that have received a total of 1.2k indexed citations.
This includes 5 papers in Artificial Intelligence, 3 papers in Education and 3 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Reflective Practices in Education (2 papers). David Bolton is often cited by papers focused on Formal Methods in Verification (3 papers), Logic, programming, and type systems (3 papers) and Reflective Practices in Education (2 papers) and collaborates with scholars based in United States, United Kingdom and Canada. David Bolton's co-authors include J. D. Winefordner, David Till, Paul H. J. Kelly, Sara Jones and Chris Hankin and has published in prestigious journals such as Journal of the Atmospheric Sciences, Monthly Weather Review and Quarterly Journal of the Royal Meteorological Society.
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Lisa Zimmermann are co-authored with Top journals papers by Kwang‐Min Choe are published in Top fields papers by S.E.V. Phillips are about Top fields papers by Rizwana Tabassum are about Top countries impacted by papers by Gareth Hughes Top authors papers by Gerrit Hermann are co-authored with Top journals papers by Chantal Bernard-Marty are published in Top journals papers by Marine L. Croze are published in