Chris Ho-Stuart Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2004
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James M. Hogan, Chris Ho-Stuart, Bihn Pham: Key Challenges in Software Internationalisation. ACSW Frontiers 2004: 187-194
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tony Sahama, Chris Ho-Stuart, James M. Hogan: Developing and Delivering a Software Internationalisation Subject. ACSW Frontiers 2004: 199-204
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ian Creighton, Chris Ho-Stuart: A sense of touch in online sculpting. GRAPHITE 2004: 118-122
2002
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Simon D. Kent, Chris Ho-Stuart, Paul Roe: Negotiable Interfaces for Components. Journal of Object Technology 1(3): 249-265 (2002)
1998
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Ho-Stuart, Shaoying Liu: A Formal Operational Semantics for SOFL. APSEC 1997: 52-61
1996
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shaoying Liu, Chris Ho-Stuart: Semi-automatic Transformation from Formal Specifications to Programs. ICECCS 1996: 506-513
1995
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bengt Jonsson, Chris Ho-Stuart, Wang Yi: Testing and Refinement for Nondeterministic and Probabilistic Processes. FTRTFT 1994: 418-430
1993
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Ho-Stuart, Hussein S. M. Zedan, Ming Fang: Congruent Weak Bisimulation with Dense Real-Time. Inf. Process. Lett. 46(2): 55-61 (1993)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan: Specification of Real-Time Probabilistic Behaviour. PSTV 1993: 143-157

Coauthor Index

1Ian Creighton
[c5]
2Ming Fang
[j3] [j2] [j1] [c1]
3James M. Hogan
[c7] [c6]
4Bengt Jonsson
[c2]
5Simon D. Kent
[j5]
6Shaoying Liu
[j4] [c4] [c3]
7A. Jefferson Offutt (Jeff Offutt)
[j4]
8Mitsuru Ohba
[j4]
9Bihn Pham
[c7]
10Paul Roe
[j5]
11Tony Sahama
[c6]
12Yong Sun
[j4]
13Wang Yi 0001
[c2]
14Hussein Zedan (Hussein S. M. Zedan)
[j3] [j2] [j1] [c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 06:44:08 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page