| 2003 |
|---|
| 9 | EE | Louise A. Dennis,
Graham Collins,
Michael Norrish,
Richard J. Boulton,
Konrad Slind,
Thomas F. Melham:
The PROSPER toolkit.
STTT 4(2): 189-210 (2003) |
| 2001 |
|---|
| 8 | EE | Brian Henderson-Sellers,
Graham Collins,
Ian M. Graham:
UML Compatible Process.
HICSS 2001 |
| 7 | | Brian Henderson-Sellers,
Graham Collins,
Richard Dué,
Ian M. Graham:
A qualitative comparison of two processes for object-oriented software development.
Information & Software Technology 43(12): 705-724 (2001) |
| 2000 |
|---|
| 6 | EE | Brian Henderson-Sellers,
Richard Dué,
Ian M. Graham,
Graham Collins:
Third generation OO processes: a critique of RUP and OPEN from a project management perspective.
APSEC 2000: 428-435 |
| 5 | | Graham Collins,
Louise A. Dennis:
System Description: Embedding Verification into Microsoft Excel.
CADE 2000: 497-501 |
| 4 | EE | Louise A. Dennis,
Graham Collins,
Michael Norrish,
Richard J. Boulton,
Konrad Slind,
Graham Robinson,
Michael J. C. Gordon,
Thomas F. Melham:
The PROSPER Toolkit.
TACAS 2000: 78-92 |
| 1996 |
|---|
| 3 | | Graham Collins:
A Proof Tool for Reasoning About Functional Programs.
TPHOLs 1996: 109-124 |
| 1995 |
|---|
| 2 | | Graham Collins:
Supporting Reasoning about Functional Programs: An Operational Approach.
Functional Programming 1995: 3 |
| 1 | | Graham Collins,
Don Syme:
A Theory of Finite Maps.
TPHOLs 1995: 122-137 |
