Andrew Cook - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2023

2022

Stochastic Delay Cost Functions to Estimate Delay Propagation Under UncertaintyJan Evler, Michael Schultz, Hartmut Fricke, Andrew Cook. access, 10:21424-21442, 2022. [doi]

2020

A Game Of Drones: Extending the Dolev-Yao Attacker Model With MovementAndrew Cook, Luca Viganò 0001. eurosp 2020: 280-292 [doi]

2019

Towards Automatic Screening of Typical and Atypical Behaviors in Children With AutismAndrew Cook, Bappaditya Mandal, Donna Berry, Matthew Johnson. dsaa 2019: 504-510 [doi]

2010

Six speaking chairs (not directly) for people who cannot speakGraham Pullin, Andrew Cook. interactions, 17(5):38-42, 2010. [doi]

2009

Rayleigh-Taylor instability and mixingAndrew Cook, David Youngs. scholarpedia, 4(2):6092, 2009. [doi]

2007

Tactophonics: Your Favourite Thing Wants to SingAndrew Cook, Graham Pullin. nime 2007: 285-288 [doi]

Auto-parallelisation of Sieve C++ ProgramsAlastair F. Donaldson, Colin Riley, Anton Lokhmotov, Andrew Cook. europar 2008: 18-27 [doi]

2006

An Integrated Approach to High Integrity Software VerificationAndrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes. JAR, 36(4):379-410, 2006. [doi]

2005

Discovering applications of higher order functions through proof planningAndrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife. fac, 17(1):38-57, 2005. [doi]

2001

Using proof in transformation synthesis for automatic parallelisationAndrew Cook. PhD thesis, Heriot-Watt University, Edinburgh, UK, 2001. [doi]

Higher Order Function Synthesis Through Proof PlanningAndrew Cook, Andrew Ireland, Greg Michaelson. ASE 2001: 307-310 [doi]

1993

Passive Optical Networks - Deployment and Evolutionary PotentialDavid Faulkner, Jeff Stern, Peter Frost, Andrew Cook. ett, 4(6):691-694, 1993. [doi]

Sign in or sign up to see more results.

runs on WebDSL