Chris Ho-Stuart

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