Anthony Keenan

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Complete Axiomatization

Layered Architecture

Reasoning Under Uncertainty

Resource Discovery

Top Venues

J. Cloud Comput.

Formal Aspects Comput.

Queen's University Belfast, UK (PHD)

Education History

Queen's University Belfast, UK

PHD

Publications

Alan Stewart, Joaquim Gabarró, Anthony Keenan
Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance. ECSQARU (2015)
Alan Stewart, Joaquim Gabarró, Anthony Keenan
Reasoning about orchestrations of web services using partial correctness. Formal Aspects Comput. 25 (6) (2013)
Peter Wright, Yih Leong Sun, Terence J. Harmer, Anthony Keenan, Alan Stewart, Ronald H. Perrott
A constraints-based resource discovery model for multi-provider cloud environments. J. Cloud Comput. 1 (2012)