| 2007 |
|---|
| 20 | EE | 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 |
|---|
| 19 | EE | Geoff W. Hamilton:
Higher Order Deforestation.
Fundam. Inform. 69(1-2): 39-61 (2006) |
| 2005 |
|---|
| 18 | EE | Benjamin Aziz,
David Gray,
Geoff W. Hamilton:
A Static Analysis of PKI-Based Systems.
ICTCS 2005: 51-65 |
| 17 | EE | Bernadette Power,
Geoff W. Hamilton:
Declassification: Transforming Java Programs to Remove Intermediate Classes.
SCAM 2005: 183-192 |
| 16 | EE | 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) |
| 15 | EE | 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) |
| 2004 |
|---|
| 14 | EE | David Sinclair,
David Gray,
Geoff Hamilton:
Synthesising Attacks on Cryptographic Protocols.
ATVA 2004: 49-63 |
| 2001 |
|---|
| 13 | EE | Benjamin Aziz,
Geoff W. Hamilton:
A Denotational Semantics for the Pi-Calculus.
IWFM 2001 |
| 12 | | Geoff Hamilton:
Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees.
Scottish Functional Programming Workshop 2001: 25-36 |
| 2000 |
|---|
| 11 | | J. Paul Gibson,
Geoff Hamilton,
Dominique Méry:
A Taxonomy for Triggered Interactions Using Fair Object Semantics.
FIW 2000: 193-209 |
| 10 | | 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 |
| 1999 |
|---|
| 9 | | J. Paul Gibson,
Geoff Hamilton,
Dominique Méry:
Integration Problems in Telephone Feature Requirements.
IFM 1999: 129-148 |
| 8 | | David Gray,
Geoff Hamilton,
David Sinclair,
J. Paul Gibson,
James F. Power:
Four Logics and a Protocol.
IWFM 1999 |
| 1998 |
|---|
| 7 | | Pearl Brereton,
David Budgen,
Geoff Hamilton:
Hypertext: The Next Maintenance Mountain.
IEEE Computer 31(12): 49-55 (1998) |
| 6 | | Geoff W. Hamilton:
Usage Counting Analysis for Lazy Functional Languages.
Inf. Comput. 146(2): 100-137 (1998) |
| 1996 |
|---|
| 5 | | Geoff W. Hamilton:
Higher Order Deforestation.
PLILP 1996: 213-227 |
| 1995 |
|---|
| 4 | | Geoff W. Hamilton:
Compile-Time Garbage Collection for Lazy Functional Languages
IWMM 1995: 119-144 |
| 1992 |
|---|
| 3 | | Geoff W. Hamilton:
Sharing Analysis of Lazy First-Order Functional Programs.
WSA 1992: 68-78 |
| 1991 |
|---|
| 2 | | Geoff W. Hamilton,
S. B. Jones:
Extending Deforestation for First Order functional Programs.
Functional Programming 1991: 134-145 |
| 1 | | Geoff W. Hamilton,
S. B. Jones:
Transforming Programs to Eliminate Intermediate Structures.
JTASPEFT/WSA 1991: 182-188 |
