Author Search Results :: UTM Library Massive Scholar Tracking

Jane Hillston

Prof Jane Hillston in 2021.

Jane Elizabeth Hillston (born 1963) is a British computer scientist who is professor of quantitative modelling and former head of school in the School of Informatics, University of Edinburgh, Scotland. Provided by Wikipedia

1

Stochastic and Spatial Equivalences for PALOMA by Paul Piho, Jane Hillston

Published 2016-07-01

Get full text

Article
2

Efficient Checking of Individual Rewards Properties in Markov Population Models by Luca Bortolussi, Jane Hillston

Published 2015-09-01

Get full text

Article
3

Modeling biological systems with delays in Bio-PEPA by Giulio Caravagna, Jane Hillston

Published 2010-10-01

Get full text

Article
4

Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA by Jane Hillston, Stuart Moodie, Laurence Loewe

Published 2009-10-01

Get full text

Article
5

HYPE with stochastic events by Luca Bortolussi, Vashti Galpin, Jane Hillston

Published 2011-07-01

Get full text

Article
6

Hybrid performance modelling of opportunistic networks by Luca Bortolussi, Vashti Galpin, Jane Hillston

Published 2012-07-01

Get full text

Article
7

Investigating modularity in the analysis of process algebra models of biochemical systems by Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston

Published 2010-02-01

Get full text

Article
8

MELA: Modelling in Ecology with Location Attributes by Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith

Published 2016-10-01

Get full text

Article
9

CARMA: Collective Adaptive Resource-sharing Markovian Agents by Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink

Published 2015-09-01

Get full text

Article