Jane Hillston

Citado por

	Todos	Desde 2020
Citações	8770	1094
Índice h	43	15
Índice i10	121	28

640

320

160

480

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202585 78 44 122 128 150 99 172 217 151 201 309 350 464 551 630 515 439 434 463 544 421 313 345 269 276 200 207 159 208 44

Acesso público

Ver todos

39 artigos

2 artigos

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghE-mail confirmado em inf.ed.ac.uk
Luca BortolussiUniversità di TriesteE-mail confirmado em units.it
Vashti GalpinLFCS, School of Informatics, University of EdinburghE-mail confirmado em ed.ac.uk
Mirco TribastoneIMT LuccaE-mail confirmado em imtlucca.it
Marina RibaudoUniversità di GenovaE-mail confirmado em unige.it
Muffy CalderProfessor of Computing Science, University of GlasgowE-mail confirmado em glasgow.ac.uk
Cheng FengSiemensE-mail confirmado em siemens.com
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoE-mail confirmado em unicam.it
Guido SanguinettiReader in Informatics, University of EdinburghE-mail confirmado em inf.ed.ac.uk
Anastasis GeorgoulasUniversity College LondonE-mail confirmado em ucl.ac.uk
Rocco De NicolaProfessor of Computer Science, IMT LuccaE-mail confirmado em imtlucca.it
Sabina RossiUniversità Ca' Foscari VeneziaE-mail confirmado em dais.unive.it
Carla PiazzaProfessor of Computer Science, University of UdineE-mail confirmado em uniud.it
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)E-mail confirmado em di.unito.it
Nigel ThomasSchool of Computing, Newcastle UniversityE-mail confirmado em ncl.ac.uk
Daniël ReijsbergenSingapore University of Technology and DesignE-mail confirmado em sutd.edu.sg
Michalis MichaelidesPhysicsXE-mail confirmado em physicsx.ai
Giulio CaravagnaCancer Data Science Laboratory, University of TriesteE-mail confirmado em units.it
Ludovica Luisa Vissat

Seguir

Jane Hillston

Professor of Quantitative Modelling, University of Edinburgh

E-mail confirmado em ed.ac.uk - Página inicial

Computer Science Quantitative Verification Systems Biology


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
A compositional approach to performance modelling J Hillston Cambridge Univ Pr, 2005	2058*	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	446	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	433	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	222	2006
Continuous approximation of collective system behaviour: A tutorial L Bortolussi, J Hillston, D Latella, M Massink Performance Evaluation 70 (5), 317-349, 2013	209	2013
Scalable differential analysis of process algebra models M Tribastone, S Gilmore, J Hillston Software Engineering, IEEE Transactions on, 1-1, 2010	144	2010
Flexible skeletal programming with eSkel A Benoit, M Cole, S Gilmore, J Hillston Euro-Par 2005 Parallel Processing, 613-613, 2005	140	2005
Process algebras for quantitative analysis J Hillston 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 239-248, 2005	134	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	132	2008
The nature of synchronisation J Hillston Proc. of 2nd Process Algebra and Performance Modelling Workshop, 143, 1994	132	1994
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	109	2003
An efficient Kronecker representation for PEPA models J Hillston, L Kloul Process Algebra and Probabilistic Methods. Performance Modelling and …, 2001	103	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	101	2005
Stochastic process algebras A Clark, S Gilmore, J Hillston, M Tribastone Formal Methods for Performance Evaluation, 132-179, 2007	100	2007
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	96	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
Performance modelling with the unified modelling language and stochastic process algebras C Canevet, S Gilmore, J Hillston, M Prowse, P Stevens Iee proceedings-computers and digital techniques 150 (2), 107-120, 2003	76	2003

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores