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
2004
- Modelling Role-Playing Games Using PEPA Nets, Stephen
Gilmore, Leila Kloul and Davide Piazza, Proceedings of the 19th International Symposium on Computer and Information Sciences - ISCIS 2004,
Kemer-Antalya, Turkey, October, 2004.
- PEPA nets in practice: modelling a decentralised peer-to-peer emergency
medical application, Stephen Gilmore, Valentin Haenel, Jane Hillston and Leila Kloul, Proceedings of the First European Performance
Engineering Workshop (EPEW 2004), Toledo, Spain, September/October 2004.
- How Synchronisation Strategy Approximation in PEPA Implementations
affects Passage time Performance Results, Jeremy T. Bradley, Stephen Gilmore and Nigel Thomas, Proceedings of the First European Performance
Engineering Workshop (EPEW 2004), Toledo, Spain, September/October 2004.
- Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra
PEPA, Muffy Calder, Stephen Gilmore and Jane Hillston, Proceedings of BioConcur 2004, London, England, September 2004.
- Securing statically-verified communications protocols against timing
attacks, Mikael Buchholtz, Stephen Gilmore, Jane Hillston and Flemming Nielson, Proceedings of the first international workshop on Practical
Applications of Stochastic Modelling (PASM 2004), London, England, September 2004.
Last updated: Monday, 16 March 2015 — Validate this
page.