John P. Gallagher
About
John P. Gallagher has authored 58 papers that have received a total of 767 indexed citations.
This includes 30 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 11 papers in Software. The topics of these papers are Logic, programming, and type systems (25 papers), Formal Methods in Verification (23 papers) and Software Testing and Debugging Techniques (11 papers). John P. Gallagher is often cited by papers focused on Logic, programming, and type systems (25 papers), Formal Methods in Verification (23 papers) and Software Testing and Debugging Techniques (11 papers) and collaborates with scholars based in Denmark, Spain and United States. John P. Gallagher's co-authors include Sandra P. Marshall, Ian G. McKendry, John W. Cotton, Manuel V. Hermenegildo and A. M. Macdonald and has published in prestigious journals such as PEDIATRICS, Materials Science and Engineering A and Atmospheric chemistry and physics
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Ryo Ohta are co-authored with Top authors papers by Luciana Alves Rodrigues dos Santos Lima are co-authored with Top journals papers by Charles N. Caughlan are published in Top fields papers by Adam T. Devlin are about Top countries impacted by papers by Seon‐Hwan Kim Top fields papers by Marko Turek are about Top fields papers by Xing Wei are about Top fields papers by Xiongfei Chen are about