Graham Collins

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2003
The PROSPER toolkit.
Int. J. Softw. Tools Technol. Transf., 2003

2001
Supporting formal reasoning about functional programs.
PhD thesis, 2001

A qualitative comparison of two processes for object-oriented software development.
Inf. Softw. Technol., 2001

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

2000
The PROSPER Toolkit.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

System Description: Embedding Verification into Microsoft Excel.
Proceedings of the Automated Deduction, 2000

Third generation OO processes: a critique of RUP and OPEN from a project management perspective.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1996
A Proof Tool for Reasoning About Functional Programs.
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995
A Theory of Finite Maps.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

Supporting Reasoning about Functional Programs: An Operational Approach.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995


  Loading...