Chris Ho-Stuart

According to our database, Chris Ho-Stuart authored at least 13 papers between 1992 and 2004.

Collaborative distances:

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

2004

A sense of touch in online sculpting.

Ian Creighton, Chris Ho-Stuart

Proceedings of the 2nd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2004, 2004

Developing and Delivering a Software Internationalisation Subject.

Tony R. Sahama, Chris Ho-Stuart, James M. Hogan

Proceedings of the ACSW Frontiers 2004, 2004 ACSW Workshops, 2004

Key Challenges in Software Internationalisation.

James M. Hogan, Chris Ho-Stuart, Bihn Pham

Proceedings of the ACSW Frontiers 2004, 2004 ACSW Workshops, 2004

2002

Negotiable Interfaces for Components.

Simon D. Kent, Chris Ho-Stuart, Paul Roe

J. Object Technol., 2002

1998

SOFL: A Formal Engineering Methodology for Industrial Applications.

Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba

IEEE Trans. Software Eng., 1998

1997

A Formal Operational Semantics for SOFL.

Chris Ho-Stuart, Shaoying Liu

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

Semi-automatic Transformation from Formal Specifications to Programs.

Shaoying Liu, Chris Ho-Stuart

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995

A model for timed-probabilistic behaviors.

Ming Fang, Hussein S. M. Zedan, Chris Ho-Stuart

J. Syst. Softw., 1995

1994

Testing and Refinement for Nondeterministic and Probabilistic Processes.

Bengt Jonsson, Chris Ho-Stuart, Wang Yi

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Automated support for the formal specification and design of real-time systems.

Chris Ho-Stuart, Hussein Zedan, Ming Fang

Microprocess. Microprogramming, 1993

Congruent Weak Bisimulation with Dense Real-Time.

Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang

Inf. Process. Lett., 1993

Specification of Real-Time Probabilistic Behaviour.

Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan

Proceedings of the Protocol Specification, 1993

1992

Let's PARTY: Process Algebra With Real-time From York.

Chris Ho-Stuart, Ming Fang, Hussein S. M. Zedan

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992