John Hughes
About
John Hughes has authored 58 papers that have received a total of 1.4k indexed citations.
This includes 28 papers in Artificial Intelligence, 21 papers in Software and 17 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (21 papers), Software Testing and Debugging Techniques (19 papers) and Formal Methods in Verification (15 papers). John Hughes is often cited by papers focused on Logic, programming, and type systems (21 papers), Software Testing and Debugging Techniques (19 papers) and Formal Methods in Verification (15 papers) and collaborates with scholars based in Sweden, United Kingdom and United States. John Hughes's co-authors include Koen Claessen, Thomas Arts, Nicholas Smallbone, Leonidas Lampropoulos and Benjamin C. Pierce and has published in prestigious journals such as Journal of Medicinal Chemistry, ACM Computing Surveys and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Ahmed Bassiouni are published in Top journals papers by Kulvinder Singh are published in Top journals papers by Muhammad Arsalan are published in Top journals papers by C. V. Prowse are published in Top fields papers by Frank W. Hensley are about Top fields papers by Bo Zeng are about Top fields papers by Hermann Laferl are about Top fields papers by R. Botondi are about