A constraints-based resource discovery model for multi-provider cloud environments. - Peter Wright; Yih Leong Sun; Terence J. Harmer; Anthony Keenan; Alan Stewart; Ronald H. Perrott (J. Cloud Comput., 2012)

Reasoning about orchestrations of web services using partial correctness. - Alan Stewart; Joaquim Gabarró; Anthony Keenan (Formal Aspects Comput., 2013)

Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance. - Alan Stewart; Joaquim Gabarró; Anthony Keenan (ECSQARU, 2015)

Orchestrating high performance services : theory and practice. - Anthony Keenan (2015)