Clare Dixon

70 papers and 957 indexed citations i.

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