Clare Dixon

Cited by

	All	Since 2019
Citations	3624	1542
h-index	30	17
i10-index	76	33

320

160

240

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 15 15 34 55 36 77 66 73 141 108 113 81 97 66 97 111 119 147 145 143 111 139 181 237 296 291 313 217

Public access

View all

44 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Cláudia NalonComputer Science, University of BrasíliaVerified email at unb.br
Dr Matt Webster, PhDComputer ScientistVerified email at liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Marie FarrellThe University of ManchesterVerified email at manchester.ac.uk
Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
Carmen Fernandez GagoUniversity of Malaga (Spain)Verified email at lcc.uma.es
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooVerified email at uwaterloo.ca
Matt LuckcuckAssistant Professor of Computer ScienceVerified email at nottingham.ac.uk
Paul GainerExscientiaVerified email at exscientia.co.uk
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupVerified email at liverpool.ac.uk
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Alexander BolotovUniversity of WestminsterVerified email at wmin.ac.uk
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk
Renate A SchmidtSchool of Computer Science, The University of ManchesterVerified email at cs.man.ac.uk
Kheng Lee KoayUniversity of HertfortshireVerified email at herts.ac.uk
Maha SalemWhatsApp/Facebook UKVerified email at mahasalem.net
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVerified email at uwa.edu.au

Clare Dixon

University of Manchester

Verified email at manchester.ac.uk - Homepage

Verification Automated Reasoning Robotics and Autonomous Systems Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal specification and verification of autonomous robotic systems: A survey M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher ACM Computing Surveys (CSUR) 52 (5), 1-41, 2019	336	2019
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	257	2001
A resolution-based proof method for temporal logics of knowledge and belief M Fisher, M Wooldridge, C Dixon Practical Reasoning: International Conference on Formal and Applied …, 1996	214	1996
A new parenting-based group intervention for young anxious children: Results of a randomized controlled trial S Cartwright-Hatton, D McNally, AP Field, S Rust, B Laskey, C Dixon, ... Journal of the American Academy of Child & Adolescent Psychiatry 50 (3), 242 …, 2011	189	2011
Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012	125	2012
On formal specification of emergent behaviours in swarm robotic systems AFT Winfield, J Sa, MC Fernández-Gago, C Dixon, M Fisher International journal of advanced robotic systems 2 (4), 39, 2005	116	2005
Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998	105	1998
Taxonomy of trust-relevant failures and mitigation strategies S Tolmeijer, A Weiss, M Hanheide, F Lindner, TM Powers, C Dixon, ... Proceedings of the 2020 acm/ieee international conference on human-robot …, 2020	102	2020
Toward reliable autonomous robotic assistants through formal verification: A case study M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ... IEEE Transactions on Human-Machine Systems 46 (2), 186-196, 2015	88	2015
Towards temporal verification of swarm robotic systems C Dixon, AFT Winfield, M Fisher, C Zeng Robotics and Autonomous Systems 60 (11), 1429-1441, 2012	84	2012
A corroborative approach to verification and validation of human–robot teams M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe The International Journal of Robotics Research 39 (1), 73-99, 2020	80	2020
A tableau-based proof method for temporal logics of knowledge and belief M Wooldridge, C Dixon, M Fisher Journal of applied non-classical logics 8 (3), 225-258, 1998	71	1998
An intelligent process model: predicting springback in single point incremental forming MS Khan, F Coenen, C Dixon, S El-Salhi, M Penalva, A Rivero The International Journal of Advanced Manufacturing Technology 76, 2071-2082, 2015	63	2015
Formal verification of an autonomous personal robotic assistant M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ... 2014 AAAI Spring Symposium Series, 2014	56	2014
Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22, 87-115, 1998	50	1998
An overview of verification and validation challenges for inspection robots M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ... Robotics 10 (2), 67, 2021	49	2021
Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005	49	2005
Search strategies for resolution in temporal logics C Dixon International Conference on Automated Deduction, 673-687, 1996	48	1996
Combinations of modal logics B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ... Artificial Intelligence Review 17 (1), 1-20, 2002	45	2002
Using temporal logics of knowledge in the formal verification of security protocols C Dixon, MCF Gago, M Fisher, W van der Hoek Proceedings. 11th International Symposium on Temporal Representation and …, 2004	43	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors