Stephen Gilmore

Available identifiers

zbMath Open gilmore.stephen-tDBLPg/StephenGilmoreWikidataQ102339845 ScholiaQ102339845MaRDI QIDQ941453

List of research outcomes

Publication	Date of Publication	Type
Abstract Interpretation of PEPA Models	2016-03-23	Paper
A structural approach for modelling performance of systems using skeletons	2014-01-17	Paper
Stochastic process algebras	2011-03-25	Paper
Formal methods for biochemical signalling pathways	2010-04-23	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
State-Aware Performance Analysis with eXtended Stochastic Probes	2008-12-02	Paper
Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models	2008-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4817054	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4738769	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4518928	2001-06-13	Paper
Specifications in stochastic process algebra for a robot control problem	1999-04-22	Paper

Research outcomes over time

This page was built for person: Stephen Gilmore