P. H. B. Gardiner
About
P. H. B. Gardiner has authored 9 papers that have received a total of 135 indexed citations.
This includes 8 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (8 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (4 papers). P. H. B. Gardiner is often cited by papers focused on Logic, programming, and type systems (8 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (4 papers) and collaborates with scholars based in United Kingdom and United States. P. H. B. Gardiner's co-authors include Carroll Morgan, Andrew Martin, Jim Woodcock, Clare Martin and Oege de Moor and has published in prestigious journals such as Theoretical Computer Science, Acta Informatica and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Ashish K. Maurya are published in Top authors papers by Sai J. Ganesan are co-authored with Top countries impacted by papers by Alexander Maskin Top countries impacted by papers by Paulo Soltoski Top fields papers by Lawrence A. Jones are about Top fields papers by Aya Wakabayashi are about Top journals papers by Margarita Vázquez-Navarro are published in Top countries impacted by papers by Joshua Lange