Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

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

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

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

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

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

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

  8. Verification and Testing of Biological Models

    Clark, A., Gilmore, S., Hillston, J. & Kemper, P. 2010 Simulation Conference (WSC), Proceedings of the 2010 Winter . IEEE, p. 620-630 11 p.

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

  9. 2009
  10. Cost-based Admission Control for Internet Commerce QoS Enhancement

    Shaaban, Y. A. & Hillston, J. 1 May 2009 In : Electrononic Commerce Research and Applications. 8, 3, p. 142-159 18 p.

    Research output: Contribution to journalArticle

  11. Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems

    Hillston, J., Kwiatkowska, M. & Telek, M. 1 Mar 2009 In : IEEE Transactions on Software Engineering. 35, 2, p. 145-147 3 p.

    Research output: Contribution to journalArticle

  12. Improved Continuous Approximation of PEPA Models Through Epidemiological Examples

    Benkirane, S., Hillston, J., McCaig, C., Norman, R. & Shankland, C. 1 Feb 2009 In : Electronic Notes in Theoretical Computer Science. 229, 1, p. 59-74 16 p.

    Research output: Contribution to journalArticle

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