2006 |
3 | EE | Ofer Margoninski,
Peter Saffrey,
James Hetherington,
Anthony Finkelstein,
Anne Warner:
A Specification Language and a Framework for the Execution of Composite Models in Systems Biology.
T. Comp. Sys. Biology: 163-184 (2006) |
2004 |
2 | EE | Peter Saffrey,
Muffy Calder:
Optimising Communication Structure for Model Checking.
FASE 2004: 310-323 |
1 | EE | Anthony Finkelstein,
James Hetherington,
Linzhong Li,
Ofer Margoninski,
Peter Saffrey,
Rob Seymour,
Anne Warner:
Computational Challenges of Systems Biology.
IEEE Computer 37(5): 26-33 (2004) |