default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlan Stewart
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[j18]Joaquim Gabarró
, Alan Stewart:
Modelling web-service uncertainty: The angel/daemon approach. Comput. Sci. Rev. 39: 100355 (2021)
2010 – 2019
- 2015
- [j17]Malak Baslyman, Raoufeh Rezaee, Daniel Amyot, Alain Mouttham, Rana Chreyh, Glen Geiger, Alan Stewart, Samer Sader:
Real-time and location-based hand hygiene monitoring and notification: proof-of-concept system and experimentation. Pers. Ubiquitous Comput. 19(3-4): 667-688 (2015) - [c19]Jorge Castro, Joaquim Gabarró, Maria J. Serna, Alan Stewart:
The Robustness of Periodic Orchestrations in Uncertain Evolving Environments. ECSQARU 2015: 129-140 - [c18]Alan Stewart, Joaquim Gabarró, Anthony Keenan:
Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance. ECSQARU 2015: 141-150 - 2014
- [j16]Joaquim Gabarró, Maria J. Serna, Alan Stewart:
Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles. Comput. J. 57(11): 1591-1615 (2014) - 2013
- [j15]Alan Stewart, Joaquim Gabarró, Anthony Keenan:
Reasoning about orchestrations of web services using partial correctness. Formal Aspects Comput. 25(6): 833-846 (2013) - 2012
- [j14]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: 6 (2012) - [c17]Yih Leong Sun, Terence J. Harmer, Alan Stewart:
Specifying Cloud Application Requirements: An Ontological Approach. CloudComp 2012: 82-91 - 2011
- [j13]Alan Stewart:
A programming model for BSP with partitioned synchronisation. Formal Aspects Comput. 23(4): 421-432 (2011) - [c16]Jonathan Sinclair, Benoit Hudzia, Maik A. Lindner, Alan Stewart, Terry Harmer:
Architecture for Compliance Analysis of Distributed Service based Systems. CLOSER 2011: 286-292 - [c15]Joaquim Gabarró, Maria J. Serna, Alan Stewart:
Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty. ECSQARU 2011: 651-662 - [c14]Yih Leong Sun, Terence J. Harmer, Alan Stewart, Peter Wright:
Mapping Application Requirements to Cloud Resources. Euro-Par Workshops (1) 2011: 104-112 - [c13]Joaquim Gabarró, Maria J. Serna, Alan Stewart:
Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability. TGC 2011: 197-211 - 2010
- [c12]Marco Danelutto, Frédéric Desprez, Paraskevi Fragopoulou, Alan Stewart:
2010 CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing. Euro-Par Workshops 2010: 235-236 - [c11]Joaquim Gabarró, Peter Kilpatrick, Maria J. Serna, Alan Stewart:
Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung. TGC 2010: 189-204
2000 – 2009
- 2008
- [c10]Alan Stewart, Maurice Clint, Terry Harmer, Peter Kilpatrick, Ronald H. Perrott, Joaquim Gabarró:
Assessing the Reliability and Cost of Web and Grid Orchestrations. ARES 2008: 428-433 - [c9]Joaquim Gabarró, Alina García, Maria J. Serna, Peter Kilpatrick, Alan Stewart:
Analysing Orchestrations Using Risk Profiles And Angel-Daemon Games. CoreGRID Integration Workshop 2008: 121-132 - 2007
- [c8]Joaquim Gabarró, Alina García, Maurice Clint, Peter Kilpatrick, Alan Stewart:
Bounded Site Failures: An Approach to Unreliable Grid Environments. CoreGRID Workshop - Making Grids Work 2007: 175-187 - 2006
- [c7]Alan Stewart, Joaquim Gabarró, Maurice Clint, Terence J. Harmer, Peter Kilpatrick, Ronald H. Perrott:
Managing Grid Computations: An ORC-Based Approach. ISPA 2006: 278-291 - 2004
- [j12]Alan Stewart, Maurice Clint, Joaquim Gabarró:
Barrier synchronisation: Axiomatisation and relaxation. Formal Aspects Comput. 16(1): 36-50 (2004) - 2003
- [c6]Joaquim Gabarró, Alan Stewart, Maurice Clint, Eamonn Boyle, Isabel Vallejo:
Computational Models for Web- and Grid-Based Computation. Euro-Par 2003: 640-650 - 2002
- [c5]Joaquim Gabarró, Alan Stewart, Maurice Clint:
Grab and Go Systems: a CPO approach to concurrent web and grid-based computation. F-WAN@ICALP 2002: 1-21 - 2001
- [j11]Alan Stewart, Maurice Clint:
BSP-style Computation: a Semantic Investigation. Comput. J. 44(3): 174-185 (2001) - [c4]Alan Stewart, Maurice Clint, Joaquim Gabarró, Maria J. Serna:
Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications. Euro-Par 2001: 549-559 - 2000
- [j10]Alan Stewart, Maurice Clint, Joaquim Gabarró:
Axiomatic Frameworks for Developing Bsp-style Programs*. Parallel Algorithms Appl. 14(4): 271-292 (2000)
1990 – 1999
- 1997
- [j9]Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle:
The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations. Sci. Comput. Program. 28(1): 1-41 (1997) - [c3]Alan Stewart, Maurice Clint:
Synchronising Asynchronous Communications. Euro-Par 1997: 511-520 - [c2]Alan Stewart:
An Axiomatic Semantics for Data Parallel Computation. IWFM 1997 - 1994
- [j8]Alan Stewart:
A one-pass thinning algorithm with interference guards. Pattern Recognit. Lett. 15(8): 825-832 (1994) - 1990
- [j7]Alan Stewart:
An Axiomatic Treatment of SIMD Assignment. BIT 30(1): 70-82 (1990)
1980 – 1989
- 1989
- [j6]Christopher M. Holt, Alan Stewart:
A parallel thinning algorithm with fine grain subtasking. Parallel Comput. 10(3): 329-334 (1989) - 1988
- [j5]Alan Stewart:
SIMD Language Design Using Prescriptive Semantics. BIT 28(3): 639-649 (1988) - [j4]Maurice Clint, Donal Roantree, Alan Stewart:
Towards the construction of an eigenvalue engine. Parallel Comput. 8(1-3): 127-132 (1988) - 1987
- [j3]Christopher M. Holt, Alan Stewart, Maurice Clint, Ronald H. Perrott:
An Improved Parallel Thinning Algorithm. Commun. ACM 30(2): 156-160 (1987) - 1986
- [b1]Alan Stewart:
The formal specification of computational structures. Queen's University Belfast, UK, 1986 - [c1]Ronald H. Perrott, Christopher M. Holt, Maurice Clint, Alan Stewart:
A Parallel Processing Algorithm for Thinning Digitised Pictures. CONPAR 1986: 183-189 - 1983
- [j2]Maurice Clint, Ronald H. Perrott, Christopher M. Holt, Alan Stewart:
The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms. Softw. Pract. Exp. 13(10): 961-974 (1983)
1970 – 1979
- 1974
- [j1]Alan Stewart:
A New Type of VF Repeater for Two-Wire Transmission Loops. IEEE Trans. Commun. 22(2): 242-250 (1974)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
