| 2004 | EDOC | Notations for the Specification and Verification of Composite Web Services. | Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater |
| 2003 | DAIS | Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises. | Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater |
| 2002 | DSN | Distributed Object Middleware to Support Dependable Information Sharing between Organisations. | Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater |
| 2001 | EDOC | Flexible Workflow Management in the OPENflow System. | J. J. Halliday, Santosh K. Shrivastava, Stuart M. Wheater |
| 2001 | Middleware | The CORBA Activity Service Framework for Supporting Extended Transactions. | Iain Houston, Mark C. Little, Ian Robinson, Santosh K. Shrivastava, Stuart M. Wheater |
| 2000 | EDOC | Model Checking of Workflow Schemas. | Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater |
| 2000 | EDOC | A Workflow and Agent Based Platform for Service Provisioning. | Santosh K. Shrivastava, Luc Bellissard, David Fliot, Marc Herrmann, Noel De Palma, Stuart M. Wheater |
| 1999 | EDOC | Implementing support for work activity coordination within a distributed workflow system. | J. J. Halliday, Santosh K. Shrivastava, Stuart M. Wheater |
| 1998 | ICDCS | A Language for Specifying the Composition of Reliable Distributed Applications. | Frdric Ranno, Santosh K. Shrivastava, Stuart M. Wheater |
| 1997 | DAIS | A System for Specifying and Coordinating the Execution of Reliable Distributed Applications. | Frdric Ranno, Santosh K. Shrivastava, Stuart M. Wheater |
| 1990 | ICDCS | Implementing Fault-Tolerant Distributed Applications. | Santosh K. Shrivastava, Stuart M. Wheater |
| 1989 | ECOOP | The Treatment of Persistent Objects in Arjuna. | Graeme N. Dixon, Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater |