Hillston, Jane - School of Informatics, University of Edinburgh

Advanced Search

Hillston, Jane - School of Informatics, University of Edinburgh

Formal Methods for Biochemical Signalling Muffy Calder1
Modelling Non-linear Crowd Dynamics in Mieke Massink1
STOCHASTIC PROCESS ALGEBRAS: A NEW APPROACH TO
Process algebras in systems biology Federica Ciocchetta and Jane Hillston
Stochastic Process Algebras and their Application to Performance Jane Hillston and Rob Pooley
Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra
The PEPA Eclipse Plug-in Mirco Tribastone
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
The Nature of Synchronisation Jane Hillston
An Efficient Kronecker Representation for PEPA Models
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process
Exploiting Structure in Solution: Decomposing Compositional Models
Automatically deriving ODEs from process algebra models of signalling pathways
Bio-PEPA: a framework for the modelling and analysis of biological systems
Equivalence and Discretisation in Bio-PEPA Vashti Galpin1
Wireless Pers Commun DOI 10.1007/s11277-009-9724-1
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
A Function-Equivalent Components Based Simplification Technique for PEPA Models
Stochastic Process Algebras Allan Clark, Stephen Gilmore, Jane Hillston, and Mirco Tribastone
Process algebras for quantitative analysis University of Pisa PhD School Examination
BPS University of Glasgow 1 BPS: Biochemical Pathway Simulator
Fluid Flow Approximation of PEPA models J. Hillston
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
Stochastic properties of the plant circadian clock: Electronic Supplementary Material
Stochastic properties of the plant circadian clock Maria Luisa Guerriero1
Under consideration for publication in Formal Aspects of Computing HYPE: Hybrid modelling by
Fluid Rewards for a Stochastic Process Algebra Mirco Tribastone, Jie Ding, Stephen Gilmore, and Jane Hillston
Scalable Differential Analysis of Process Algebra Models
Hybrid semantics for PEPA Luca Bortolussi
Submitted to: c L. Bortolussi, V. Galpin and J. Hillston