G. W. Hamilton

From MaRDI portal
Person:2289064

Available identifiers

zbMath Open hamilton.geoff-wMaRDI QIDQ2289064

List of research outcomes





PublicationDate of PublicationType
Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication2023-08-10Paper
The next 700 program transformers2023-05-08Paper
https://portal.mardi4nfdi.de/entity/Q50284272022-02-09Paper
https://portal.mardi4nfdi.de/entity/Q50206572022-01-06Paper
https://portal.mardi4nfdi.de/entity/Q51148222020-06-26Paper
Tight worst-case bounds for polynomial loop programs2020-01-28Paper
Proving the correctness of unfold/fold program transformations using bisimulation2015-12-07Paper
Automatically partitioning data to facilitate the parallelization of functional programs2015-12-03Paper
Asymptotic speedups, bisimulation and distillation (work in progress)2015-12-03Paper
Poitín: distilling theorems from conjectures2013-10-07Paper
A denotational approach to the static analysis of cryptographic processes2013-09-20Paper
Extracting the essence of distillation2010-02-02Paper
MODELLING AND ANALYSIS OF PKI-BASED SYSTEMS USING PROCESS CALCULI2007-06-05Paper
https://portal.mardi4nfdi.de/entity/Q54729082006-06-19Paper
https://portal.mardi4nfdi.de/entity/Q44942422000-08-10Paper
Usage counting analysis for lazy functional languages1999-01-13Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2289064&oldid=11081515"
Powered by MediaWiki