eArticles

1 . Academic Journal

Sublogics of a branching time logic of robustness

저자

by cCabe-Dansted,+John&field_code=AR">M Full Text (ScienceDirect)
Full Text (ScienceDirect O/A)
Scopus
Web of Science
JCR 저널정보

6 . Academic Journal

Investigating the dissociative subtype of post‐traumatic stress disorder in single‐ and multi‐event trauma‐exposed youth: Prevalence, course, prognosis, severity and functional impairment.

저자: by White, William F.; Burgess, Aaron; Dalgleish, Tim; Dixon, Clare; Halligan, Sarah L., et al.
소스: British Journal of Clinical Psychology. Sep2024, Vol. 63 Issue 3, p330-346. 17p.

7 . Periodical

Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints

저자: by Kourtis, Georgios; Dixon, Clare; Fisher, Michael.
소스: IEEE Transactions on Software Engineering; September 2024, Vol. 50 Issue: 9 p2458-2471, 14p

5 . Academic Journal

Trauma Memory Characteristics and Neurocognitive Performance in Youth Exposed to Single-Event Trauma.

저자: by Reed, Joanna; Meiser-Stedman, Richard; Dalgleish, Tim; Goodall, Ben; Wright, Isobel, et al.
소스: Research on Child & Adolescent Psychopathology; Jun2024, Vol. 52 Issue 6, p997-1008, 12p

7 . Conference

Taxonomy of Trust-Relevant Failures and Mitigation Strategies

저자: by Tolmeijer, Suzanne; Weiss, Astrid; Hanheide, Marc; Lindner, Felix; Powers, Thomas M, et al.
소스: 2020 15th ACM/IEEE International Conference on Human-Robot Interaction (HRI) Human-Robot Interaction (HRI), 2020 15th ACM/IEEE International Conference on. :3-12 Mar, 2020

Full Text (IEEE)

7 . Conference

Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations

저자: by Webster, Matt; Dennis, Louise A.; Dixon, Clare; Fisher, Michael; Stocker, Richard, et al.
소스: 2020 IEEE Aerospace Conference Aerospace Conference, 2020 IEEE. :1-8 Mar, 2020

Full Text (IEEE)

7 . Conference

Security-Minded Verification of Space Systems

저자: by Maple, Carsten; Bradbury, Matthew; Yuan, Hu; Farrell, Marie; Dixon, Clare, et al.
소스: 2020 IEEE Aerospace Conference Aerospace Conference, 2020 IEEE. :1-13 Mar, 2020

Full Text (IEEE)

7 . Periodical

Security-Minded Verification of Cooperative Awareness Messages

저자: by Farrell, Marie; Bradbury, Matthew; Cardoso, Rafael C.; Fisher, Michael; Dennis, Louise A., et al.
소스: IEEE Transactions on Dependable and Secure Computing; 2024, Vol. 21 Issue: 4 p4048-4065, 18p

7 . Academic Journal

Parkinson's and the couple relationship: a qualitative meta-synthesis.

저자: by Glover, Louise; Dixon, Clare; Kobylecki, Christopher; Eccles, Fiona J. R..
소스: Aging & Mental Health; Dec2023, Vol. 27 Issue 12, p2420-2429, 10p

6 . Academic Journal

Towards temporal verification of swarm robotic systems

저자: by Dixon, Clare; Winfield, Alan F.T.; Fisher, Michael; Zeng, Chengxiu.
소스: In Robotics and Autonomous Systems November 2012 60(11):1429-1441

공지

DAU Library