Andrew Cook

According to our database, Andrew Cook authored at least 17 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Applied metamodelling for ATM performance simulations.

Christoffer Riis, Francisco N. Antunes, Tatjana Bolic, Gérald Gurtner, Andrew Cook, Carlos Lima Azevedo, Francisco Câmara Pereira

CoRR, 2023

NOSTROMO: Lessons learned, conclusions and way forward.

Mayte Cano, Andrés Perillo, Juan Antonio López, Faustino Tello, Javier Poveda, Francisco Câmara, Francisco Antunes, Christoffer Riis, Ian Crook, Abderrazak Tibichte, Sandrine Molton, David Mocholí, Ricardo Herranz, Gérald Gurtner, Tatjana Bolic, Andrew Cook, Jovana Kuljanin, Xavier Prats

CoRR, 2023

Fixed points of arbitrarily deep 1-dimensional neural networks.

Andrew Cook, Andy Hammerlindl, Warwick Tucker

CoRR, 2023

I just want to matter: Examining the role of anti-mattering in online suicide support communities using natural language processing.

Nicholas Deas, Robin M. Kowalski, Sophie Finnell, Emily Radovic, Hailey Carroll, Chelsea Robbins, Andrew Cook, Kenzie Hurley, Natalie Cote, Kelly Evans, Isabella Lorenzo, Kelly Kiser, Gabriela Mochizuki, Meredith Mock, Lyndsey Brewer

Comput. Hum. Behav., 2023

Formal Analysis of Security Protocols with Movement.

Andrew Cook, Luca Viganò

Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), 2023

2022

Stochastic Delay Cost Functions to Estimate Delay Propagation Under Uncertainty.

Jan Evler, Michael Schultz, Hartmut Fricke, Andrew Cook

IEEE Access, 2022

2020

A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement.

Andrew Cook, Luca Viganò

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

2019

Towards Automatic Screening of Typical and Atypical Behaviors in Children With Autism.

Andrew Cook, Bappaditya Mandal, Donna Berry, Matthew Johnson

Proceedings of the 2019 IEEE International Conference on Data Science and Advanced Analytics, 2019

2010

Six speaking chairs (not directly) for people who cannot speak.

Graham Pullin, Andrew Cook

Interactions, 2010

2009

Rayleigh-Taylor instability and mixing.

Andrew Cook, David Youngs

Scholarpedia, 2009

2007

Tactophonics: Your Favourite Thing Wants to Sing.

Andrew Cook, Graham Pullin

Proceedings of the Seventh International Conference on New Interfaces for Musical Expression, 2007

Auto-parallelisation of Sieve C++ Programs.

Alastair F. Donaldson, Colin Riley, Anton Lokhmotov, Andrew Cook

Proceedings of the Euro-Par 2007 Workshops: Parallel Processing, 2007

2006

An Integrated Approach to High Integrity Software Verification.

Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes

J. Autom. Reason., 2006

2005

Discovering applications of higher order functions through proof planning.

Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife

Formal Aspects Comput., 2005

2001

Using proof in transformation synthesis for automatic parallelisation.

Andrew Cook

PhD thesis, 2001

Higher Order Function Synthesis Through Proof Planning.

Andrew Cook, Andrew Ireland, Greg Michaelson

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

1993

Passive Optical Networks - Deployment and Evolutionary Potential.

David Faulkner, Jeff Stern, Peter Frost, Andrew Cook

Eur. Trans. Telecommun., 1993