Formalization and 'Literate' Programming. - Hugh Anderson (APSEC, 2001)

Abstract Interpretation with a Theorem Prover. - Hugh Anderson (ICFEM, 2002)

Affine-Based Size-Change Termination. - Hugh Anderson; Siau-Cheng Khoo (APLAS, 2003)

Calculating Polynomial Runtime Properties. - Hugh Anderson; Siau-Cheng Khoo; Stefan Andrei; Beatrice Luca (APLAS, 2005)

Program transformation by solving recurrences. - Beatrice Luca; Stefan Andrei; Hugh Anderson; Siau-Cheng Khoo (PEPM, 2006)

A Tool for Calculating Exponential Run-Time Properties. - Hugh Anderson; Siau-Cheng Khoo; Yijie Liu (SYNASC, 2007)

Application of information technology: Integrating Incident Reporting into an Electronic Patient Record System. - Guy H. Haller; Paul S. Myles; Johannes Stoelwinder; Mark Langley; Hugh Anderson; John McNeil (J. Am. Medical Informatics Assoc., 2007)

UTP and Temporal Logic Model Checking. - Hugh Anderson; Gabriel Ciobanu; Leo Freitas (UTP, 2008)

Improving Responsiveness of Hard Real-Time Embedded Systems. - Hugh Anderson; Siau-Cheng Khoo (TASE, 2009)

Data Structure Shape Inference and Verification for OO Programs. - Rhys Owen; Hugh Anderson (TASE, 2009)

Markov Abstractions for Probabilistic Pi-Calculus. - Hugh Anderson; Gabriel Ciobanu (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Regular approximation and bounded domains for size-change termination. - Hugh Anderson; Siau-Cheng Khoo (PEPM, 2010)

A Real-Time On-Chip Algorithm for IMU-Based Gait Measurement. - Shenggao Zhu; Hugh Anderson; Ye Wang 007 (PCM, 2012)

Reducing the Power Consumption of an IMU-Based Gait Measurement System. - Shenggao Zhu; Hugh Anderson; Ye Wang 007 (PCM, 2012)

MANA: Designing and Validating a User-Centered Mobility Analysis System. - Boyd Anderson; Shenggao Zhu; Ke Yang; Jian Wang; Hugh Anderson; Chao Xu Tay; Vincent Y. F. Tan; Ye Wang 007 (ASSETS, 2018)