Social network analysis and interactive device design analysis. - Harold W. Thimbleby; Patrick Oladimeji (EICS, 2009)

Human computer interaction and medical devices. - Chitra Acharya; Harold W. Thimbleby; Patrick Oladimeji (BCS HCI, 2010)

Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. - Ann Blandford; Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Dominic Furniss; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci 001; Patrick Oladimeji; Atish Rajkomar; et al. (EICS4Med, 2011)

Engineering interactive computer systems for medicine and healthcare (EICS4Med). - Ann Blandford; Giuseppe De Pietro; Luigi Gallo; Andy Gimblett; Patrick Oladimeji; Harold W. Thimbleby (EICS, 2011)

Towards Dependable Number Entry for Medical Devices. - Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci 001; Patrick Oladimeji; Rimvydas Ruksenas; Harold Thimbleby (EICS4Med, 2011)

Number Entry Interfaces and Their Effects on Error Detection. - Patrick Oladimeji; Harold W. Thimbleby; Anna Louise Cox (INTERACT (4), 2011)

On formalising interactive number entry on infusion pumps. - Paolo Masci 001; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Towards safer number entry in interactive medical systems. - Patrick Oladimeji (EICS, 2012)

Using Medical Device Logs for Improving Medical Device Design. - Abigail Cauchi; Harold W. Thimbleby; Patrick Oladimeji; Michael D. Harrison (ICHI, 2013)

A Performance Review of Number Entry Interfaces. - Patrick Oladimeji; Harold W. Thimbleby; Anna Louise Cox (INTERACT (1), 2013)

PVSio-web: a tool for rapid prototyping device user interfaces in PVS. - Patrick Oladimeji; Paolo Masci 001; Paul Curzon; Harold W. Thimbleby (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

The Effects of Number-related Factors on Entry Performance. - Huawei Tu; Patrick Oladimeji; Karen Yunqiu Li; Harold W. Thimbleby; Chris J. Vincent (BCS HCI, 2014)

Triangulating empirical and analytic techniques for improving number entry user interfaces. - Abigail Cauchi; Patrick Oladimeji; Gerrit Niezen; Harold W. Thimbleby (EICS, 2014)

Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. - Paolo Masci 001; Patrick Oladimeji; Paul Curzon; Harold Thimbleby (FHIES/SEHC, 2014)

Combining PVSio with Stateflow. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby (NASA Formal Methods, 2014)

Designing number entry user interfaces: a focus on interactive medical devices. - Patrick Oladimeji (2014)

PVSio-web 2.0: Joining PVS to HCI. - Paolo Masci 001; Patrick Oladimeji; Yi Zhang 051; Paul L. Jones; Paul Curzon; Harold W. Thimbleby (CAV (1), 2015)

Exploring the Effect of Pre-operational Priming Intervention on Number Entry Errors. - Karen Yunqiu Li; Patrick Oladimeji; Harold W. Thimbleby (CHI, 2015)

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. - Paolo Masci 001; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby (Innov. Syst. Softw. Eng., 2015)

PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. - Paolo Masci 001; Patrick Oladimeji; Piergiuseppe Mallozzi; Paul Curzon; Harold Thimbleby (EAI Endorsed Trans. Collab. Comput., 2016)

Issues in number entry user interface styles: Recommendations for mitigation. - Harold Thimbleby; Patrick Oladimeji; Paolo Masci 001; Paul Curzon (EAI Endorsed Trans. Creative Technol., 2016)

Employing Number-Based Graphical Representations to Enhance the Effects of Visual Check on Entry Error Detection. - Huawei Tu; Patrick Oladimeji; Sarah Wiseman; Harold Thimbleby; Paul A. Cairns; Gerrit Niezen (Interact. Comput., 2016)