Hugh Anderson

Publication Activity (10 Years)

Years Active: 2001-2018
Publications (10 Years): 1

Top Topics

Power Management

Top Venues

Publications

Boyd Anderson, Shenggao Zhu, Ke Yang, Jian Wang, Hugh Anderson, Chao Xu Tay, Vincent Y. F. Tan, Ye Wang
MANA: Designing and Validating a User-Centered Mobility Analysis System. ASSETS (2018)
Shenggao Zhu, Hugh Anderson, Ye Wang
Reducing the Power Consumption of an IMU-Based Gait Measurement System. PCM (2012)
Shenggao Zhu, Hugh Anderson, Ye Wang
A Real-Time On-Chip Algorithm for IMU-Based Gait Measurement. PCM (2012)
Hugh Anderson, Siau-Cheng Khoo
Regular approximation and bounded domains for size-change termination. PEPM (2010)
Hugh Anderson, Gabriel Ciobanu
Markov Abstractions for Probabilistic Pi-Calculus. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Rhys Owen, Hugh Anderson
Data Structure Shape Inference and Verification for OO Programs. TASE (2009)
Hugh Anderson, Siau-Cheng Khoo
Improving Responsiveness of Hard Real-Time Embedded Systems. TASE (2009)
Hugh Anderson, Gabriel Ciobanu, Leo Freitas
UTP and Temporal Logic Model Checking. UTP (2008)
Hugh Anderson, Siau-Cheng Khoo, Yijie Liu
A Tool for Calculating Exponential Run-Time Properties. SYNASC (2007)
Guy H. Haller, Paul S. Myles, Johannes Stoelwinder, Mark Langley, Hugh Anderson, John McNeil
Application of information technology: Integrating Incident Reporting into an Electronic Patient Record System. J. Am. Medical Informatics Assoc. 14 (2) (2007)
Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo
Program transformation by solving recurrences. PEPM (2006)
Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca
Calculating Polynomial Runtime Properties. APLAS (2005)
Hugh Anderson, Siau-Cheng Khoo
Affine-Based Size-Change Termination. APLAS (2003)
Hugh Anderson
Abstract Interpretation with a Theorem Prover. ICFEM (2002)
Hugh Anderson
Formalization and 'Literate' Programming. APSEC (2001)