Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. 2011
  2. Stochastic properties of the plant circadian clock

    Guerriero, M. L., Pokhilko, A., Fernández, A. P., Halliday, K. J., Millar, A. J. & Hillston, J. 2011 In : Journal of the Royal Society Interface.

    Research output: Contribution to journalArticle

  3. Structural Analysis for Stochastic Process Algebra Models

    Ding, J. & Hillston, J. 2011 Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Johnson, M. & Pavlovic, D. (eds.). Springer Berlin Heidelberg, Vol. 6486, p. 1-27 27 p. (Lecture Notes in Computer Science; vol. 6486)

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

  4. Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway

    Loewe, L., Guerriero, M. L., Watterson, S., Moodie, S., Ghazal, P. & Hillston, J. 2011 TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XIII. Priami, C., Back, RJ., Petre, I. & DeVink, E. (eds.). BERLIN: Springer-Verlag GmbH, p. 13-38 26 p.

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

  5. 2010
  6. A Reservation Optimised Advance Resource Reservation Scheme for Deploying RSVP in Mobile Environments

    Wang, H., Laurenson, D. & Hillston, J. Sep 2010 In : Wireless Personal Communications. 54, 2, p. 251-275 25 p.

    Research output: Contribution to journalArticle

  7. On the Quality of Service of Crash-Recovery Failure Detectors

    Ma, T., Hillston, J. & Anderson, S. Aug 2010 In : IEEE Transactions on Dependable and Secure Computing. 7, 3, p. 271-283 13 p.

    Research output: Contribution to journalArticle

  8. Evaluating the Response Time of Large Scale Content Adaptation Systems using Performance Evaluation Process Algebra

    Ding, J., Hillston, J. & Laurenson, D. May 2010 Proceedings of the International Conference on Communications. p. 1-5 5 p.

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

  9. Bio-PEPA for Epidemiological Models

    Ciocchetta, F. & Hillston, J. 2010 In : Electronic Notes in Theoretical Computer Science. 261, p. 43-69 27 p.

    Research output: Contribution to journalArticle

  10. Formal Methods for Biochemical Signalling Pathways

    Calder, M., Gilmore, S., Hillston, J. & Vyshemirsky, V. 2010 Formal Methods: State of the Art and New Directions. Boca, P., Bowen, J. P. & Siddiqi, J. (eds.). Springer London, p. 185-215 31 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Hybrid Semantics for PEPA

    Bortolussi, L., Galpin, V., Hillston, J. & Tribastone, M. 2010 Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the . IEEE Computer Society, p. 181-190 10 p.

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

Previous 1...4 5 6 7 8 9 10 11 ...20 Next