Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. 2011
  2. 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

  3. 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

  4. 2010
  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. Investigating modularity in the analysis of process algebra models of biochemical systems

    Ciocchetta, F., Guerriero, M. L. & Hillston, J. 2010 Proceedings Third Workshop From Biology To Concurrency and Back. Merelli, E. & Quaglia, P. (eds.). Vol. 19, p. 55-69 15 p. (EPTCS)

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

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