Andrew Cook

ORCID

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 8

Top Venues

Heriot-Watt University, Edinburgh, UK (PHD)

Education History

Heriot-Watt University, Edinburgh, UK

PHD

Publications

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
I just want to matter: Examining the role of anti-mattering in online suicide support communities using natural language processing. Comput. Hum. Behav. 139 (2023)
Andrew Cook, Andy Hammerlindl, Warwick Tucker
Fixed points of arbitrarily deep 1-dimensional neural networks. CoRR (2023)
Andrew Cook, Luca Viganò
Formal Analysis of Security Protocols with Movement. ITASEC (2023)
Christoffer Riis, Francisco N. Antunes, Tatjana Bolic, Gérald Gurtner, Andrew Cook, Carlos Lima Azevedo, Francisco Câmara Pereira
Applied metamodelling for ATM performance simulations. CoRR (2023)
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
NOSTROMO: Lessons learned, conclusions and way forward. CoRR (2023)
Jan Evler, Michael Schultz, Hartmut Fricke, Andrew Cook
Stochastic Delay Cost Functions to Estimate Delay Propagation Under Uncertainty. IEEE Access 10 (2022)
Andrew Cook, Luca Viganò
A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement. EuroS&P Workshops (2020)
Andrew Cook, Bappaditya Mandal, Donna Berry, Matthew Johnson
Towards Automatic Screening of Typical and Atypical Behaviors in Children With Autism. DSAA (2019)
Graham Pullin, Andrew Cook
Six speaking chairs (not directly) for people who cannot speak. Interactions 17 (5) (2010)
Andrew Cook, David Youngs
Rayleigh-Taylor instability and mixing. Scholarpedia 4 (2) (2009)
Andrew Cook, Graham Pullin
Tactophonics: Your Favourite Thing Wants to Sing. NIME (2007)
Alastair F. Donaldson, Colin Riley, Anton Lokhmotov, Andrew Cook
Auto-parallelisation of Sieve C++ Programs. Euro-Par Workshops (2007)
Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
An Integrated Approach to High Integrity Software Verification. J. Autom. Reason. 36 (4) (2006)
Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife
Discovering applications of higher order functions through proof planning. Formal Aspects Comput. 17 (1) (2005)
Andrew Cook, Andrew Ireland, Greg Michaelson
Higher Order Function Synthesis Through Proof Planning. ASE (2001)
David Faulkner, Jeff Stern, Peter Frost, Andrew Cook
Passive Optical Networks - Deployment and Evolutionary Potential. Eur. Trans. Telecommun. 4 (6) (1993)

Andrew Cook.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrew Cook