The SCEAS System
Navigation Menu

Search the dblp DataBase


Chris Ho-Stuart: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. James M. Hogan, Chris Ho-Stuart, Bihn Pham
    Key Challenges in Software Internationalisation. [Citation Graph (0, 0)][DBLP]
    ACSW Frontiers, 2004, pp:187-194 [Conf]
  2. Tony Sahama, Chris Ho-Stuart, James M. Hogan
    Developing and Delivering a Software Internationalisation Subject. [Citation Graph (0, 0)][DBLP]
    ACSW Frontiers, 2004, pp:199-204 [Conf]
  3. Chris Ho-Stuart, Shaoying Liu
    A Formal Operational Semantics for SOFL. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:52-61 [Conf]
  4. Bengt Jonsson, Chris Ho-Stuart, Wang Yi
    Testing and Refinement for Nondeterministic and Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:418-430 [Conf]
  5. Ian Creighton, Chris Ho-Stuart
    A sense of touch in online sculpting. [Citation Graph (0, 0)][DBLP]
    GRAPHITE, 2004, pp:118-122 [Conf]
  6. Shaoying Liu, Chris Ho-Stuart
    Semi-automatic Transformation from Formal Specifications to Programs. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1996, pp:506-513 [Conf]
  7. Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan
    Specification of Real-Time Probabilistic Behaviour. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:143-157 [Conf]
  8. Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang
    Congruent Weak Bisimulation with Dense Real-Time. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:46, n:2, pp:55-61 [Journal]
  9. Simon D. Kent, Chris Ho-Stuart, Paul Roe
    Negotiable Interfaces for Components. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:3, pp:249-265 [Journal]
  10. Ming Fang, Hussein S. M. Zedan, Chris Ho-Stuart
    A model for timed-probabilistic behaviors. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1995, v:28, n:3, pp:239-251 [Journal]
  11. Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba
    SOFL: A Formal Engineering Methodology for Industrial Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:1, pp:24-45 [Journal]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002