Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

  1. 2012
  2. Stochastic Process Algebras: From Individuals to Populations

    Hillston, J., Tribastone, M. & Gilmore, S. Jul 2012 In : The Computer Journal. 55, 7, p. 866-881 16 p.

    Research output: Contribution to journalArticle

  3. Bio-PEPAd: A non-Markovian extension of Bio-PEPA

    Caravagna, G. & Hillston, J. 2012 In : Theoretical Computer Science. 419, p. 26-49 24 p.

    Research output: Contribution to journalArticle

  4. Formal methods for checking the consistency of biological models

    Clark, A., Galpin, V., Gilmore, S., Guerriero, M. L. & Hillston, J. 2012 Advances in Systems Biology. Goryanin, I. I. & Goryachev, A. B. (eds.). Springer New York, Vol. 736, p. 461-475 15 p. (Advances in Experimental Medicine and Biology)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Hybrid performance modelling of opportunistic networks

    Bortolussi, L., Galpin, V. & Hillston, J. 2012 Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, Tallinn, Estonia, 31 March and 1 April 2012. Wiklicky, H. & Massink, M. (eds.). Open Publishing Association, p. 106-121 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 85)

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

  6. Reconciling Population and Agent Models for Crowd Dynamics

    Bracciali, A., Hillston, J., Latella, D. & Massink, M. 2012 LAM'10: EasyChair Proceedings in Computing (EPiC) series. Müller, B. (ed.). EasyChair, Vol. 7, p. 3-18 16 p. (EPiC Series)

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

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

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

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

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

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

Previous 12 3 4 5 6 7 8 9 ...19 Next