A. Stewart

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modelling web-service uncertainty: the angel/daemon approach Computer Science Review	2021-12-20	Paper
The robustness of periodic orchestrations in uncertain evolving environments Lecture Notes in Computer Science	2015-11-10	Paper
Uncertainty in the cloud: an angel-daemon approach to modelling performance Lecture Notes in Computer Science	2015-11-10	Paper
Reasoning about orchestrations of web services using partial correctness Formal Aspects of Computing	2014-11-10	Paper
A programming model for BSP with partitioned synchronisation Formal Aspects of Computing	2011-10-18	Paper
Web services and \textit{incerta spiriti}: a game theoretic approach to uncertainty Lecture Notes in Computer Science	2011-06-29	Paper
Barrier synchronisation: Axiomatisation and relaxation Formal Aspects of Computing	2004-10-01	Paper
scientific article; zbMATH DE number 2102052 (Why is no real title available?)	2004-09-22	Paper
scientific article; zbMATH DE number 1863308 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1760046 (Why is no real title available?)	2002-11-06	Paper
BSP-style computation: A semantic investigation The Computer Journal. Section A Section B	2002-05-14	Paper
AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗ Parallel Algorithms and Applications	2000-06-05	Paper
The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations Science of Computer Programming	1997-08-07	Paper
An axiomatic treatment of SIMD assignment BIT	1990-01-01	Paper
SIMD language design using prescriptive semantics BIT	1988-01-01	Paper
Towards the construction of an eigenvalue engine Parallel Computing	1988-01-01	Paper

Research outcomes over time

This page was built for person: A. Stewart