![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Richard A. Hayden
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [j11]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates. Ann. Oper. Res. 239(2): 667-693 (2016) - 2014
- [c12]Richard A. Hayden, Illés Horváth, Miklós Telek
:
Mean Field for Performance Models with Generally-Distributed Timed Transitions. QEST 2014: 90-105 - 2013
- [j10]Luca Bortolussi
, Richard A. Hayden:
Bounds on the deviation of discrete-time Markov chains from their mean-field model. Perform. Evaluation 70(10): 736-749 (2013) - [j9]Peter G. Harrison
, Richard A. Hayden, William J. Knottenbelt:
Product-forms in batch networks: Approximation and asymptotics. Perform. Evaluation 70(10): 822-840 (2013) - [j8]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
- [j7]Jeremy T. Bradley, Nigel Thomas, Richard A. Hayden, Anton Stefanek:
Invited Response to Computer Journal Lecture by Prof. Jane Hillston. Comput. J. 55(7): 882-886 (2012) - [j6]Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley:
Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci. 413(1): 106-141 (2012) - [c11]Anton Stefanek, Richard A. Hayden, Mark Mac Gonagle, Jeremy T. Bradley:
Mean-Field Analysis of Markov Models with Reward Feedback. ASMTA 2012: 193-211 - [c10]Richard A. Hayden:
Mean Field for Performance Models with Deterministically-Timed Transitions. QEST 2012: 63-73 - [c9]Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Specification and Efficient Computation of Passage-Time Distributions in GPA. QEST 2012: 199-200 - [c8]Richard A. Hayden:
Basic theory and some applications of martingales. SIGMETRICS 2012: 429-430 - [p1]Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter:
Scalable Stochastic Modelling for Resilience. Resilience Assessment and Evaluation of Computing Systems 2012: 115-149 - 2011
- [b1]Richard Alexander Hayden:
Scalable performance analysis of massively parallel stochastic systems. Imperial College London, UK, 2011 - [j5]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39(3): 13 (2011) - [j4]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Fluid computation of the performance: energy tradeoff in large scale Markov models. SIGMETRICS Perform. Evaluation Rev. 39(3): 104-106 (2011) - [j3]Richard A. Hayden:
Mean-field approximations for performance models with generally-timed transitions. SIGMETRICS Perform. Evaluation Rev. 39(3): 119-121 (2011) - [c7]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. QEST 2011: 147-148 - [c6]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Fluid analysis of energy consumption using rewards in massively parallel markov models. ICPE 2011: 121-132 - 2010
- [j2]Richard A. Hayden, Jeremy T. Bradley:
Evaluating fluid semantics for passive stochastic process algebra cooperation. Perform. Evaluation 67(4): 260-284 (2010) - [j1]Richard A. Hayden, Jeremy T. Bradley:
A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci. 411(22-24): 2260-2297 (2010) - [c5]Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
A new tool for the performance analysis of massively parallel computer systems. QAPL 2010: 159-181
2000 – 2009
- 2009
- [c4]Richard A. Hayden, Jeremy T. Bradley:
Shared Transaction Markov Chains for fluid analysis of massively parallel systems. MASCOTS 2009: 1-12 - 2008
- [c3]Jeremy T. Bradley, Richard A. Hayden, William J. Knottenbelt, Tamas Suto:
Extracting Response Times from Fluid Analysis of Performance Models. SIPEW 2008: 29-43 - [c2]Richard A. Hayden, Jeremy T. Bradley:
Fluid semantics for passive stochastic process algebra cooperation. VALUETOOLS 2008: 55 - 2006
- [c1]Andrew M. Cheadle, A. J. Field, J. W. Ayres, Neil Dunn, Richard A. Hayden, Johan Nyström-Persson:
Visualising dynamic memory allocators. ISMM 2006: 115-125
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-08-05 21:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint