Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

  1. 2013
  2. Conservation of Mass Analysis for Bio-PEPA

    Clark, A., Gilmore, S., Guerriero, M. L. & Hillston, J. Aug 2013 In : Electronic Notes in Theoretical Computer Science. 296, p. 107-126 20 p.

    Research output: Contribution to journalArticle

  3. HYPE: Hybrid modelling by composition of flows

    Galpin, V., Bortolussi, L. & Hillston, J. Jul 2013 In : Formal Aspects of Computing. 25, 4, p. 503-541 39 p.

    Research output: Contribution to journalArticle

  4. A General Performance Evaluation Framework for Network Selection Strategies in 3G-WLAN Interworking Networks

    Wang, H., Laurenson, D. & Hillston, J. 1 May 2013 In : IEEE Transactions on Mobile Computing. 12, 5, p. 868-884 17 p.

    Research output: Contribution to journalArticle

  5. Continuous approximation of collective system behaviour: A tutorial

    Bortolussi, L., Hillston, J., Latella, D. & Massink, M. 1 May 2013 In : Performance Evaluation. 70, 5, p. 317-349 33 p.

    Research output: Contribution to journalArticle

  6. A model of flux regulation in the cholesterol biosynthesis pathway: Immune mediated graduated flux reduction versus statin-like led stepped flux reduction

    Watterson, S., Guerriero, M. L., Blanc, M., Mazein, A., Loewe, L., Robertson, K. A., Gibbs, H., Shui, G., Wenk, M. R., Hillston, J. & Ghazal, P. 1 Mar 2013 In : Biochemistry and Cell Biology. 95, 3, p. 613-621 9 p.

    Research output: Contribution to journalArticle

  7. ABC-Fun: A Probabilistic Programming Language for Biology

    Georgoulas, A., Hillston, J. & Sanguinetti, G. 2013 Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings. Gupta, A. & Henzinger, T. A. (eds.). Springer-Verlag GmbH, p. 150-163 14 p. (Lecture Notes in Computer Science; vol. 8130)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation

    Bortolussi, L. & Hillston, J. 2013 Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Bernardo, M., Vink, E., Pierro, A. & Wiklicky, H. (eds.). Springer-Verlag GmbH, p. 113-149 37 p. (Lecture Notes in Computer Science; vol. 7938)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation

    Pourranjbar, A., Hillston, J. & Bortolussi, L. 2013 Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Tribastone, M. & Gilmore, S. (eds.). Springer-Verlag GmbH, p. 156-171 16 p. (Lecture Notes in Computer Science; vol. 7587)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2012
  11. Numerically Representing Stochastic Process Algebra Models

    Ding, J. & Hillston, J. Nov 2012 In : The Computer Journal. 55, 11, p. 1383-1397 15 p.

    Research output: Contribution to journalArticle

  12. Fluid approximation of CTMC with deterministic delays

    Bortolussi, L. & Hillston, J. 18 Sep 2012 Proceedings of the Quantitative Evaluations of Systems (QEST) Conference. IEEE Computer Society, p. 53-62 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...19 Next