Supporting Reasoning about Functional Programs: An Operational Approach. - Graham Collins (Functional Programming, 1995)

A Theory of Finite Maps. - Graham Collins; Don Syme (TPHOLs, 1995)

A Proof Tool for Reasoning About Functional Programs. - Graham Collins (TPHOLs, 1996)

Third generation OO processes: a critique of RUP and OPEN from a project management perspective. - Brian Henderson-Sellers; Richard Dué; Ian M. Graham; Graham Collins (APSEC, 2000)

System Description: Embedding Verification into Microsoft Excel. - Graham Collins; Louise A. Dennis (CADE, 2000)

The PROSPER Toolkit. - Louise A. Dennis; Graham Collins; Michael Norrish; Richard J. Boulton; Konrad Slind; Graham Robinson; Michael J. C. Gordon; Thomas F. Melham (TACAS, 2000)

UML Compatible Process. - Brian Henderson-Sellers; Graham Collins; Ian M. Graham (HICSS, 2001)

A qualitative comparison of two processes for object-oriented software development. - Brian Henderson-Sellers; Graham Collins; Richard Dué; Ian M. Graham (Inf. Softw. Technol., 2001)

Supporting formal reasoning about functional programs. - Graham Richard McFarlane Collins (2001)

The PROSPER toolkit. - Louise A. Dennis; Graham Collins; Michael Norrish; Richard J. Boulton; Konrad Slind; Thomas F. Melham (Int. J. Softw. Tools Technol. Transf., 2003)

Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project. - Graham Collins; Hugh Varilly; Yoshinori Tanabe (ECSA Workshops, 2015)