Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

  1. 2012
  2. Numerically Representing Stochastic Process Algebra Models

    Ding, J. & Hillston, J. Nov 2012 In : The Computer Journal. 55, 11, p. 1383-1397 15 p.

    Research output: Contribution to journalArticle

  3. Fluid approximation of CTMC with deterministic delays

    Bortolussi, L. & Hillston, J. 18 Sep 2012 Proceedings of the Quantitative Evaluations of Systems (QEST) Conference. IEEE Computer Society, p. 53-62 10 p.

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

  4. Stochastic Modelling of the Kai-based Circadian Clock

    Banks, C., Clark, A., Georgoulas, A-A., Gilmore, S., Hillston, J., Milios, D. & Stark, I. 17 Sep 2012 Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC).. Elsevier, Vol. 296, p. 43-60 18 p. (Electronic Notes in Theoretical Computer Science)

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

  5. Fluid Model Checking

    Bortolussi, L. & Hillston, J. 3 Sep 2012 CONCUR 2012 – Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Springer-Verlag GmbH, p. 333-347 15 p. (Lecture Notes in Computer Science; vol. 7454)

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

  6. Fluid Rewards for a Stochastic Process Algebra

    Tribastone, M., Ding, J., Gilmore, S. & Hillston, J. Aug 2012 In : IEEE Transactions on Software Engineering. 38, 4, p. 861-874 15 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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