Jane Hillston

Cited by

	All	Since 2019
Citations	8695	1332
h-index	43	18
i10-index	121	36

660

330

165

495

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202432 84 73 43 121 127 151 99 175 213 150 199 311 336 456 543 642 510 440 431 450 535 435 314 344 268 277 193 206 166 220

Public access

View all

39 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghVerified email at inf.ed.ac.uk
Luca BortolussiUniversità di TriesteVerified email at units.it
Vashti GalpinLFCS, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Marina RibaudoUniversità di GenovaVerified email at unige.it
Mirco TribastoneIMT LuccaVerified email at imtlucca.it
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Cheng FengSiemensVerified email at siemens.com
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Guido SanguinettiReader in Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Anastasis GeorgoulasUniversity College LondonVerified email at ucl.ac.uk
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Sabina RossiUniversità Ca' Foscari VeneziaVerified email at dais.unive.it
Carla PiazzaProfessor of Computer Science, University of UdineVerified email at uniud.it
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Verified email at di.unito.it
Nigel ThomasSchool of Computing, Newcastle UniversityVerified email at ncl.ac.uk
Daniël ReijsbergenSingapore University of Technology and DesignVerified email at sutd.edu.sg
Michalis MichaelidesPhysicsXVerified email at physicsx.ai
Giulio CaravagnaCancer Data Science Laboratory, University of TriesteVerified email at units.it
Ludovica Luisa Vissat

Jane Hillston

Professor of Quantitative Modelling, University of Edinburgh

Verified email at ed.ac.uk - Homepage

Computer Science Quantitative Verification Systems Biology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A compositional approach to performance modelling J Hillston Cambridge Univ Pr, 2005	2037*	2005
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	443	1994
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	426	2009
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	218	2006
Continuous approximation of collective system behaviour: A tutorial L Bortolussi, J Hillston, D Latella, M Massink Performance Evaluation 70 (5), 317-349, 2013	206	2013
Scalable differential analysis of process algebra models M Tribastone, S Gilmore, J Hillston Software Engineering, IEEE Transactions on, 1-1, 2010	145	2010
Flexible skeletal programming with eSkel A Benoit, M Cole, S Gilmore, J Hillston Euro-Par 2005 Parallel Processing, 613-613, 2005	139	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	131	2008
Process algebras for quantitative analysis J Hillston 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 239-248, 2005	130	2005
The nature of synchronisation J Hillston Proc. of 2nd Process Algebra and Performance Modelling Workshop, 143, 1994	130	1994
An efficient algorithm for aggregating PEPA models S Gilmore, J Hillston, M Ribaudo IEEE Transactions on Software Engineering 27 (5), 449-464, 2001	127	2001
Compositional Markovian modelling using a process algebra J Hillston Numerical solution of Markov chains. Kluwer, 1995	118	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
An efficient Kronecker representation for PEPA models J Hillston, L Kloul Process Algebra and Probabilistic Methods. Performance Modelling and …, 2001	103	2001
Stochastic process algebras A Clark, S Gilmore, J Hillston, M Tribastone Formal Methods for Performance Evaluation, 132-179, 2007	101	2007
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	98	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	98	1995
Experiences with the PEPA performance modelling tools G Clark, S Gilmore, J Hillston, N Thomas IEE Proceedings-Software 146 (1), 11-19, 1999	87	1999
PEPA: Performance enhanced process algebra J Hillston University of Edinburgh, Department of Computer Science, 1993	77	1993

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors