Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. - Muffy Calder; Adam Duguid; Stephen Gilmore; Jane Hillston (CMSB, 2006)

Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion. - Adam Duguid (FORMATS, 2006)

Integrated Analysis from Abstract Stochastic Process Algebra Models. - Jane Hillston; Federica Ciocchetta; Adam Duguid; Stephen Gilmore (CMSB, 2008)

Partial Evaluation of PEPA Models for Fluid-Flow Analysis. - Allan Clark; Adam Duguid; Stephen Gilmore; Mirco Tribastone (EPEW, 2008)

Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style. - Jane Hillston; Adam Duguid (Algorithmic Bioprocesses, 2009)

Passage-End Analysis. - Allan Clark; Adam Duguid; Stephen Gilmore (EPEW, 2009)

The Bio-PEPA Tool Suite. - Federica Ciocchetta; Adam Duguid; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (QEST, 2009)

Design and Development of Software Tools for Bio-PEPA. - Adam Duguid; Stephen T. Gilmore; Maria Luisa Guerriero; Jane Hillston; Laurence Loewe (WSC, 2009)

A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA - Federica Ciocchetta; Adam Duguid; Maria Luisa Guerriero (MeCBIC, 2009)

The PEPA eclipse plugin. - Mirco Tribastone; Adam Duguid; Stephen Gilmore (SIGMETRICS Perform. Evaluation Rev., 2009)

Passage-End Analysis for Analysing Robot Movement. - Allan Clark; Adam Duguid; Stephen Gilmore (Results of the SENSORIA Project, 2011)