ask others

Geoff W. Hamilton

Geoffrey William Hamilton

> Home > Persons

Person information

affiliation: Dublin City University, Ireland

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c29]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/pdp/KannanH16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/pdp/KannanH16
Venkatesh Kannan, Geoff W. Hamilton:
Program Transformation to Identify Parallel Skeletons. PDP 2016: 486-494
[c28]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Hamilton16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/Hamilton16
Geoff W. Hamilton:
Generating Counterexamples for Model Checking by Transformation. VPT@ETAPS 2016: 65-82
[c27]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/KannanH16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/KannanH16
Venkatesh Kannan, Geoff W. Hamilton:
Program Transformation to Identify List-Based Parallel Skeletons. VPT@ETAPS 2016: 118-136
[e1]
- view
- export record
  dblp key:
  - journals/corr/HamiltonLN16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/HamiltonLN16
Geoff W. Hamilton, Alexei Lisitsa, Andrei P. Nemytykh:
Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. EPTCS 216, 2016 [contents]
2015
[c26]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Hamilton15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/Hamilton15
Geoff W. Hamilton:
Verifying Temporal Properties of Reactive Systems by Transformation. VPT@ETAPS 2015: 33-49
2014
[j10]
- view
  - electronic edition @ isyou.info
- export record
  dblp key:
  - journals/jowua/AzizH14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jowua/AzizH14
Benjamin Aziz, Geoff W. Hamilton:
Enforcing Reputation Constraints on Business Process Workflows. JoWUA 5(1): 101-121 (2014)
[c25]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/cav/HamiltonS14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cav/HamiltonS14
Geoff W. Hamilton, Morten Heine Sørensen:
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem. VPT@CAV 2014: 36-51
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ershov/DeverH14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ershov/DeverH14
Michael Dever, Geoff W. Hamilton:
Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs. Ershov Memorial Conference 2014: 59-66
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ershov/JonesH14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ershov/JonesH14
Neil D. Jones, Geoff W. Hamilton:
Asymptotic Speedups, Bisimulation and Distillation (Work in Progress). Ershov Memorial Conference 2014: 177-185
2013
[c22]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/IEEEares/AzizH13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/IEEEares/AzizH13
Benjamin Aziz, Geoff W. Hamilton:
Reputation-Controlled Business Process Workflows. ARES 2013: 42-51
[c21]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/cav/Hamilton13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cav/Hamilton13
Geoff W. Hamilton:
On the Termination of Positive Supercompilation. VPT@CAV 2013: 42-56
2012
[c20]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pepm/HamiltonJ12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/pepm/HamiltonJ12
Geoffrey William Hamilton, Neil D. Jones:
Distillation with labelled transition systems. PEPM 2012: 15-24
2011
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fgcs/AzizH11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fgcs/AzizH11
Benjamin Aziz, Geoff W. Hamilton:
Verifying a delegation protocol for grid systems. Future Generation Comp. Syst. 27(5): 476-485 (2011)
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ershov/HamiltonJ11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ershov/HamiltonJ11
Geoff W. Hamilton, Neil D. Jones:
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Ershov Memorial Conference 2011: 153-169
2010
[c18]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/itp/Mendel-GleasonH10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/itp/Mendel-GleasonH10
Gavin Mendel-Gleason, Geoff W. Hamilton:
Cyclic Proofs and Coinductive Principles. PAR@ITP 2010: 106-112

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ershov/Hamilton09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ershov/Hamilton09
Geoff W. Hamilton:
Extracting the Essence of Distillation. Ershov Memorial Conference 2009: 151-164
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/securware/AzizH09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/securware/AzizH09
Benjamin Aziz, Geoff W. Hamilton:
Detecting Man-in-the-Middle Attacks by Precise Timing. SECURWARE 2009: 81-86
2007
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Hamilton07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Hamilton07
Geoff W. Hamilton:
Distilling Programs for Verification. Electr. Notes Theor. Comput. Sci. 190(4): 17-32 (2007)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijfcs/AzizH07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ijfcs/AzizH07
Benjamin Aziz, Geoff W. Hamilton:
Modelling and Analysis of PKI-Based Systems Using Process Calculi. Int. J. Found. Comput. Sci. 18(3): 593-618 (2007)
[c15]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pepm/Hamilton07
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/pepm/Hamilton07
Geoff W. Hamilton:
Distillation: extracting the essence of programs. PEPM 2007: 61-70
2006
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Hamilton06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Hamilton06
Geoff W. Hamilton:
Poitín: Distilling Theorems From Conjectures. Electr. Notes Theor. Comput. Sci. 151(1): 143-160 (2006)
[j5]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/Hamilton06
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fuin/Hamilton06
Geoff W. Hamilton:
Higher Order Deforestation. Fundam. Inform. 69(1-2): 39-61 (2006)
2005
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/AzizHG05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/AzizHG05
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/AzizHG05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jlp/AzizHG05
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictcs/AzizGH05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ictcs/AzizGH05
Benjamin Aziz, David Gray, Geoff W. Hamilton:
A Static Analysis of PKI-Based Systems. ICTCS 2005: 51-65
[c13]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/scam/PowerH05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/scam/PowerH05
Bernadette Power, Geoff W. Hamilton:
Declassification: Transforming Java Programs to Remove Intermediate Classes. SCAM 2005: 183-192
2004
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/SinclairGH04
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/atva/SinclairGH04
David Sinclair, David Gray, Geoff W. Hamilton:
Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63
2001
[c11]
- view
  - electronic edition @ bcs.org
- export record
  dblp key:
  - conf/iwfm/AzizH01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iwfm/AzizH01
Benjamin Aziz, Geoff W. Hamilton:
A Denotational Semantics for the Pi-Calculus. IWFM 2001
[c10]
- no documents available
- export record
  dblp key:
  - conf/sfp/Hamilton01
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sfp/Hamilton01
Geoff W. Hamilton:
Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees. Scottish Functional Programming Workshop 2001: 25-36
2000
[c9]
- no documents available
- export record
  dblp key:
  - conf/fiw/GibsonHM00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fiw/GibsonHM00
J. Paul Gibson, Geoff W. Hamilton, Dominique Méry:
A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW 2000: 193-209
[c8]
- no documents available
- export record
  dblp key:
  - conf/icdcsw/SinclairPGGH00
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icdcsw/SinclairPGGH00
David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton:
Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification 2000: E104-E110

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c7]
- no documents available
- export record
  dblp key:
  - conf/ifm/GibsonHM99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ifm/GibsonHM99
J. Paul Gibson, Geoff W. Hamilton, Dominique Méry:
Integration Problems in Telephone Feature Requirements. IFM 1999: 129-148
[c6]
- view
  - electronic edition @ bcs.org
- export record
  dblp key:
  - conf/iwfm/GrayHSGP99
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iwfm/GrayHSGP99
David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power:
Four Logics and a Protocol. IWFM 1999
1998
[j2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/computer/BreretonBH98
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/computer/BreretonBH98
Pearl Brereton, David Budgen, Geoff W. Hamilton:
Hypertext: The Next Maintenance Mountain. IEEE Computer 31(12): 49-55 (1998)
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/Hamilton98
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/iandc/Hamilton98
Geoff W. Hamilton:
Usage Counting Analysis for Lazy Functional Languages. Inf. Comput. 146(2): 100-137 (1998)
1996
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/plilp/Hamilton96
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/plilp/Hamilton96
Geoff W. Hamilton:
Higher Order Deforestation. PLILP 1996: 213-227
1995
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iwmm/Hamilton95
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/iwmm/Hamilton95
Geoff W. Hamilton:
Compile-Time Garbage Collection for Lazy Functional Languages. IWMM 1995: 119-144
1993
[b1]
- view
  - electronic edition via handle.net
  - electronic edition @ bl.uk
- export record
  dblp key:
  - phd/ethos/Hamilton93
- ask others
- share record
  short URL:
  - http://dblp.org/rec/phd/ethos/Hamilton93
Geoffrey William Hamilton:
Compile-time optimisation of store usage in lazy functional programs. University of Stirling, UK 1993
1992
[c3]
- no documents available
- export record
  dblp key:
  - conf/sas/Hamilton92
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sas/Hamilton92
Geoff W. Hamilton:
Sharing Analysis of Lazy First-Order Functional Programs. WSA 1992: 68-78
1991
[c2]
- no documents available
- export record
  dblp key:
  - conf/fp/HamiltonJ91
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fp/HamiltonJ91
Geoff W. Hamilton, S. B. Jones:
Extending Deforestation for First Order functional Programs. Functional Programming 1991: 134-145
[c1]
- no documents available
- export record
  dblp key:
  - conf/sas/HamiltonJ91
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sas/HamiltonJ91
Geoff W. Hamilton, S. B. Jones:
Transforming Programs to Eliminate Intermediate Structures. JTASPEFT/WSA 1991: 182-188

maintained by

at