Home
  • Home
  • About Us
    • About Us
    • Management and Governance
      • Overview
      • Advisory Board
      • Executive Committee
      • Governance Committee
      • Operations Team
    • Lero Stories
    • Diversity
    • Careers
    • Logos and Guidelines
  • Research
    • Introduction
    • Blended Autonomous Vehicles
    • Empower
    • Publications
      • All Publications
      • Technical Reports
      • Public Reports
    • Lero Esports Science Research Lab
    • International Projects
    • Lero Research Activities
    • Parnas Fellowship
  • Meet the Team
    • People Directory
    • Operations Team
    • Executive Committee
  • Industry
    • Overview
    • Our Partners
    • Logitech Case Study
    • Testimonials
  • Impact & Excellence
    • Overview
    • Economic Impact
    • Spinout Companies
  • Education & Public Engagement
    • Overview
    • Education
    • Engaged Research
    • Software for All
  • News & Events
  • Open Science
    • Open Source Programme Office
    • Open Science Charter
    • Open Science Calendar of Events
  • Contact

Search form

Geoff Hamilton

Academic

You are here

  • Home
  • Our People
  • Geoff Hamilton
Geoff Hamilton's picture
Dublin City University

Contact Details

office :

 

send email

  • Publications
2016
Kannan V, Hamilton G.  2016.  Distilling New Data Types. Fifth International Workshop on Metacomputation.
Kannan V, Hamilton G.  2016.  Functional Program Transformation for Parallelisation using Skeletons. 9th International Symposium on High-Level Parallel Programming and Applications9th International Symposium on High-Level Parallel Programming and Applications.
Hamilton G.  2016.  Generating Counterexamples for Model Checking by Transformation. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
Hamilton G.  2016.  Generating Counterexamples for Model Checking by Transformation. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
Kannan V, Hamilton G.  2016.  Program Transformation to Identify List-Based Parallel Skeletons. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
Kannan V, Hamilton G.  2016.  Program Transformation to Identify List-Based Parallel Skeletons. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
2015
Hamilton G.  2015.  Verifying Temporal Properties of Reactive Systems by Transformation. Third International Workshop on Verification and Program Transformation.
Hamilton G.  2015.  Verifying Temporal Properties of Reactive Systems by Transformation. Electronic Proceedings of Theoretical Computer Science. 99
2012
Dever M, Hamilton G.  2012.  Aumotating the Parallelization of Functional Programs. 13th Symposium on Trends in Functional Programming13th Symposium on Trends in Functional Programming.
Dever M, Hamilton G.  2012.  A Comparison of Program Transformation Systems. 3rd International Conference on Metamaterials, Photonic Crystals and Plasmonics3rd International Conference on Metamaterials, Photonic Crystals and Plasmonics.

Pages

  • 1
  • 2
  • next ›

For further information

To find out more information about Lero or if you are interested in engaging with us.
Contact Us
Quick links
  • Disclaimer
  • Privacy statement
  • Contact us
  • Careers
Stay In Touch
Subscribe to our
newsletter
View our latest
newsletter
Follow us



Contact
Tierney Building
University of Limerick
Ireland
Postcode : V94 NYD3
Tel: +353 61 213028 Fax: +353 61 213036 Email: info@lero.ie
euro
euro
euro

Copyright 2024  Lero