Search the dblp DataBase

Publications of Author

1. David Sinclair, David Gray, Geoff Hamilton
   Synthesising Attacks on Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
   ATVA, 2004, pp:49-63 [Conf]
   
2. J. Paul Gibson, Geoff Hamilton, Dominique Méry
   A Taxonomy for Triggered Interactions Using Fair Object Semantics. [Citation Graph (0, 0)][DBLP]
   FIW, 2000, pp:193-209 [Conf]
   
3. David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton
   Specifying and Verifying IP with Linear Logic. [Citation Graph (0, 0)][DBLP]
   ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
   
4. J. Paul Gibson, Geoff Hamilton, Dominique Méry
   Integration Problems in Telephone Feature Requirements. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:129-148 [Conf]
   
5. David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power
   Four Logics and a Protocol. [Citation Graph (0, 0)][DBLP]
   IWFM, 1999, pp:- [Conf]
   
6. Geoff Hamilton
   Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees. [Citation Graph (0, 0)][DBLP]
   Scottish Functional Programming Workshop, 2001, pp:25-36 [Conf]
   
7. Pearl Brereton, David Budgen, Geoff Hamilton
   Hypertext: The Next Maintenance Mountain. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 1998, v:31, n:12, pp:49-55 [Journal]