Clare Dixon

Citado por

	Total	Desde 2019
Citas	3631	1549
Índice h	30	17
Índice i10	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 238 295 291 311 225

Acceso público

Ver todo

44 artículos

3 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Michael FisherProfessor of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
Cláudia NalonComputer Science, University of BrasíliaDirección de correo verificada de unb.br
Dr Matt Webster, PhDComputer ScientistDirección de correo verificada de liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityDirección de correo verificada de liverpool.ac.uk
Marie FarrellThe University of ManchesterDirección de correo verificada de manchester.ac.uk
Alexei LisitsaUniversity of LiverpoolDirección de correo verificada de liverpool.ac.uk
Carmen Fernandez GagoUniversity of Malaga (Spain)Dirección de correo verificada de lcc.uma.es
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooDirección de correo verificada de uwaterloo.ca
Matt LuckcuckAssistant Professor of Computer ScienceDirección de correo verificada de nottingham.ac.uk
Paul GainerExscientiaDirección de correo verificada de exscientia.co.uk
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupDirección de correo verificada de liverpool.ac.uk
Michael WooldridgeUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Alexander BolotovUniversity of WestminsterDirección de correo verificada de wmin.ac.uk
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupDirección de correo verificada de liverpool.ac.uk
Renate A SchmidtSchool of Computer Science, The University of ManchesterDirección de correo verificada de cs.man.ac.uk
Kheng Lee KoayUniversity of HertfortshireDirección de correo verificada de herts.ac.uk
Maha SalemWhatsApp/Facebook UKDirección de correo verificada de mahasalem.net
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaDirección de correo verificada de uwa.edu.au

Seguir

Clare Dixon

University of Manchester

Dirección de correo verificada de manchester.ac.uk - Página principal

Verification Automated Reasoning Robotics and Autonomous Systems Artificial Intelligence


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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
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	50	2021
Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22, 87-115, 1998	50	1998
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores