Clare Dixon

Geciteerd door

	Alles	Sinds 2015
Citaties	2083	784
h-index	24	15
i10-index	56	20

180

135

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920209 12 13 25 43 30 65 54 68 121 95 101 77 87 63 81 92 96 102 130 129 82 121 149 172

Medeauteurs

Michael FisherProfessor of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityGeverifieerd e-mailadres voor liverpool.ac.uk
Carmen Fernandez GagoUniversity of Malaga (Spain)Geverifieerd e-mailadres voor lcc.uma.es
Louise DennisDepartment of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupGeverifieerd e-mailadres voor liverpool.ac.uk
Renate A SchmidtSchool of Computer Science, The University of ManchesterGeverifieerd e-mailadres voor cs.man.ac.uk
Frans CoenenProfessor in Computer Science, University of Liverpool, Data Mining and Machine Learning GroupGeverifieerd e-mailadres voor liverpool.ac.uk
Michael WooldridgeUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaGeverifieerd e-mailadres voor uwa.edu.au
John-Jules MeyerUtrecht University / Emotional Brain BVGeverifieerd e-mailadres voor cs.uu.nl
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoGeverifieerd e-mailadres voor inf.unibz.it
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk

Clare Dixon

University of Liverpool;

Geverifieerd e-mailadres voor liverpool.ac.uk

Artificial Intelligence Formal Methods Verification Automated Reasoning


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	239	2001
Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998	98	1998
Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012	95	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	93	2005
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	69	1998
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	59	2019
Towards temporal verification of swarm robotic systems C Dixon, AFT Winfield, M Fisher, C Zeng Robotics and Autonomous Systems 60 (11), 1429-1441, 2012	58	2012
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	46	2015
Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005	46	2005
Search strategies for resolution in temporal logics C Dixon International Conference on Automated Deduction, 673-687, 1996	46	1996
Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22 (1-2), 87-115, 1998	45	1998
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	42	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	42	2002
Formal verification of an autonomous personal robotic assistant M Webster, M Salem, C Dixon, M Fisher, K Dautenhahn AIAA, 2014	39	2014
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 (9-12 …, 2015	37	2015
Temporal logics of knowledge and their applications in security C Dixon, MCF Gago, M Fisher, W van der Hoek Electronic Notes in Theoretical Computer Science 186, 27-42, 2007	32	2007
Tractable Temporal Reasoning. C Dixon, M Fisher, B Konev IJCAI 7, 318-323, 2007	31	2007
Normal forms and proofs in combined modal and temporal logics U Hustadt, C Dixon, RA Schmidt, M Fisher International Workshop on Frontiers of Combining Systems, 73-87, 2000	30	2000
Clausal resolution for normal modal logics C Nalon, C Dixon Journal of Algorithms 62 (3-4), 117-134, 2007	29	2007
Clausal resolution in a logic of rational agency C Dixon, M Fisher, A Bolotov Artificial Intelligence 139 (1), 47-89, 2002	28	2002

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs