Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Geoff W. Hamilton
Geoff Hamilton
2010 – today
- 2011
[j7]Benjamin Aziz, Geoff W. Hamilton: Verifying a delegation protocol for grid systems. Future Generation Comp. Syst. 27(5): 476-485 (2011)- [c16]Geoff W. Hamilton, Neil D. Jones: Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Ershov Memorial Conference 2011: 153-169
2000 – 2009
- 2009
- [c15]Benjamin Aziz, Geoff W. Hamilton: Detecting Man-in-the-Middle Attacks by Precise Timing. SECURWARE 2009: 81-86
- 2007
- [j6]Benjamin Aziz, Geoff Hamilton: Modelling and Analysis of PKI-Based Systems Using Process Calculi. Int. J. Found. Comput. Sci. 18(3): 593-618 (2007)
- 2006
- [j5]
- 2005
- [j4]Benjamin Aziz, Geoff W. Hamilton, David Gray: A Denotational Approach to the Static Analysis of Cryptographic Processes. Electr. Notes Theor. Comput. Sci. 118: 19-36 (2005)
- [j3]Benjamin Aziz, Geoff W. Hamilton, David Gray: A static analysis of cryptographic processes: the denotational approach. J. Log. Algebr. Program. 64(2): 285-320 (2005)
- [c14]Benjamin Aziz, David Gray, Geoff W. Hamilton: A Static Analysis of PKI-Based Systems. ICTCS 2005: 51-65
- [c13]Bernadette Power, Geoff W. Hamilton: Declassification: Transforming Java Programs to Remove Intermediate Classes. SCAM 2005: 183-192
- 2004
- [c12]David Sinclair, David Gray, Geoff Hamilton: Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63
- 2001
- [c11]
- [c10]Geoff Hamilton: Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees. Scottish Functional Programming Workshop 2001: 25-36
- 2000
- [c9]J. Paul Gibson, Geoff Hamilton, Dominique Méry: A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW 2000: 193-209
- [c8]David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton: Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification 2000: E104-E110
1990 – 1999
- 1999
- [c7]J. Paul Gibson, Geoff Hamilton, Dominique Méry: Integration Problems in Telephone Feature Requirements. IFM 1999: 129-148
- [c6]David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power: Four Logics and a Protocol. IWFM 1999
- 1998
- [j2]Pearl Brereton, David Budgen, Geoff Hamilton: Hypertext: The Next Maintenance Mountain. IEEE Computer 31(12): 49-55 (1998)
- [j1]Geoff W. Hamilton: Usage Counting Analysis for Lazy Functional Languages. Inf. Comput. 146(2): 100-137 (1998)
- 1996
- [c5]
- 1995
- [c4]Geoff W. Hamilton: Compile-Time Garbage Collection for Lazy Functional Languages. IWMM 1995: 119-144
- 1992
- [c3]
- 1991
- [c2]Geoff W. Hamilton, S. B. Jones: Extending Deforestation for First Order functional Programs. Functional Programming 1991: 134-145
- [c1]Geoff W. Hamilton, S. B. Jones: Transforming Programs to Eliminate Intermediate Structures. JTASPEFT/WSA 1991: 182-188
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:30 CET by the dblp team