Stephen T. Gilmore

Available identifiers

zbMath Open gilmore.stephen-tWikidataQ102339845 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stephen T. Gilmore