Chris Ho-Stuart

Publication Activity (10 Years)

Years Active: 1992-2004
Publications (10 Years): 0

Publications

Ian Creighton, Chris Ho-Stuart
A sense of touch in online sculpting. GRAPHITE (2004)
Tony R. Sahama, Chris Ho-Stuart, James M. Hogan
Developing and Delivering a Software Internationalisation Subject. ACSW (2004)
James M. Hogan, Chris Ho-Stuart, Bihn Pham
Key Challenges in Software Internationalisation. ACSW (2004)
Simon D. Kent, Chris Ho-Stuart, Paul Roe
Negotiable Interfaces for Components. J. Object Technol. 1 (3) (2002)
Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba
SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Trans. Software Eng. 24 (1) (1998)
Chris Ho-Stuart, Shaoying Liu
A Formal Operational Semantics for SOFL. APSEC (1997)
Shaoying Liu, Chris Ho-Stuart
Semi-automatic Transformation from Formal Specifications to Programs. ICECCS (1996)
Ming Fang, Hussein S. M. Zedan, Chris Ho-Stuart
A model for timed-probabilistic behaviors. J. Syst. Softw. 28 (3) (1995)
Bengt Jonsson, Chris Ho-Stuart, Wang Yi
Testing and Refinement for Nondeterministic and Probabilistic Processes. FTRTFT (1994)
Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan
Specification of Real-Time Probabilistic Behaviour. PSTV (1993)
Chris Ho-Stuart, Hussein Zedan, Ming Fang
Automated support for the formal specification and design of real-time systems. Microprocess. Microprogramming 38 (1-5) (1993)
Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang
Congruent Weak Bisimulation with Dense Real-Time. Inf. Process. Lett. 46 (2) (1993)
Chris Ho-Stuart, Ming Fang, Hussein S. M. Zedan
Let's PARTY: Process Algebra With Real-time From York. RTS (1992)