Clare Dixon

Citada per

	Totes	Des de 2020
Citacions	3450	1313
Índex h	29	15
Índex i10	73	27

280

140

210

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202517 19 15 34 57 36 78 66 75 142 109 112 80 97 66 86 98 110 131 131 133 84 123 159 203 266 272 274 264 32

Accés públic

Mostra-ho tot

44 articles

3 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Michael FisherProfessor of Computer Science, University of ManchesterCorreu electrònic verificat a manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolCorreu electrònic verificat a liverpool.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterCorreu electrònic verificat a manchester.ac.uk
Cláudia NalonComputer Science, University of BrasíliaCorreu electrònic verificat a unb.br
Dr Matt Webster, PhDComputer ScientistCorreu electrònic verificat a liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityCorreu electrònic verificat a liverpool.ac.uk
Marie FarrellThe University of ManchesterCorreu electrònic verificat a manchester.ac.uk
Alexei LisitsaUniversity of LiverpoolCorreu electrònic verificat a liverpool.ac.uk
Carmen Fernandez GagoUniversity of Malaga (Spain)Correu electrònic verificat a lcc.uma.es
Matt LuckcuckAssistant Professor of Computer Science, University of NottinghamCorreu electrònic verificat a nottingham.ac.uk
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooCorreu electrònic verificat a uwaterloo.ca
Paul GainerCorreu electrònic verificat a exscientia.co.uk
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupCorreu electrònic verificat a liverpool.ac.uk
Michael WooldridgeUniversity of OxfordCorreu electrònic verificat a cs.ox.ac.uk
Alexander BolotovUniversity of WestminsterCorreu electrònic verificat a wmin.ac.uk
Renate A SchmidtSchool of Computer Science, The University of ManchesterCorreu electrònic verificat a cs.man.ac.uk
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupCorreu electrònic verificat a liverpool.ac.uk
Kheng Lee KoayUniversity of HertfortshireCorreu electrònic verificat a herts.ac.uk
Maha SalemWhatsApp/Facebook UKCorreu electrònic verificat a mahasalem.net
A G PipeBristol Robotics LaboratoryCorreu electrònic verificat a brl.ac.uk

Segueix

Clare Dixon

University of Manchester

Correu electrònic verificat a manchester.ac.uk - Pàgina d'inici

Verification Automated Reasoning Robotics and Autonomous Systems Artificial Intelligence


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	358	2019
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	254	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	217	1996
Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012	127	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	119	2005
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	111	2020
Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998	105	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	89	2015
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	83	2020
Towards temporal verification of swarm robotic systems C Dixon, AFT Winfield, M Fisher, C Zeng Robotics and Autonomous Systems 60 (11), 1429-1441, 2012	83	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	72	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, ... AAAI Spring Symposia, 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	55	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	50	2005
Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22, 87-115, 1998	50	1998
Search strategies for resolution in temporal logics C Dixon International Conference on Automated Deduction, 673-687, 1996	46	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	44	2004
Formal verification of probabilistic swarm behaviours S Konur, C Dixon, M Fisher Swarm Intelligence: 7th International Conference, ANTS 2010, Brussels …, 2010	41	2010

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors