Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarGeoff W. Hamilton
Geoffrey William Hamilton
Person information
- affiliation: Dublin City University, Ireland
Refine list
refinements active!
zoomed in on ?? of ?? records
showing all ?? records
2010 – today
- 2016
[c29]Venkatesh Kannan, Geoff W. Hamilton:
Program Transformation to Identify Parallel Skeletons. PDP 2016: 486-494- [c28]Geoff W. Hamilton:
Generating Counterexamples for Model Checking by Transformation. VPT@ETAPS 2016: 65-82 - [c27]Venkatesh Kannan, Geoff W. Hamilton:
Program Transformation to Identify List-Based Parallel Skeletons. VPT@ETAPS 2016: 118-136 - [e1]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]Geoff W. Hamilton:
Verifying Temporal Properties of Reactive Systems by Transformation. VPT@ETAPS 2015: 33-49 - 2014
- [j10]Benjamin Aziz, Geoff W. Hamilton:
Enforcing Reputation Constraints on Business Process Workflows. JoWUA 5(1): 101-121 (2014) - [c25]Geoff W. Hamilton, Morten Heine Sørensen:
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem. VPT@CAV 2014: 36-51 - [c24]Michael Dever, Geoff W. Hamilton:
Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs. Ershov Memorial Conference 2014: 59-66 - [c23]Neil D. Jones, Geoff W. Hamilton:
Asymptotic Speedups, Bisimulation and Distillation (Work in Progress). Ershov Memorial Conference 2014: 177-185 - 2013
- [c22]Benjamin Aziz, Geoff W. Hamilton:
Reputation-Controlled Business Process Workflows. ARES 2013: 42-51 - [c21]
- 2012
- [c20]Geoffrey William Hamilton, Neil D. Jones:
Distillation with labelled transition systems. PEPM 2012: 15-24 - 2011
- [j9]Benjamin Aziz, Geoff W. Hamilton:
Verifying a delegation protocol for grid systems. Future Generation Comp. Syst. 27(5): 476-485 (2011) - [c19]Geoff W. Hamilton, Neil D. Jones:
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Ershov Memorial Conference 2011: 153-169 - 2010
- [c18]Gavin Mendel-Gleason, Geoff W. Hamilton:
Cyclic Proofs and Coinductive Principles. PAR@ITP 2010: 106-112
2000 – 2009
- 2009
- [c17]
- [c16]Benjamin Aziz, Geoff W. Hamilton:
Detecting Man-in-the-Middle Attacks by Precise Timing. SECURWARE 2009: 81-86 - 2007
- [j8]Geoff W. Hamilton:
Distilling Programs for Verification. Electr. Notes Theor. Comput. Sci. 190(4): 17-32 (2007) - [j7]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]
- 2006
- [j6]Geoff W. Hamilton:
Poitín: Distilling Theorems From Conjectures. Electr. Notes Theor. Comput. Sci. 151(1): 143-160 (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 W. Hamilton:
Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63 - 2001
- [c11]
- [c10]Geoff W. 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 W. 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 W. 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 W. Hamilton, Dominique Méry:
Integration Problems in Telephone Feature Requirements. IFM 1999: 129-148 - [c6]David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power:
Four Logics and a Protocol. IWFM 1999 - 1998
- [j2]Pearl Brereton, David Budgen, Geoff W. 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 - 1993
- [b1]Geoffrey William Hamilton:
Compile-time optimisation of store usage in lazy functional programs. University of Stirling, UK 1993 - 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
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-05-29 23:59 CEST by the dblp team