According to our database1, Graham Collins authored at least 11 papers between 1995 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015
Inf. Softw. Technol., 2001
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
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
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996
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