Passive Optical Networks - Deployment and Evolutionary Potential. - David Faulkner; Jeff Stern; Peter Frost; Andrew Cook (Eur. Trans. Telecommun., 1993)

Higher Order Function Synthesis Through Proof Planning. - Andrew Cook; Andrew Ireland; Greg Michaelson (ASE, 2001)

Using proof in transformation synthesis for automatic parallelisation. - Andrew Cook (2001)

Discovering applications of higher order functions through proof planning. - Andrew Cook; Andrew Ireland; Greg Michaelson; Norman Scaife (Formal Aspects Comput., 2005)

An Integrated Approach to High Integrity Software Verification. - Andrew Ireland; Bill J. Ellis; Andrew Cook; Roderick Chapman; Janet Barnes (J. Autom. Reason., 2006)

Auto-parallelisation of Sieve C++ Programs. - Alastair F. Donaldson; Colin Riley; Anton Lokhmotov; Andrew Cook (Euro-Par Workshops, 2007)

Tactophonics: Your Favourite Thing Wants to Sing. - Andrew Cook; Graham Pullin (NIME, 2007)

Rayleigh-Taylor instability and mixing. - Andrew Cook; David Youngs (Scholarpedia, 2009)

Six speaking chairs (not directly) for people who cannot speak. - Graham Pullin; Andrew Cook (Interactions, 2010)

Towards Automatic Screening of Typical and Atypical Behaviors in Children With Autism. - Andrew Cook; Bappaditya Mandal; Donna Berry; Matthew Johnson (DSAA, 2019)

A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement. - Andrew Cook; Luca Viganò 001 (EuroS&P Workshops, 2020)

Stochastic Delay Cost Functions to Estimate Delay Propagation Under Uncertainty. - Jan Evler; Michael Schultz; Hartmut Fricke; Andrew Cook (IEEE Access, 2022)

Formal Analysis of Security Protocols with Movement. - Andrew Cook; Luca Viganò 001 (ITASEC, 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; et al. (Comput. Hum. Behav., 2023)

Fixed points of arbitrarily deep 1-dimensional neural networks. - Andrew Cook; Andy Hammerlindl; Warwick Tucker (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í; et al. (CoRR, 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)