Owen Traynor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1991–1997
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | APSEC | Possum: An Animator for the SUM Specification Language. | Daniel Hazel, Paul A. Strooper, Owen Traynor |
| 1996 | APSEC | Formal Methods Pilot Project. | Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor |
| 1994 | APSEC | The Cogito methodology and system. | Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor |
| 1994 | APSEC | The Cogito Repository Manager. | Owen Traynor, Anthony C. Bloesch |
| 1992 | SEKE | Knowledge-Based Transfonnational Programming. | Junbo Liu, Owen Traynor, Bernd Krieg-Brckner |
| 1991 | FM | The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. | Bernd Krieg-Brckner, Einar W. Karlsen, Junbo Liu, Owen Traynor |