default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAllan Clark
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
[c22]Christopher D. Williams, Allan Clark:
A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in. UKPEW 2014: 69-89- [c21]Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore:
Finding Optimal Timetables for Edinburgh Bus Routes. PASM 2014: 179-199 - 2013
- [j4]Richard R. Adams
, Allan Clark, Azusa Yamaguchi, Neil Hanlon, Nikos Tsorman, Shakir Ali, Galina Lebedeva, Alexey N. Goltsov, Anatoly A. Sorokin, Ozgur E. Akman, Carl Troein, Andrew J. Millar, Igor Goryanin, Stephen Gilmore:
SBSI: an extensible distributed software infrastructure for parameter estimation in systems biology. Bioinform. 29(5): 664-665 (2013) - [j3]Richard A. Hayden, Jeremy T. Bradley, Allan Clark:
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis. IEEE Trans. Software Eng. 39(1): 97-118 (2013) - 2012
- [j2]Colin J. Cotter, Allan Clark, Joaquim Peiró:
A Reparameterisation Based Approach to Geodesic Constrained Solvers for Curve Matching. Int. J. Comput. Vis. 99(1): 103-121 (2012) - [c20]Anastasis Georgoulas, Allan Clark, Andrea Ocone, Stephen Gilmore, Guido Sanguinetti:
A subsystems approach for parameter estimation of ODE models of hybrid systems. HSB 2012: 30-41 - [c19]Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark:
Stochastic Modelling of the Kai-based Circadian Clock. PASM/PDMC 2012: 43-60 - [c18]Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
Conservation of Mass Analysis for Bio-PEPA. PASM/PDMC 2012: 107-126 - 2011
- [c17]Andrew Coles, Amanda Jane Coles, Allan Clark, Stephen Gilmore:
Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements. ICAPS 2011 - [p3]Allan Clark, Stephen Gilmore:
Evaluating Service Level Agreements Using Observational Probes. Results of the SENSORIA Project 2011: 467-485 - [p2]Allan Clark, Adam Duguid, Stephen Gilmore:
Passage-End Analysis for Analysing Robot Movement. Results of the SENSORIA Project 2011: 506-521 - [p1]Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo:
Quantitative Analysis of Services. Results of the SENSORIA Project 2011: 522-540 - 2010
- [c16]Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper:
On verifying Bio-PEPA models. CMSB 2010: 23-32 - [c15]Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper:
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC 2010: 620-630
2000 – 2009
- 2009
- [j1]Allan Clark, Stephen Gilmore:
Transient calculations on process algebra derived Markov chains. IET Softw. 3(6): 495-508 (2009) - [c14]Allan Clark, Adam Duguid, Stephen Gilmore:
Passage-End Analysis. EPEW 2009: 110-115 - [c13]Allan Clark, Stephen Gilmore, Mirco Tribastone:
Scalable Analysis of Scalable Systems. FASE 2009: 1-17 - [c12]Allan Clark, Stephen Gilmore, Mirco Tribastone:
Quantitative Analysis of Web Services Using SRMC. SFM 2009: 296-339 - 2008
- [c11]Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone:
Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW 2008: 2-16 - [c10]Allan Clark, Stephen Gilmore:
State-Aware Performance Analysis with eXtended Stochastic Probes. EPEW 2008: 125-140 - [c9]Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190 - [c8]Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone:
Safety and Response-Time Analysis of an Automotive Accident Assistance Service. ISoLA 2008: 191-205 - [c7]Allan Clark, Stephen Gilmore, Mirco Tribastone:
Service-Level Agreements for Service-Oriented Computing. WADT 2008: 21-36 - 2007
- [c6]Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing:
Modelling the CoCoME with the Java/AComponent Model. CoCoME 2007: 207-237 - [c5]Allan Clark:
The ipclib PEPA Library. QEST 2007: 55-56 - [c4]Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Stochastic Process Algebras. SFM 2007: 132-179 - [c3]Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore:
Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC 2007: 222-239 - 2006
- [c2]Allan Clark, Stephen Gilmore:
Evaluating Quality of Service for Service Level Agreements. FMICS/PDMC 2006: 181-194 - [c1]Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder:
Semantic-Based Development of Service-Oriented Systems. FORTE 2006: 24-45
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-04-24 22:57 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:
