Graham Collins

According to our database, Graham Collins authored at least 11 papers between 1995 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project.

Graham Collins, Hugh Varilly, Yoshinori Tanabe

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2003

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

2001

Supporting formal reasoning about functional programs.

Graham Richard McFarlane Collins

PhD thesis, 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

UML Compatible Process.

Brian Henderson-Sellers, Graham Collins, Ian M. Graham

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

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

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

System Description: Embedding Verification into Microsoft Excel.

Graham Collins, Louise A. Dennis

Proceedings of the Automated Deduction, 2000

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

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1996

A Proof Tool for Reasoning About Functional Programs.

Graham Collins

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

A Theory of Finite Maps.

Graham Collins, Don Syme

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

Supporting Reasoning about Functional Programs: An Operational Approach.

Graham Collins

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995