| A compositional approach to performance modelling J Hillston Cambridge Univ Pr, 2005 | 2069* | 2005 |
| Bio-PEPA: a framework for the modelling and analysis of biological systems F Ciocchetta, J Hillston Theoretical Computer Science 410 (33-34), 3065-3084, 2009 | 444 | 2009 |
| The PEPA workbench: a tool to support a process algebra-based approach to performance modelling S Gilmore, J Hillston Computer Performance Evaluation Modelling Techniques and Tools, 353-368, 1994 | 444 | 1994 |
| Fluid flow approximation of PEPA models J Hillston Second International Conference on the Quantitative Evaluation of Systems …, 2005 | 373 | 2005 |
| Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA M Calder, S Gilmore, J Hillston Transactions on computational systems biology VII, 1-23, 2006 | 225 | 2006 |
| Continuous approximation of collective system behaviour: A tutorial L Bortolussi, J Hillston, D Latella, M Massink Performance Evaluation 70 (5), 317-349, 2013 | 216 | 2013 |
| Scalable differential analysis of process algebra models M Tribastone, S Gilmore, J Hillston Software Engineering, IEEE Transactions on, 1-1, 2010 | 146 | 2010 |
| Flexible skeletal programming with eSkel A Benoit, M Cole, S Gilmore, J Hillston Euro-Par 2005 Parallel Processing, 613-613, 2005 | 140 | 2005 |
| Bio-PEPA: an extension of the process algebra PEPA for biochemical networks F Ciocchetta, J Hillston Electronic Notes in Theoretical Computer Science 194 (3), 103-117, 2008 | 134 | 2008 |
| The nature of synchronisation J Hillston Proc. of 2nd Process Algebra and Performance Modelling Workshop, 143, 1994 | 132 | 1994 |
| Process algebras for quantitative analysis J Hillston 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 239-248, 2005 | 129 | 2005 |
| An efficient algorithm for aggregating PEPA models S Gilmore, J Hillston, M Ribaudo IEEE Transactions on Software Engineering 27 (5), 449-464, 2002 | 128 | 2002 |
| Compositional Markovian modelling using a process algebra J Hillston Numerical solution of Markov chains. Kluwer, 1995 | 119 | 1995 |
| PEPA nets: a structured performance modelling formalism S Gilmore, J Hillston, L Kloul, M Ribaudo Performance Evaluation 54 (2), 79-104, 2003 | 108 | 2003 |
| Stochastic process algebras A Clark, S Gilmore, J Hillston, M Tribastone Formal Methods for Performance Evaluation, 132-179, 2007 | 102 | 2007 |
| An efficient Kronecker representation for PEPA models J Hillston, L Kloul Process Algebra and Probabilistic Methods. Performance Modelling and …, 2001 | 102 | 2001 |
| Automatically deriving ODEs from process algebra models of signalling pathways M Calder, S Gilmore, J Hillston Proceedings of Computational Methods in Systems Biology (CMSB 2005) 204215, 2005 | 99 | 2005 |
| A comparison of performance evaluation process algebra and generalized stochastic Petri nets S Donatelli, M Ribaudo, J Hillston Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995 | 94 | 1995 |
| Experiences with the PEPA performance modelling tools G Clark, S Gilmore, J Hillston, N Thomas IEE Proceedings-Software 146 (1), 11-19, 1999 | 86 | 1999 |
| Modelling and analysis of collective adaptive systems with CARMA and its tools M Loreti, J Hillston International School on Formal Methods for the Design of Computer …, 2016 | 79 | 2016 |
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghVerified email at inf.ed.ac.uk
