J G. Brotherston
About
J G. Brotherston has authored 46 papers that have received a total of 609 indexed citations.
This includes 19 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 14 papers in Epidemiology. The topics of these papers are Logic, programming, and type systems (17 papers), Formal Methods in Verification (13 papers) and Logic, Reasoning, and Knowledge (13 papers). J G. Brotherston is often cited by papers focused on Logic, programming, and type systems (17 papers), Formal Methods in Verification (13 papers) and Logic, Reasoning, and Knowledge (13 papers) and collaborates with scholars based in United Kingdom, Kenya and Russia. J G. Brotherston's co-authors include N.J.L. Gilmour, Max Kanovich, Nikos Gorogiannis, Cristiano Calcagno and J.T. Stamp and has published in prestigious journals such as Nature, Journal of the ACM and Veterinary Record
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by M. Muikku are published in Top countries impacted by papers by Eva Martínez‐Nevado Top fields papers by Müller-Hermelink Hk are about Top authors papers by María Luz Puertas are co-authored with Top fields papers by Shelley Dole are about Top countries impacted by papers by Christy Noble Top authors papers by Rantej Bali are co-authored with Top fields papers by Daniel J. D. Natusch are about