Concepedia

Clare Dixon

CD

48

Publications

1.8K

Citations

24

H-Index

1998

Active since

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 engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningVerificationSystems EngineeringRoboticsAutomationTemporal Reasoning

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

Applied Logic, Computational Logic, Clausal Temporal Resolution +13

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 · 139 citations

Child Psychology, Psychiatry, Medicine +9

Analysing robot swarm behaviour via probabilistic model checking

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

Engineering, Automation, Verification +8

Taxonomy of Trust-Relevant Failures and Mitigation Strategies

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

Engineering, Information Security, Trust Management Architecture +21

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

Artificial Intelligence, Robotic Systems, Engineering +17

Rows per page

1–5 of 48