Professor Stephen Gilmore
School of Informatics
The University of Edinburgh
Informatics Forum (Room 3.47)
10 Crichton Street
Edinburgh EH8 9AB
Email: Stephen.Gilmore@ed.ac.uk
Phone: +44 (0)131 650 5189
Biography — Projects — Publications —
Students — Teaching — Conferences — Family — DBLP
Publications
All ‣ Preprints ‣ 2011 ‣ 2010 ‣ 2009 ‣ 2008 ‣ 2007 ‣ 2006 ‣ 2005 ‣ 2004 ‣ 2003 ‣ 2002 ‣ 2001 ‣ 2000 ‣ 1999 ‣ 1998 ‣ 1997 ‣ 1996 ‣ 1995 ‣ 1994
2010
- Verification and Testing of Biological Models, Allan Clark, Jane Hillston, Stephen Gilmore and
Peter Kemper, Proceedings of the 2010 Winter Simulation Conference (WSC 2010), Baltimore, Maryland, pages 620-630, December 2010.
- On verifying Bio-PEPA models, Allan Clark, Stephen Gilmore, Maria Luisa Guerriero and Peter
Kemper, 8th International Conference on Computational Methods in Systems Biology (CMSB 2010), Trento, Italy, pages 23-32, October 2010.
Last updated: Monday, 16 March 2015 — Validate this
page.