Andrew Cook - RankMe

17 papers A* 1B 1Journal 10Unranked 4

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