| * | 2004 |
|---|
| 12 | EE | James M. Hogan,
Chris Ho-Stuart,
Bihn Pham:
Key Challenges in Software Internationalisation.
ACSW Frontiers 2004: 187-194 |
| 11 | EE | Tony Sahama,
Chris Ho-Stuart,
James M. Hogan:
Developing and Delivering a Software Internationalisation Subject.
ACSW Frontiers 2004: 199-204 |
| 10 | EE | Ian Creighton,
Chris Ho-Stuart:
A sense of touch in online sculpting.
GRAPHITE 2004: 118-122 |
| 2002 |
|---|
| 9 | EE | Simon D. Kent,
Chris Ho-Stuart,
Paul Roe:
Negotiable Interfaces for Components.
Journal of Object Technology 1(3): 249-265 (2002) |
| 1998 |
|---|
| 8 | EE | 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): 24-45 (1998) |
| 1997 |
|---|
| 7 | EE | Chris Ho-Stuart,
Shaoying Liu:
A Formal Operational Semantics for SOFL.
APSEC 1997: 52-61 |
| 1996 |
|---|
| 6 | EE | Shaoying Liu,
Chris Ho-Stuart:
Semi-automatic Transformation from Formal Specifications to Programs.
ICECCS 1996: 506-513 |
| 1995 |
|---|
| 5 | EE | Ming Fang,
Hussein S. M. Zedan,
Chris Ho-Stuart:
A model for timed-probabilistic behaviors.
Journal of Systems and Software 28(3): 239-251 (1995) |
| 1994 |
|---|
| 4 | | Bengt Jonsson,
Chris Ho-Stuart,
Wang Yi:
Testing and Refinement for Nondeterministic and Probabilistic Processes.
FTRTFT 1994: 418-430 |
| 1993 |
|---|
| 3 | | Ming Fang,
Chris Ho-Stuart,
Hussein S. M. Zedan:
Specification of Real-Time Probabilistic Behaviour.
PSTV 1993: 143-157 |
| 2 | | Chris Ho-Stuart,
Hussein S. M. Zedan,
Ming Fang:
Congruent Weak Bisimulation with Dense Real-Time.
Inf. Process. Lett. 46(2): 55-61 (1993) |
| 1 | EE | Chris Ho-Stuart,
Hussein Zedan,
Ming Fang:
Automated support for the formal specification and design of real-time systems.
Microprocessing and Microprogramming 38(1-5): 79-86 (1993) |
