The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Graham Collins: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:428-435 [Conf]
  2. Graham Collins, Louise A. Dennis
    System Description: Embedding Verification into Microsoft Excel. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:497-501 [Conf]
  3. Graham Collins
    Supporting Reasoning about Functional Programs: An Operational Approach. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:3- [Conf]
  4. Brian Henderson-Sellers, Graham Collins, Ian M. Graham
    UML Compatible Process. [Citation Graph (0, 0)][DBLP]
    HICSS, 2001, pp:- [Conf]
  5. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
    The PROSPER Toolkit. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:78-92 [Conf]
  6. Graham Collins
    A Proof Tool for Reasoning About Functional Programs. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1996, pp:109-124 [Conf]
  7. Graham Collins, Don Syme
    A Theory of Finite Maps. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:122-137 [Conf]
  8. Brian Henderson-Sellers, Graham Collins, Richard Dué, Ian M. Graham
    A qualitative comparison of two processes for object-oriented software development. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2001, v:43, n:12, pp:705-724 [Journal]
  9. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
    The PROSPER toolkit. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:189-210 [Journal]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002