R. Hawkins
发表
Richard Hawkins,
Tim Kelly,
John C. Knight,
2011,
SSS.
T. Kelly,
R. Hawkins,
2009
.
Rob Alexander,
Richard Hawkins,
Tim Kelly,
2011
.
J. McDermid,
I. Habli,
R. Alexander,
2020,
BMJ Health & Care Informatics.
R. Hawkins,
2004
.
R. Hawkins,
J. McDermid,
M. Osborne,
2022,
SAFECOMP.
Murray L. Ireland,
R. Hawkins,
Chiara Picardi,
2022,
2211.04530.
Victoria J. Hodge,
Rob Alexander,
Richard Hawkins,
2020,
Neural Computing and Applications.
Radu Calinescu,
Richard Hawkins,
Ibrahim Habli,
2021,
ArXiv.
Richard Hawkins,
Tim Kelly,
Ibrahim Habli,
2015,
MILS@HiPEAC.
Richard F. Paige,
Richard Hawkins,
Tim Kelly,
2015,
2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
Richard Hawkins,
Ran Wei,
Shuai Zhao,
2019,
J. Syst. Softw..
Richard Hawkins,
Omar Jaradat,
Irfan Sljivo,
2017,
2017 13th European Dependable Computing Conference (EDCC).
John A. McDermid,
Richard Hawkins,
Catherine Menon,
2009,
SSS.
Simon Burton,
Lydia Gauerhof,
Richard Hawkins,
2019,
SAFECOMP Workshops.
Kester Clegg,
Richard Hawkins,
Tim Kelly,
2011,
SAFECOMP.
Richard D. Hawkins,
R. Hawkins,
2006
.
John A. McDermid,
Richard Hawkins,
Tim Kelly,
2013
.
I. Habli,
R. Alexander,
R. Hawkins,
2021
.
R. Hawkins,
R. D. Hawkins,
2022
.
Richard Hawkins,
Tim Kelly,
John C. Knight,
2012,
IEEE Software.
Richard Hawkins,
Ibrahim Habli,
Mark Sujan,
2020,
BMJ Health & Care Informatics.
Lydia Gauerhof,
Richard Hawkins,
Yuki Hagiwara,
2020,
SAFECOMP.
I. Habli,
R. Hawkins,
M. Nicholson,
2022,
ArXiv.
Rob Alexander,
Richard Hawkins,
Youcef Gheraibia,
2021,
SafeAI@AAAI.
I. Habli,
R. Hawkins,
Robert Alexander,
2021,
MobiHealth.
Radu Calinescu,
Richard Hawkins,
Ibrahim Habli,
2020,
SafeAI@AAAI.
Iain Bate,
John A. McDermid,
Richard Hawkins,
2003,
SCS.
Tim Kelly,
Y. Oakshott,
Richard Hawkins,
2007
.
Richard Hawkins,
Chung-Ling Lin,
Wuwei Shen,
2017,
SIGBED.
Tim Kelly,
Richard Hawkins,
T. Kelly,
2009,
ICONS 2009.
Thomas Richardson,
Richard Hawkins,
Tim Kelly,
2016,
SAFECOMP.