Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

  1. 2012
  2. Scalable Differential Analysis of Process Algebra Models

    Tribastone, M., Gilmore, S. & Hillston, J. 2012 In : IEEE Transactions on Software Engineering. 38, 1, p. 205-219 15 p.

    Research output: Contribution to journalArticle

  3. Scalable context-dependent analysis of emergency egress models

    Massink, M., Latella, D., Bracciali, A., Harrison, M. D. & Hillston, J. 2012 In : Formal Aspects of Computing. 24, 2, p. 267-302 36 p.

    Research output: Contribution to journalArticle

  4. 2011
  5. A semantic equivalence for Bio-PEPA based on discretisation of continuous values

    Galpin, V. & Hillston, J. 6 May 2011 In : Theoretical Computer Science. 412, 21, p. 2142-2161 20 p.

    Research output: Contribution to journalArticle

  6. A semi-quantitative equivalence for abstracting from fast reactions

    Galpin, V., Hillston, J. & Ciocchetta, F. 2011 Proceedings Third International Workshop on Computational Models for Cell Processes. Petre, I. & Vink, E. P. D. (eds.). Vol. 67, p. 34-49 16 p. (EPTCS)

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

  7. HYPE with stochastic events

    Bortolussi, L., Galpin, V. & Hillston, J. 2011 Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. Massink, M. & Norman, G. (eds.). Vol. 57, p. 120-133 14 p. (EPTCS)

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

  8. Modelling Non-linear Crowd Dynamics in Bio-PEPA

    Massink, M., Latella, D., Bracciali, A. & Hillston, J. 2011 Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Giannakopoulou, D. & Orejas, F. (eds.). Springer-Verlag GmbH, Vol. 6603, p. 96-110 15 p. (Lecture Notes in Computer Science; vol. 6603)

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

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

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

  11. 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, R. J., Petre, I. & DeVink, E. (eds.). BERLIN: Springer-Verlag GmbH, p. 13-38 26 p.

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

  12. 2010
  13. 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

Previous 1...3 4 5 6 7 8 9 10 ...19 Next