Steve Reeves
About
Steve Reeves has authored 51 papers that have received a total of 298 indexed citations.
This includes 30 papers in Artificial Intelligence, 18 papers in Software and 15 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (14 papers), Advanced Software Engineering Methodologies (14 papers) and Formal Methods in Verification (12 papers). Steve Reeves is often cited by papers focused on Logic, programming, and type systems (14 papers), Advanced Software Engineering Methodologies (14 papers) and Formal Methods in Verification (12 papers) and collaborates with scholars based in New Zealand, United Kingdom and United States. Steve Reeves's co-authors include Judy Bowen, Martin C. Henson, Richard Bornat, Pat Fung and Tom O’Shea and has published in prestigious journals such as Computers & Education, Minerals Engineering and The Philosophical Quarterly
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Michel Paty are about Top journals papers by S. P. Zhou are published in Top countries impacted by papers by Yusuf Madendağ Top countries impacted by papers by F. R. Hewgill Top authors papers by J. M. Jowett are co-authored with Top journals papers by José Alfredo Vicente Orellana are published in Top authors papers by T. A. MODRO are co-authored with Top countries impacted by papers by Miroslav Haviar