dblp.uni-trier.dewww.uni-trier.de

Geoff W. Hamilton Vis

Geoff Hamilton

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2007
20EEBenjamin Aziz, Geoff Hamilton: Modelling and Analysis of PKI-Based Systems Using Process Calculi. Int. J. Found. Comput. Sci. 18(3): 593-618 (2007)
2006
19EEGeoff W. Hamilton: Higher Order Deforestation. Fundam. Inform. 69(1-2): 39-61 (2006)
2005
18EEBenjamin Aziz, David Gray, Geoff W. Hamilton: A Static Analysis of PKI-Based Systems. ICTCS 2005: 51-65
17EEBernadette Power, Geoff W. Hamilton: Declassification: Transforming Java Programs to Remove Intermediate Classes. SCAM 2005: 183-192
16EEBenjamin 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)
15EEBenjamin 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
14EEDavid Sinclair, David Gray, Geoff Hamilton: Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63
2001
13EEBenjamin 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
5EEGeoff 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

Coauthor Index

1Benjamin Aziz [13] [15] [16] [18] [20]
2Pearl Brereton [7]
3David Budgen [7]
4J. Paul Gibson [8] [9] [10] [11]
5David Gray [8] [10] [14] [15] [16] [18]
6S. B. Jones [1] [2]
7Dominique Méry [9] [11]
8Bernadette Power [17]
9James F. Power [8] [10]
10David Sinclair [8] [10] [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)