Clare Dixon
Title
Cited by
Cited by
Year
Framing the doctor‐patient relationship in chronic illness: a comparative study of general practitioners’ accounts
C May, G Allison, A Chapple, C Chew‐Graham, C Dixon, L Gask, ...
Sociology of health & illness 26 (2), 135-158, 2004
2462004
Clausal temporal resolution
M Fisher, C Dixon, M Peim
ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001
2352001
Do general practitioners' attitudes towards depression predict their clinical behaviour?
C Dowrick, L Gask, R Perry, C Dixon, T Usherwood
Psychological medicine 30 (2), 413-419, 2000
1262000
Evaluating STORM skills training for managing people at risk of suicide
L Gask, C Dixon, R Morriss, L Appleby, G Green
Journal of Advanced Nursing 54 (6), 739-750, 2006
1132006
Analysing robot swarm behaviour via probabilistic model checking
S Konur, C Dixon, M Fisher
Robotics and Autonomous Systems 60 (2), 199-213, 2012
972012
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
972005
Resolution for temporal logics of knowledge
C Dixon, M Fisher, M Wooldridge
Journal of Logic and Computation 8 (3), 345-372, 1998
941998
A pragmatic cluster randomized controlled trial of an educational intervention for GPs in the assessment and management of depression
L Gask, C Dowrick, C Dixon, CJ Sutton, R Perry, T Usherwood
Psychological medicine 34 (1), 63-72, 2004
932004
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
842019
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
681998
Towards temporal verification of swarm robotic systems
C Dixon, AFT Winfield, M Fisher, C Zeng
Robotics and Autonomous Systems 60 (11), 1429-1441, 2012
622012
The effects on suicide rates of an educational intervention for front-line health professionals with suicidal patients (the STORM Project)
R Morriss, L Gask, R Webb, C Dixon, L Appleby
Psychological medicine 35 (7), 957, 2005
552005
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
502015
Mechanising first-order temporal resolution
B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt
Information and Computation 199 (1-2), 55-86, 2005
462005
Search strategies for resolution in temporal logics
C Dixon
International Conference on Automated Deduction, 673-687, 1996
461996
Temporal resolution using a breadth-first search algorithm
C Dixon
Annals of Mathematics and Artificial Intelligence 22 (1), 87-115, 1998
441998
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
422004
Combinations of modal logics
B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ...
Artificial Intelligence Review 17 (1), 1-20, 2002
422002
Formal verification of an autonomous personal robotic assistant
M Webster, C Dixon, M Fisher, M Salem, J Saunders, K Koay, ...
Formal Verification and Modeling in Human-Machine Systems, 2014
412014
Qualitative study of an educational intervention for GPs in the assessment and management of depression
L Gask, C Dixon, C May, C Dowrick
British Journal of General Practice 55 (520), 854-859, 2005
382005
The system can't perform the operation now. Try again later.
Articles 1–20