1. A framework for synthesis of safety justification for digitally enabled healthcare services. (April 2017) Authors: Despotou, George; Ryan, Mark; Arvanitis, Theodoros N; Rae, Andrew J; White, Sean; Kelly, Tim; Jones, Richard W Journal: Digital health Issue: Volume 3(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Argument-based approach to computer system safety engineering. (1st January 2012) Authors: Yuan, Tangming; Kelly, Tim Journal: International journal of critical computer-based systems Issue: Volume 3:Number 3(2012) Page Start: 151 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Automatic Allocation of Safety Requirements to Components of a Software Product Line. Issue 21 (2015) Authors: de Oliveira, André L.; Papadopoulos, Yiannis; Azevedo, Luís S.; Parker, David; Braga, Rosana T.V.; Masiero, Paulo C.; Habli, Ibrahim; Kelly, Tim Journal: IFAC-PapersOnLine Issue: Volume 48:Issue 21(2015) Page Start: 1309 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Conservation education in Aotearoa-New Zealand: a values perspective. (30th June 2022) Authors: Birdsall, Sally; Kelly, Tim Journal: Australian journal of environmental education Issue: Volume 38:Number 2(2022) Page Start: 178 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. COVID-19 Vaccine Hesitancy in a Predominantly Minority Population and Trust in Primary Care Physicians as a Potential Solution. Issue 1 (28th January 2023) Authors: Kern, Lisa M.; Aucapina, Joselyne E.; Jacobson, Andrea; Shen, Megan J.; Ancker, Jessica S.; Ringel, Joanna B.; Kelly, Tim; Rodriguez, Navarra V. Journal: Journal of ambulatory care management Issue: Volume 46:Issue 1(2023) Page Start: 63 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Enhancing Online Training in an Evidence-Based Treatment for Adolescent Panic Disorder: A Randomized Controlled Trial. Issue 4 (1st October 2016) Authors: Ehrenreich-May, Jill; Dimeff, Linda A.; Woodcock, Eric A.; Queen, Alexander H.; Kelly, Tim; Contreras, Ignacio S.; Rash, Brian; Kelley-Brimer, Angela; Hauschildt, Jenny; Danner, Sankirtana Mundlapudi; Kennedy, Sarah M.; Barlow, David H. Journal: Evidence-based practice in child and adolescent mental health Issue: Volume 1:Issue 4(2016) Page Start: 241 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Expanding Underrepresented in Medicine to Include Lesbian, Gay, Bisexual, Transgender, and Queer Individuals. (3rd May 2022) Authors: Kelly, Tim; Rodriguez, Sarah B. Journal: Academic medicine Issue: Volume 97:Number 11(2022) Page Start: 1605 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM. (16th August 2021) Authors: Foster, Simon; Nemouchi, Yakoub; Gleirscher, Mario; Wei, Ran; Kelly, Tim Journal: ITNow Issue: Volume 63:Number 3(2021) Page Start: 66 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Intervening to Prevent Repeat Offending Among Moderate- to High-Risk Domestic Violence Offenders: A Second-Responder Program for Men. (March 2015) Authors: Scott, Katreena; Heslop, Lisa; Kelly, Tim; Wiggins, Kate Journal: International journal of offender therapy and comparative criminology Issue: Volume 59:Number 3(2015) Page Start: 273 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Model-based safety analysis of software product lines. (2016) Authors: Oliveira, André Luiz De; Braga, Rosana T.V.; Masiero, Paulo Cesar; Papadopoulos, Yiannis; Habli, Ibrahim; Kelly, Tim Journal: International journal of embedded systems Issue: Volume 8:Number 5/6(2016) Page Start: 412 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗