Chris Ho-Stuart
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1992–1997
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | APSEC | A Formal Operational Semantics for SOFL. | Chris Ho-Stuart, Shaoying Liu |
| 1996 | ICECCS | Semi-automatic Transformation from Formal Specifications to Programs. | Shaoying Liu, Chris Ho-Stuart |
| 1992 | ECRTS | Let's PARTY: Process Algebra With Real-time From York. | Chris Ho-Stuart, Ming Fang, Hussein S. M. Zedan |