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
1999
- Experiences with the PEPA performance modelling tools, Graham Clark, Stephen Gilmore, Jane
Hillston, and Nigel Thomas, IEE Proceedings-Software, 146(1):11-19, February 1999. Special issue of papers from the Fourteenth UK Performance
Engineering Workshop.
- Specifying performance measures for PEPA, Graham Clark, Stephen Gilmore and Jane Hillston, In
J.-P. Katoen, editor, Proceedings of the Fifth International AMAST Workshop on Real-Time and Probabilistic Systems, pages 17-26, Bamberg,
Germany, May 1999.
- A feature construct for PEPA, Stephen Gilmore and Jane Hillston, In N. Davies and
J. Bradley, editors, Proceedings of the Fifteenth UK Performance Engineering Workshop, pages 225-236, Department of Computer Science, The
University of Bristol, July 1999.
- Deep type inference for mobile functions, Stephen Gilmore, In P. Trinder and
G. Michaelson, editors, Proceedings of the First Scottish Functional Programming Workshop. Inspect, August 1999.
Last updated: Monday, 16 March 2015 — Validate this
page.