Hugh Anderson

According to our database, Hugh Anderson authored at least 15 papers between 2001 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility, 2018

2012

Reducing the Power Consumption of an IMU-Based Gait Measurement System.

Shenggao Zhu, Hugh Anderson, Ye Wang

Proceedings of the Advances in Multimedia Information Processing - PCM 2012, 2012

A Real-Time On-Chip Algorithm for IMU-Based Gait Measurement.

Shenggao Zhu, Hugh Anderson, Ye Wang

Proceedings of the Advances in Multimedia Information Processing - PCM 2012, 2012

2010

Regular approximation and bounded domains for size-change termination.

Hugh Anderson, Siau-Cheng Khoo

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

2009

Markov Abstractions for Probabilistic Pi-Calculus.

Hugh Anderson, Gabriel Ciobanu

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Data Structure Shape Inference and Verification for OO Programs.

Rhys Owen, Hugh Anderson

Proceedings of the TASE 2009, 2009

Improving Responsiveness of Hard Real-Time Embedded Systems.

Hugh Anderson, Siau-Cheng Khoo

Proceedings of the TASE 2009, 2009

2008

UTP and Temporal Logic Model Checking.

Hugh Anderson, Gabriel Ciobanu, Leo Freitas

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

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

A Tool for Calculating Exponential Run-Time Properties.

Hugh Anderson, Siau-Cheng Khoo, Yijie Liu

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

2006

Program transformation by solving recurrences.

Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

2005

Calculating Polynomial Runtime Properties.

Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2003

Affine-Based Size-Change Termination.

Hugh Anderson, Siau-Cheng Khoo

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Abstract Interpretation with a Theorem Prover.

Hugh Anderson

Proceedings of the Formal Methods and Software Engineering, 2002

2001

Formalization and 'Literate' Programming.

Hugh Anderson

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001