Optimising communication structure for model checking. - Peter Saffrey (2003)

Optimising Communication Structure for Model Checking. - Peter Saffrey; Muffy Calder (FASE, 2004)

Computational Challenges of Systems Biology. - Anthony Finkelstein; James Hetherington; Linzhong Li; Ofer Margoninski; Peter Saffrey; Robert M. Seymour; Anne Warner (Computer, 2004)

A Specification Language and a Framework for the Execution of Composite Models in Systems Biology. - Ofer Margoninski; Peter Saffrey; James Hetherington; Anthony Finkelstein; Anne Warner (Trans. Comp. Sys. Biology, 2006)

Addressing the challenges of multiscale model management in systems biology. - James Hetherington; Ian David Lockhart Bogle; Peter Saffrey; Ofer Margoninski; Linzhong Li; Marta Varela-Rey; Sachie Yamaji; Stephen Baigent; Jonathan Ashmore; K. Page; Robert M. Seymour; Anthony Finkelstein; et al. (Comput. Chem. Eng., 2007)

End-to-End Information Management for Systems Biology. - Peter Saffrey; Ofer Margoninski; James Hetherington; Marta Varela-Rey; Sachie Yamaji; Anthony Finkelstein; Ian David Lockhart Bogle; Anne Warner (Trans. Comp. Sys. Biology, 2007)

The 'Mental Map' versus 'Static Aesthetic' Compromise in Dynamic Graphs : A User Study. - Peter Saffrey; Helen C. Purchase (AUIC, 2008)

Version control of pathway models using XML patches. - Peter Saffrey; Richard Orton (BMC Syst. Biol., 2009)

Manipulating mindset to positively influence introductory programming performance. - Quintin I. Cutts; Emily Cutts; Stephen W. Draper; Patrick O'Donnell; Peter Saffrey (SIGCSE, 2010)