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
2006
- Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State
Methods, Muffy Calder, Adam Duguid, Stephen Gilmore and Jane Hillston, Proceedings of Computational Methods in Systems Biology (CMSB 2006),
Trento, Italy, Springer-Verlag LNCS 4210, pages 63-77, October 2006.
- Semantic-Based Development of Service-Oriented Systems, Martin Wirsing, Allan Clark, Stephen
Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch and Andreas Schroeder, Proceedings of FORTE 2006, Springer-Verlag LNCS 4229, pages 24-45,
September 2006.
- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management
System, Stephen Gilmore and Mirco Tribastone, Proceedings of Web Services and Formal Methods (WS-FM) 2006, Springer-Verlag LNCS 4184, pages
214-223, September 2006.
- Evaluating Quality of Service for Service Level Agreements, Allan Clark and Stephen Gilmore,
Proceedings of FMICS and PDMC 2006, Springer-Verlag LNCS 4346, pages 181--194, August 2006.
- Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra
PEPA, Muffy Calder, Stephen Gilmore and Jane Hillston, Transactions on Computational Systems Biology VII, Springer-Verlag LNBI 4230, pages
1--23, 2006.
- Combining measurement and stochastic modelling to enhance scheduling decisions for a parallel Mean Value
Analysis algorithm, Gagarine Yaikhom, Murray Cole, and Stephen Gilmore, Proceedings of 6th International Conference on Computational Science
(ICCS 2006), Springer-Verlag LNCS 3992, pages 929--936, May 2006.
- Sensoria Process Calculi for Service-Oriented Computing, Martin Wirsing, Rocco De Nicola, Stephen
Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone and Gianluigi Zavattaro, Second Symposium on Trustworthy Global Computing (TGC 2006),
Lucca, Italy, Springer LNCS Volume 4661, pages 30-50, November 2006.
- Performance analysis of stochastic process algebra models using
stochastic simulation, Jeremy Bradley, Stephen Gilmore and Nigel Thomas, Proceedings of the 5th International Workshop on Performance
Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-PDS 2006), Rhodes, Greece, pages 121--130, April 2006.
- A design environment for mobile applications, Stephen
Gilmore, Valentin Haenel, Jane Hillston and Jennifer Tenzer, Proceedings of the 5th International Workshop on Performance Modeling, Evaluation, and
Optimization of Parallel and Distributed Systems (PMEO-PDS 2006), Rhodes, Greece, pages 132--141, April 2006.
Last updated: Monday, 16 March 2015 — Validate this
page.