Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

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

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

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

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

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

  7. Modeling Hybrid Systems with Stochastic Events in HYPE

    Bortolussi, L., Galpin, V. & Hillston, J. 2010 Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010). p. 24-28 5 p.

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

  8. Modelling and analysis of the NF-κB pathway in Bio-PEPA

    Ciocchetta, F., Degasperi, A., Hillston, J. & Heath, J. 2010 Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies. Springer-Verlag GmbH, Vol. XII, p. 229-262 34 p. (Lecture Notes in Computer Science; vol. 5945)

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  9. Modelling biological systems with delays in Bio-PEPA

    Caravagna, G. & Hillston, J. 2010 Proceedings of MeCBIC 2010. p. 85-101 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 40)

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

  10. Process Algebras for Collective Dynamics

    Hillston, J. 2010 MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS. Bolduc, C., Desharnais, J. & Ktari, B. (eds.). BERLIN: Springer-Verlag GmbH, p. 20-21 2 p.

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

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