Clare Dixon

University of Liverpool, University of Manchester

Papers

29

Total Citations

999

H-Index

14

About

No biography available yet.

Research Focus

Computer science29 · 999 citations
Artificial intelligence21 · 769 citations
Robot20 · 763 citations
Software engineering15 · 587 citations
Programming language16 · 509 citations
Formal verification13 · 473 citations
Robotics6 · 420 citations
Formal methods9 · 413 citations
Swarm behaviour7 · 307 citations
Swarm robotics7 · 307 citations
Correctness3 · 280 citations
Formal specification2 · 273 citations

Key Achievements

14
H-Index
29
Papers
999
Total Citations
34
Avg Citations/Paper
🏆 Most Cited Paper
Formal Specification and Verification of Autonomous Robotic Systems
264 citations · 2019
📈 Most Prolific Year: 2021 (4 Papers)
🤝 Key Collaborators: 51
🏛 Institutions: University of Liverpool, University of Manchester

Top Papers

  1. 1
    Formal Specification and Verification of Autonomous Robotic Systems
    264 citations · 2019
  2. 2
    Analysing robot swarm behaviour via probabilistic model checking
    95 citations · 2011
  3. 3
    Taxonomy of Trust-Relevant Failures and Mitigation Strategies
    93 citations · 2020
  4. 4
    On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
    79 citations · 2005
  5. 5
    Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
    70 citations · 2015
  6. 6
    An Overview of Verification and Validation Challenges for Inspection Robots
    60 citations · 2021
  7. 7
    Towards temporal verification of swarm robotic systems
    59 citations · 2012
  8. 8
    Formal Verification of an Autonomous Personal Robotic Assistant
    31 citations · 2014
  9. 9
    Formal Verification of Probabilistic Swarm Behaviours
    27 citations · 2010
  10. 10
    A Review of Verification and Validation for Space Autonomous Systems
    24 citations · 2021

Key Collaborators

MFMichael Fisher22 shared papersMWMatt Webster11 shared papersMFMarie Farrell9 shared papersLALouise A. Dennis9 shared papersKDKerstin Dautenhahn6 shared papersJSJoe Saunders5 shared papersRCRafael C. Cardoso5 shared papersGKGeorgios Kourtis4 shared papersAWAlan Winfield4 shared papersKLKheng Lee Koay4 shared papersUHUllrich Hustadt3 shared papersALAlexei Lisitsa3 shared papersMLMatt Luckcuck3 shared papersPGPaul Gainer3 shared papersMSMaha Salem3 shared papersSKSavas Konur2 shared papersNMNikos Mavrakis2 shared papersAFAngelo Ferrando2 shared papersRSRichard Stocker2 shared papersYGYang Gao2 shared papers
Not generated yet