Clare Dixon

Cited by

	All	Since 2018
Citations	2818	1149
h-index	27	16
i10-index	67	27

300

150

225

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220237 13 12 24 41 38 70 55 65 115 104 101 73 89 65 83 97 98 118 137 133 77 123 162 201 266 287 104

Public access

View all

40 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
Matt WebsterPostdoc in Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Cláudia NalonComputer Science, University of BrasíliaVerified email at unb.br
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Marie FarrellThe University of ManchesterVerified email at manchester.ac.uk
Carmen Fernandez GagoUniversity of Malaga (Spain)Verified email at lcc.uma.es
Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooVerified email at uwaterloo.ca
Paul GainerExscientiaVerified email at exscientia.co.uk
Matt LuckcuckLecturer at the University of DerbyVerified email at derby.ac.uk
Alexander BolotovUniversity of WestminsterVerified email at wmin.ac.uk
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupVerified email at liverpool.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
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.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
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	246	2001
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	229	2019
Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012	115	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	111	2005
Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998	102	1998
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	80	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	80	2012
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
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	67	2020
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	63	2020
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	54	2014
Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005	50	2005
Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22, 87-115, 1998	50	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	49	2015
Search strategies for resolution in temporal logics C Dixon Automated Deduction—Cade-13: 13th International Conference on Automated …, 1996	48	1996
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	44	2004
Combinations of modal logics B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ... Artificial Intelligence Review 17 (1), 1-20, 2002	44	2002
Clausal resolution for normal modal logics C Nalon, C Dixon Journal of Algorithms 62 (3-4), 117-134, 2007	38	2007
Formal verification of probabilistic swarm behaviours S Konur, C Dixon, M Fisher Swarm Intelligence: 7th International Conference, ANTS 2010, Brussels …, 2010	36	2010
Verifying brahms human-robot teamwork models R Stocker, L Dennis, C Dixon, M Fisher Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012	32	2012

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