G. W. Hamilton

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication Lecture Notes in Computer Science	2023-08-10	Paper
The next 700 program transformers Logic-Based Program Synthesis and Transformation	2023-05-08	Paper
The next 700 program transformers Logic-Based Program Synthesis and Transformation	2023-05-08	Paper
scientific article; zbMATH DE number 7471667 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471667 (Why is no real title available?)	2022-02-09	Paper
scientific article; zbMATH DE number 7453196 (Why is no real title available?)	2022-01-06	Paper
scientific article; zbMATH DE number 7453196 (Why is no real title available?) (available as arXiv preprint)	2022-01-06	Paper
scientific article; zbMATH DE number 7215283 (Why is no real title available?) (available as arXiv preprint)	2020-06-26	Paper
scientific article; zbMATH DE number 7215283 (Why is no real title available?)	2020-06-26	Paper
Tight worst-case bounds for polynomial loop programs	2020-01-28	Paper
Proving the correctness of unfold/fold program transformations using bisimulation Perspectives of Systems Informatics	2015-12-07	Paper
Automatically partitioning data to facilitate the parallelization of functional programs Lecture Notes in Computer Science	2015-12-03	Paper
Asymptotic speedups, bisimulation and distillation (work in progress) Lecture Notes in Computer Science	2015-12-03	Paper
Poitín: distilling theorems from conjectures	2013-10-07	Paper
A denotational approach to the static analysis of cryptographic processes	2013-09-20	Paper
Extracting the essence of distillation Perspectives of Systems Informatics	2010-02-02	Paper
MODELLING AND ANALYSIS OF PKI-BASED SYSTEMS USING PROCESS CALCULI International Journal of Foundations of Computer Science	2007-06-05	Paper
scientific article; zbMATH DE number 5033862 (Why is no real title available?)	2006-06-19	Paper
scientific article; zbMATH DE number 1487731 (Why is no real title available?)	2000-08-10	Paper
Usage counting analysis for lazy functional languages Information and Computation	1999-01-13	Paper

Research outcomes over time

This page was built for person: G. W. Hamilton