David Bolton

22 papers and 1.2k indexed citations i.

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

Rankless by CCL
2025