Graeme I. P. Parkin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1982–1993
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | FM | Conformity Clause for VDM-SL. | Graeme I. P. Parkin, Brian A. Wichmann |
| 1993 | FORTE | Overview: Survey of Formal Methods in Industry. | Graeme I. P. Parkin, Stephen Austin |
| 1991 | FM | Specification of the MAA Standard in VDM. | Graeme I. P. Parkin, G. O'Neill |
| 1982 | CRYPTO | The Average Cycle Size of the Key Stream in Output Feedback Encipherment. | Donald W. Davies, Graeme I. P. Parkin |
| 1982 | EuroCrypt | The average Cycle size of the Key-Stream in Output Feedback Encipherment. | Donald W. Davies, Graeme I. P. Parkin |