Geoff W. Hamilton

Geoff Hamilton

	2011
23		Geoff W. Hamilton, Neil D. Jones: Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Ershov Memorial Conference 2011: 153-169
22		Benjamin Aziz, Geoff W. Hamilton: Verifying a delegation protocol for grid systems. Future Generation Comp. Syst. 27(5): 476-485 (2011)
	2009
21		Benjamin Aziz, Geoff W. Hamilton: Detecting Man-in-the-Middle Attacks by Precise Timing. SECURWARE 2009: 81-86
	2007
20		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		Geoff W. Hamilton: Higher Order Deforestation. Fundam. Inform. 69(1-2): 39-61 (2006)
	2005
18		Benjamin Aziz, David Gray, Geoff W. Hamilton: A Static Analysis of PKI-Based Systems. ICTCS 2005: 51-65
17		Bernadette Power, Geoff W. Hamilton: Declassification: Transforming Java Programs to Remove Intermediate Classes. SCAM 2005: 183-192
16		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		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		David Sinclair, David Gray, Geoff Hamilton: Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63
	2001
13		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

Coauthor Index

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

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page