Huayi Huang

12 papers Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
A fully discrete finite element method with second-order temporal accuracy for the Rosensweig model.
J. Comput. Phys.
Xiaojing Dong, Huayi Huang, Yunqing Huang, Xiaofeng Yang
2025 J jnl
Conservative mixed Discontinuous Galerkin finite element method with full decoupling strategy for incompressible MHD problems.
Commun. Nonlinear Sci. Numer. Simul.
Huayi Huang, Yunqing Huang, Qili Tang, Lina Yin
2023 J jnl
Three interior penalty DG methods for stationary incompressible magnetohydrodynamics.
J. Comput. Appl. Math.
Huayi Huang, Yunqing Huang, Xiaojing Dong
2021 — conf
A Facile Low-Cost Wireless Self-Powered Footwear System for Monitoring Plantar Pressure.
NEMS
Huayi Huang, Ziya Wang, Wenyu Zhao, Zhihao Zhu, Waner Lin, Zhengchun Peng
2020 J jnl
On the application of Human Reliability Analysis in healthcare: Opportunities and challenges.
Reliab. Eng. Syst. Saf.
Mark-Alexander Sujan, David Embrey, Huayi Huang
2016 — conf
Insert Your Own Body in the Oculus Rift to Improve Proprioception.
VISIGRAPP (4: VISAPP)
Manuela Chessa, Lorenzo Caroggio, Huayi Huang, Fabio Solari
2014 — conf
Detection of 3D position of eyes through a consumer RGB-D camera for stereoscopic mixed reality environments.
IC3D
Manuela Chessa, Matteo Garibotti, Guido Maiello, Lorenzo Caroggio, Huayi Huang, Silvio P. Sabatini, Fabio Solari
2012 — conf
Using PVS to Investigate Incidents through the Lens of Distributed Cognition.
NASA Formal Methods
Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison
2011 J jnl
Capturing the distinction between task and device errors in a formal model of user behaviour.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Louise Cox, Ann Blandford, Duncan P. Brumby
2011 — conf
Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps.
EICS4Med
Ann Blandford, Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Dominic Furniss, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Atish Rajkomar, Rimvydas Ruksenas, Harold Thimbleby
2011 — conf
Towards Dependable Number Entry for Medical Devices.
EICS4Med
Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby
2011 — conf
Towards a formal framework for reasoning about the resilience of dynamic interactive systems.
EWDC
Paolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar