( en | de | ru )

 

Disambiguation of "Anderson, Hugh"

Author of the publication

copydeleteadd this publication to your clipboard
Markov Abstractions for Probabilistic Pi-Calculus.

, and . ECEASST, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Allen Hughes

Jula Hughes

Hugh Skyhawk

Hugh Cardon

Hugh Casey

 

Other publications of authors with the same name

MANA: Designing and Validating a User-Centered Mobility Analysis System., , , , , , , and . ASSETS, page 321-332. ACM, (2018)Abstract Interpretation with a Theorem Prover.. ICFEM, volume 2495 of Lecture Notes in Computer Science, page 411-422. Springer, (2002)Reducing the Power Consumption of an IMU-Based Gait Measurement System., , and . PCM, volume 7674 of Lecture Notes in Computer Science, page 105-116. Springer, (2012)A Tool for Calculating Exponential Run-Time Properties., , and . SYNASC, page 25-32. IEEE Computer Society, (2007)Formalization and 'Literate' Programming.. APSEC, page 39-44. IEEE Computer Society, (2001)UTP and Temporal Logic Model Checking., , and . UTP, volume 5713 of Lecture Notes in Computer Science, page 22-41. Springer, (2008)Affine-Based Size-Change Termination., and . APLAS, volume 2895 of Lecture Notes in Computer Science, page 122-140. Springer, (2003)Markov Abstractions for Probabilistic Pi-Calculus., and . ECEASST, (2009)Application of information technology: Integrating Incident Reporting into an Electronic Patient Record System., , , , , and . J. Am. Medical Informatics Assoc., 14 (2): 175-181 (2007)Regular approximation and bounded domains for size-change termination., and . PEPM, page 53-62. ACM, (2010)