Items where Author is "Dixon, Clare"

Journal Article

Farrell, Marie and Bradbury, Matthew and Cardoso, Rafael C. and Fisher, Michael and Dennis, Louise and Dixon, Clare and Sheik, Al Tariq and Yuan, Hu and Maple, Carsten (2024) Security-Minded Verification of Cooperative Awareness Messages. IEEE Transactions on Dependable and Secure Computing, 21 (4). pp. 4048-4065. ISSN 1545-5971

Glover, Louise and Dixon, Clare and Kobylecki, Christopher and Eccles, Fiona (2023) Parkinson's and the couple relationship : A qualitative meta-synthesis. Aging and Mental Health. pp. 1-10. ISSN 1360-7863

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2022) Local is Best: Efficient Reductions to Modal Logic K. Journal of Automated Reasoning, 66 (4): 4. pp. 639-666. ISSN 0168-7433

Fisher, Michael and Cardoso, Rafael C. and Collins, Emily C. and Dadswell, Christopher and Dennis, Louise A. and Dixon, Clare and Farrell, Marie and Ferrando, Angelo and Huang, Xiaowei and Jump, Mike and Kourtis, Georgios and Lisitsa, Alexei and Luckcuck, Matt and Luo, Shan and Page, Vincent and Papacchini, Fabio and Webster, Matthew T. (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2): 67. ISSN 2218-6581

Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael (2020) Multi-scale verification of distributed synchronisation. Formal Methods in System Design, 55. 171–221.

Oliver, James and Dixon, Clare and Murray, Craig David (2020) Being the parent of a child with limb difference who has been provided with an artificial limb : An interpretative phenomenological analysis. Disability and Rehabilitation, 42 (14). pp. 1979-1986. ISSN 0963-8288

Machin, Laura Louise and Bellis, Keiran and Dixon, Clare and Morgan, Hannah and Pye, Jane and Spencer, Philip Mark and Williams, Richard Alun (2019) Interprofessional Education and Practice Guide : Designing ethics-orientated interprofessional education for health and social care students. Journal of Interprofessional Care, 33 (6). pp. 608-618. ISSN 1356-1820

Deavin, Antoinette and Greasley, Peter and Dixon, Clare (2018) Children’s Perspectives on Living With a Sibling With a Chronic Illness. Pediatrics, 142 (2). ISSN 0031-4005

Cappleman, Reed and Bamford, Zandra and Dixon, Clare and Thomas, Hayley (2015) Experiences of ward rounds among in-patients on an acute mental health ward : a qualitative exploration. BJ Psych Bulletin, 39 (5). pp. 233-236. ISSN 2056-4694

Dixon, Clare and Murray, Craig and Daiches, Anna (2013) A qualitative exploration into young children's perspectives and understandings of emotional difficulties in other children. Clinical Child Psychology and Psychiatry, 18 (1). pp. 72-90. ISSN 1359-1045

Windfuhr, Kirsten and Turnbull, Pauline and While, David and Swinson, Nicola and Mehta, Hetal and Hadfield, Kelly and Hiroeh, Urara and Watkinson, Helen and Dixon, Clare and Flynn, Sandra and Thomas, Simon and Lewis, Glyn and Ferrier, I. N. and Amos, Tim and Skapinakis, Petros and Shaw, Jenny and Kapur, Nav and Appleby, Louis (2011) The incidence and associated risk factors for sudden unexplained death in psychiatric in-patients in England and Wales. Journal of Psychopharmacology, 25 (11). pp. 1533-1542. ISSN 0269-8811

Gask, Linda and Dixon, Clare and Morriss, Richard and Appleby, Louis and Green, Gillian (2006) Evaluating STORM skills training for managing people at risk of suicide. Journal of Advanced Nursing, 54 (6). pp. 739-750. ISSN 0309-2402

Gask, Linda and Dixon, Clare and May, Carl and Dowrick, Chris (2005) Qualitative study of an educational intervention for GPs in the assessment and management of depression. British Journal of General Practice, 55 (520). pp. 854-859. ISSN 0960-1643

Morriss, Richard and Gask, Linda and Webb, Roger and Dixon, Clare and Appleby, Louis (2005) The effects on suicide rates of an educational intervention for front-line health professionals with suicidal patients (the STORM Project). Psychological Medicine, 35 (7). pp. 957-960. ISSN 0033-2917

May, Carl and Allison, Gayle and Chapple, Alison and Chew-Graham, Carolyn and Dixon, Clare and Gask, Linda and Graham, Ruth and Rogers, Anne and Roland, Martin (2004) Framing the doctor-patient relationship in chronic illness : A comparative study of general practitioners' accounts. Sociology of Health and Illness, 26 (2). pp. 135-158. ISSN 0141-9889

Contribution in Book/Report/Proceedings

Nalon, Cláudia and Hustadt, Ullrich and Papacchini, Fabio and Dixon, Clare (2023) Buy One Get 14 Free : Evaluating Local Reductions for Modal Logic. In: Automated Deduction – CADE 29 :. Lecture Notes in Computer Science . Springer, Cham, pp. 382-400. ISBN 9783031384981

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2021) Efficient Local Reductions to Basic Modal Logic. In: Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 76-92. ISBN 9783030798758

Maple, Carsten and Bradbury, Matthew and Yuan, Hu and Farrell, Marie and Dixon, Clare and Fisher, Michael and Atmaca, Uger Ilker (2020) Security-Minded Verification of Space Systems. In: 2020 IEEE Aerospace Conference :. IEEE, Big Sky, Montana, USA. ISBN 9781728127354

Farrell, Marie and Bradbury, Matthew and Fisher, Michael and Dennis, Louise A. and Dixon, Clare and Yuan, Hu and Maple, Carsten (2019) Using Threat Analysis Techniques to Guide Formal Verification : A Case Study of Cooperative Awareness Messages. In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. Lecture Notes in Computer Science . Springer International Publishing, Cham, pp. 471-490. ISBN 9783030304454

Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael (2018) The Power of Synchronisation : Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. In: Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 160-176. ISBN 9783030024499

Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael (2017) Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In: Quantitative Evaluation of Systems : Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. Lecture Notes in Computer Science . Springer, Cham, 224–239. ISBN 9783319663340

Thesis

Glover, Louise and Eccles, Fiona and Dixon, Clare (2023) A qualitative exploration of individual and couple’s experiences of movement disorders. PhD thesis, Lancaster University.

Heyes, Mike and Hodge, Suzanne and Dixon, Clare and Knowles, Sue (2022) Influences on worker’s role with children in residential settings : A grounded theory. PhD thesis, Lancaster University.

Hunt, Chris and Murray, Craig and Dixon, Clare (2020) Experiences of therapy in a gender and sexually diverse world. PhD thesis, Lancaster University.

Oliver, James and Murray, Craig and Dixon, Clare (2017) Being the parent of a child with a visible difference : a focus on parenting a child with a cleft lip and/or palate and limb difference. PhD thesis, Lancaster University.

Deavin, Toni and Greasley, Pete and Dixon, Clare and Davies, Jenny and Smith, Ian (2017) A qualitative exploration of family members’ experiences of paediatric chronic illness. PhD thesis, Lancaster University.