Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

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

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

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

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

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

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

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

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

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

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

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