Julian Bradfield
About
Julian Bradfield has authored 11 papers that have received a total of 115 indexed citations.
This includes 9 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 1 paper in Biomedical Engineering. The topics of these papers are Formal Methods in Verification (7 papers), Logic, Reasoning, and Knowledge (6 papers) and Logic, programming, and type systems (6 papers). Julian Bradfield is often cited by papers focused on Formal Methods in Verification (7 papers), Logic, Reasoning, and Knowledge (6 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in United Kingdom, France and Denmark. Julian Bradfield's co-authors include Julián Gutiérrez, Perdita Stevens, Michael Wooldridge, Patrick Honeybone and Simon Kramer and has published in prestigious journals such as Theoretical Computer Science, Synthese and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Quentin Maestraggi Top fields papers by M. P. Chekhovskaya are about Top journals papers by Brett Benyo are published in Top countries impacted by papers by Gene S. Tan Top fields papers by Lahra Smith are about Top journals papers by N. H. Tran are published in Top fields papers by Chaitanya Talnikar are about Top fields papers by H. J. Jiang are about