Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. 2019
  2. Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting

    Piho, P., Margetiny, F., Bartocci, E., Ribchester, R. & Hillston, J., 17 Sep 2019, Computational Methods in Systems Biology: CMSB 2019. Bortolussi, L. & Sanguinetti, G. (eds.). Springer, Cham, p. 120-139 20 p. (Lecture Notes in Computer Science; vol. 11773).

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

  3. Geometric fluid approximation for general continuous-time Markov chains

    Michaelides, M., Hillston, J. & Sanguinetti, G., Sep 2019, In : Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 475, 2229, 25 p.

    Research output: Contribution to journalArticle

  4. Stochastic spatial modelling of the remyelination process in multiple sclerosis lesions

    Luisa Vissat, L., Hillston, J. & Williams, A., 12 Jun 2019, Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Springer, p. 299-326 28 p. (Computational Biology; vol. 30).

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

  5. Round-based Super-Individuals – Balancing Speed and Accuracy

    Wilsdorf, P., Pierce, M. E., Hillston, J. & Uhrmacher, A. M., 29 May 2019, Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation: SIGSIM-PADS'19. ACM, p. 95-98 4 p.

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

  6. Analysis of spatio-temporal properties of stochastic systems using TSTL

    Luisa Vissat, L., Loreti, M., Nenzi, L., Hillston, J. & Marion, G., 5 Apr 2019, (Accepted/In press) In : ACM Transactions on Modeling and Computer Simulation. 25 p.

    Research output: Contribution to journalArticle

  7. Experiential AI

    Hemment, D., Aylett, R., Belle, V., Murray-Rust, D., Luger, E., Hillston, J., Rovatsos, M. & Broz, F., 1 Apr 2019, AI Matters, 5, 1, p. 25-31 7 p.

    Research output: Contribution to specialist publicationArticle

  8. Delimited Persistent Stochastic Non-Interference

    Hillston, J., Marin, A., Piazza, C. & Rossi, S., 12 Mar 2019, Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools. Palma de Mallorca, Spain: ACM, p. 135-142 8 p.

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

  9. 2018
  10. Information Flow Security for Stochastic Processes

    Hillston, J., Marin, A., Piazza, C. & Rossi, S., 3 Oct 2018, 15th European Performance Engineering Workshop. Paris, France: Springer, Cham, 15 p.

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

  11. Persistent Stochastic Non-Interference

    Hillston, J., Piazza, C. & Rossi, S., 24 Aug 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics . Beijing, China, Vol. 276. p. 53-68 16 p.

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

  12. Policy synthesis for collective dynamics

    Piho, P. & Hillston, J., 19 Jun 2018, (Accepted/In press) 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018). Beijing, China: Springer, 16 p.

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

Previous 1 2 3 4 5 6 7 8 ...20 Next