Adam Duguid

According to our database, Adam Duguid authored at least 11 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Passage-End Analysis for Analysing Robot Movement.

Allan Clark, Adam Duguid, Stephen Gilmore

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2009

The PEPA eclipse plugin.

Mirco Tribastone, Adam Duguid, Stephen Gilmore

SIGMETRICS Perform. Evaluation Rev., 2009

A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA

Federica Ciocchetta, Adam Duguid, Maria Luisa Guerriero

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

Design and Development of Software Tools for Bio-PEPA.

Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe

Proceedings of the 2009 Winter Simulation Conference, 2009

The Bio-PEPA Tool Suite.

Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston

Proceedings of the QEST 2009, 2009

Passage-End Analysis.

Allan Clark, Adam Duguid, Stephen Gilmore

Proceedings of the Computer Performance Engineering, 2009

Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style.

Jane Hillston, Adam Duguid

Proceedings of the Algorithmic Bioprocesses, 2009

2008

Partial Evaluation of PEPA Models for Fluid-Flow Analysis.

Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone

Proceedings of the Computer Performance Engineering, 2008

Integrated Analysis from Abstract Stochastic Process Algebra Models.

Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2006

Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion.

Adam Duguid

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods.

Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006