Brian Ritchie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1991–2007
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | CCGRID | A Semantic Approach to Enhance Service Composition in Workflows that use Mobile Services. | Robert B. Piotter, Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie |
| 2006 | WETICE | e-Business Integration Using Mobile Services for the Small to Medium Enterprise. | Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie, Thomas Varsamidis |
| 1994 | FM | Experiences in Using the Abstract Machine Notation in a GKS Case Study. | Brian Ritchie, Juan Bicarregui, Howard P. Haughton |
| 1993 | FM | Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. | Juan Bicarregui, Brian Ritchie |
| 1991 | FM | Reasoning about VDM Developments using the VDM Support Tool in MURAL. | Juan Bicarregui, Brian Ritchie |