A New Type of VF Repeater for Two-Wire Transmission Loops. - Alan Stewart (IEEE Trans. Commun., 1974)

The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms. - Maurice Clint; Ronald H. Perrott; Christopher M. Holt; Alan Stewart (Softw. Pract. Exp., 1983)

A Parallel Processing Algorithm for Thinning Digitised Pictures. - Ronald H. Perrott; Christopher M. Holt; Maurice Clint; Alan Stewart (CONPAR, 1986)

The formal specification of computational structures. - Alan Stewart (1986)

An Improved Parallel Thinning Algorithm. - Christopher M. Holt; Alan Stewart; Maurice Clint; Ronald H. Perrott (Commun. ACM, 1987)

SIMD Language Design Using Prescriptive Semantics. - Alan Stewart (BIT, 1988)

Towards the construction of an eigenvalue engine. - Maurice Clint; Donal Roantree; Alan Stewart (Parallel Comput., 1988)

A parallel thinning algorithm with fine grain subtasking. - Christopher M. Holt; Alan Stewart (Parallel Comput., 1989)

An Axiomatic Treatment of SIMD Assignment. - Alan Stewart (BIT, 1990)

A one-pass thinning algorithm with interference guards. - Alan Stewart (Pattern Recognit. Lett., 1994)

Synchronising Asynchronous Communications. - Alan Stewart; Maurice Clint (Euro-Par, 1997)

An Axiomatic Semantics for Data Parallel Computation. - Alan Stewart (IWFM, 1997)

The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations. - Stephen Fitzpatrick; Terence J. Harmer; Alan Stewart; Maurice Clint; James M. Boyle (Sci. Comput. Program., 1997)

Axiomatic Frameworks for Developing Bsp-style Programs*. - Alan Stewart; Maurice Clint; Joaquim Gabarró (Parallel Algorithms Appl., 2000)

Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications. - Alan Stewart; Maurice Clint; Joaquim Gabarró; Maria J. Serna (Euro-Par, 2001)

BSP-style Computation: a Semantic Investigation. - Alan Stewart; Maurice Clint (Comput. J., 2001)

Grab and Go Systems: a CPO approach to concurrent web and grid-based computation. - Joaquim Gabarró; Alan Stewart; Maurice Clint (F-WAN@ICALP, 2002)

Computational Models for Web- and Grid-Based Computation. - Joaquim Gabarró; Alan Stewart; Maurice Clint; Eamonn Boyle; Isabel Vallejo (Euro-Par, 2003)

Barrier synchronisation: Axiomatisation and relaxation. - Alan Stewart; Maurice Clint; Joaquim Gabarró (Formal Aspects Comput., 2004)

Managing Grid Computations: An ORC-Based Approach. - Alan Stewart; Joaquim Gabarró; Maurice Clint; Terence J. Harmer; Peter Kilpatrick; Ronald H. Perrott (ISPA, 2006)

Bounded Site Failures: An Approach to Unreliable Grid Environments. - Joaquim Gabarró; Alina García; Maurice Clint; Peter Kilpatrick; Alan Stewart (CoreGRID Workshop - Making Grids Work, 2007)

Assessing the Reliability and Cost of Web and Grid Orchestrations. - Alan Stewart; Maurice Clint; Terry Harmer; Peter Kilpatrick; Ronald H. Perrott; Joaquim Gabarró (ARES, 2008)

Analysing Orchestrations Using Risk Profiles And Angel-Daemon Games. - Joaquim Gabarró; Alina García; Maria J. Serna; Peter Kilpatrick; Alan Stewart (CoreGRID Integration Workshop, 2008)

2010 CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing. - Marco Danelutto; Frédéric Desprez; Paraskevi Fragopoulou; Alan Stewart (Euro-Par Workshops, 2010)

Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung. - Joaquim Gabarró; Peter Kilpatrick; Maria J. Serna; Alan Stewart (TGC, 2010)

Architecture for Compliance Analysis of Distributed Service based Systems. - Jonathan Sinclair; Benoit Hudzia; Maik A. Lindner; Alan Stewart; Terry Harmer (CLOSER, 2011)

Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty. - Joaquim Gabarró; Maria J. Serna; Alan Stewart (ECSQARU, 2011)

Mapping Application Requirements to Cloud Resources. - Yih Leong Sun; Terence J. Harmer; Alan Stewart; Peter Wright (Euro-Par Workshops (1), 2011)

Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability. - Joaquim Gabarró; Maria J. Serna; Alan Stewart (TGC, 2011)

A programming model for BSP with partitioned synchronisation. - Alan Stewart (Formal Aspects Comput., 2011)

Specifying Cloud Application Requirements: An Ontological Approach. - Yih Leong Sun; Terence J. Harmer; Alan Stewart (CloudComp, 2012)

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)

Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles. - Joaquim Gabarró; Maria J. Serna; Alan Stewart (Comput. J., 2014)

The Robustness of Periodic Orchestrations in Uncertain Evolving Environments. - Jorge Castro; Joaquim Gabarró; Maria J. Serna; Alan Stewart (ECSQARU, 2015)

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

Real-time and location-based hand hygiene monitoring and notification: proof-of-concept system and experimentation. - Malak Baslyman; Raoufeh Rezaee; Daniel Amyot; Alain Mouttham; Rana Chreyh; Glen Geiger; Alan Stewart; Samer Sader (Pers. Ubiquitous Comput., 2015)

Modelling web-service uncertainty: The angel/daemon approach. - Joaquim Gabarró; Alan Stewart (Comput. Sci. Rev., 2021)