The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Guy McCusker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Samson Abramsky, Guy McCusker
    Call-by-Value Games. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:1-17 [Conf]
  2. Guy McCusker
    A Fully Abstract Relational Model of Syntactic Control of Interference. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:247-261 [Conf]
  3. Guy McCusker, Matthew Wall
    Categorical and game semantics for SCIR. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:157-178 [Conf]
  4. Dan R. Ghica, Guy McCusker
    Reasoning about Idealized ALGOL Using Regular Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:103-115 [Conf]
  5. Samson Abramsky, Guy McCusker
    Games for Recursive Types. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:1-20 [Conf]
  6. Samson Abramsky, Kohei Honda, Guy McCusker
    A Fully Abstract Game Semantics for General References. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:334-344 [Conf]
  7. Samson Abramsky, Guy McCusker
    Games and Full Abstraction for the Lazy lambda-Calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:234-243 [Conf]
  8. Russell Harmer, Guy McCusker
    A Fully Abstract Game Semantics for Finite Nondeterminism. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:422-430 [Conf]
  9. Guy McCusker
    Games and Full Abstraction for FPC. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:174-183 [Conf]
  10. Guy McCusker
    Games and definability for FPC. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1997, v:3, n:3, pp:347-362 [Journal]
  11. Samson Abramsky, Guy McCusker
    Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  12. Guy McCusker
    Games and Full Abstraction for FPC. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:160, n:1-2, pp:1-61 [Journal]
  13. Samson Abramsky, Guy McCusker
    Full Abstraction for Idealized Algol with Passive Expressions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:227, n:1-2, pp:3-42 [Journal]
  14. Dan R. Ghica, Guy McCusker
    The regular-language semantics of second-order idealized ALGOL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:309, n:1-3, pp:469-502 [Journal]
  15. Guy McCusker, David Pym
    A Games Model of Bunched Implications. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:573-588 [Conf]

  16. Foreword for special issue of APAL for GaLoP 2005. [Citation Graph (, )][DBLP]


  17. A Graph Model for Imperative Computation [Citation Graph (, )][DBLP]


  18. A Concrete Representation of Observational Equivalence for PCF [Citation Graph (, )][DBLP]


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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002