Concepedia

Clare Dixon

CD

Statistics

Publications

48

Citations

1.9K

H-Index

24

Active since

1998

Affiliations

University of Liverpool(Current)

King's College London

Manchester Metropolitan University

University of East Anglia

MRC Cognition and Brain Sciences Unit

Clare Dixon is an author at University of Liverpool specializing in computer science, formal methods, and computing.

Publications per year

1998–2022

48

Publications

48

Clausal temporal resolution

Michael Fisher, Clare Dixon, Martin Peim · ACM Transactions on Computational Logic · 2001 · 171 citations

Computing, Computer Science, Mathematics +11

A New Parenting-Based Group Intervention for Young Anxious Children: Results of a Randomized Controlled Trial

Sam Cartwright‐Hatton, Deb McNally, Andy P. Field et al. · Journal of the American Academy of Child & Adolescent Psychiatry · 2011 · 142 citations · Full text

Education, Pediatrics, Psychology +14

Analysing robot swarm behaviour via probabilistic model checking

Savas Konur, Clare Dixon, Michael Fisher · Robotics and Autonomous Systems · 2011 · 96 citations

Engineering, Computer Science, Robotics Engineering +7

Taxonomy of Trust-Relevant Failures and Mitigation Strategies

Suzanne Tolmeijer, Astrid Weiss, Marc Hanheide et al. · 2020 · 94 citations · Full text

Engineering, Autonomous Systems, Computer Science +17

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems

Alan Winfield, Jin Sa, Carmen Fernández-Gago et al. · International Journal of Advanced Robotic Systems · 2005 · 79 citations · Full text

Engineering, Robotics Engineering, Systems Engineering +8

1–5 of 48