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)

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)

Towards a formal framework for reasoning about the resilience of dynamic interactive systems. - Paolo Masci 001; Paul Curzon; Huayi Huang; Rimvydas Ruksenas; Ann Blandford; Dominic Furniss; Atish Rajkomar (EWDC, 2011)

Capturing the distinction between task and device errors in a formal model of user behaviour. - Huayi Huang; Rimvydas Ruksenas; Maartje Ament; Paul Curzon; Anna Louise Cox; Ann Blandford; Duncan P. Brumby (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Using PVS to Investigate Incidents through the Lens of Distributed Cognition. - Paolo Masci 001; Huayi Huang; Paul Curzon; Michael D. Harrison (NASA Formal Methods, 2012)

Detection of 3D position of eyes through a consumer RGB-D camera for stereoscopic mixed reality environments. - Manuela Chessa; Matteo Garibotti; Guido Maiello; Lorenzo Caroggio; Huayi Huang; Silvio P. Sabatini; Fabio Solari (IC3D, 2014)

Insert Your Own Body in the Oculus Rift to Improve Proprioception. - Manuela Chessa; Lorenzo Caroggio; Huayi Huang; Fabio Solari (VISIGRAPP (4: VISAPP), 2016)

On the application of Human Reliability Analysis in healthcare: Opportunities and challenges. - Mark-Alexander Sujan; David Embrey; Huayi Huang (Reliab. Eng. Syst. Saf., 2020)

A Facile Low-Cost Wireless Self-Powered Footwear System for Monitoring Plantar Pressure. - Huayi Huang; Ziya Wang; Wenyu Zhao; Zhihao Zhu; Waner Lin; Zhengchun Peng (NEMS, 2021)

Three interior penalty DG methods for stationary incompressible magnetohydrodynamics. - Huayi Huang; Yunqing Huang; Xiaojing Dong (J. Comput. Appl. Math., 2023)

Conservative mixed Discontinuous Galerkin finite element method with full decoupling strategy for incompressible MHD problems. - Huayi Huang; Yunqing Huang; Qili Tang; Lina Yin (Commun. Nonlinear Sci. Numer. Simul., 2025)