Hugh Anderson

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