Clare Dixon
About
Clare Dixon has authored 70 papers that have received a total of 957 indexed citations.
This includes 39 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 12 papers in Clinical Psychology. The topics of these papers are Formal Methods in Verification (31 papers), Logic, Reasoning, and Knowledge (29 papers) and Logic, programming, and type systems (26 papers). Clare Dixon is often cited by papers focused on Formal Methods in Verification (31 papers), Logic, Reasoning, and Knowledge (29 papers) and Logic, programming, and type systems (26 papers) and collaborates with scholars based in United Kingdom, Australia and United States. Clare Dixon's co-authors include Michael Fisher, Anna McKinnon, Richard Meiser‐Stedman, Patrick Smith and Ullrich Hustadt and has published in prestigious journals such as Journal of the American Academy of Child & Adolescent Psychiatry, Journal of Child Psychology and Psychiatry and Psychological Medicine
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Gholamreza Arab Markadeh are co-authored with Top authors papers by Haibo Hu are co-authored with Top countries impacted by papers by E. F. Jaeger Top countries impacted by papers by W.O. George Top journals papers by Patricia Bruijning‐Verhagen are published in Top authors papers by Varghese Thomas are co-authored with Top fields papers by J.V. Brenčič are about Top countries impacted by papers by Sarah Hartley