Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. Tiejun Ma - Performance optimisation of distributed...

    Ma, T. & Hillston, J.

    Non-EU industry, commerce and public corporations

    1/10/1830/09/20

    Project: Research

  2. Formal Language Support for Ecological Modelling Student:Ludovica Luisa Vissat

    Hillston, J.

    UK industry, commerce and public corporations

    1/10/1430/09/18

    Project: Research

  3. Machine learning methods for formal dynamical systems: a systems biology case study

    Hillston, J.

    UK industry, commerce and public corporations

    1/10/1231/03/16

    Project: Research

  4. Milner Symposium 2012

    Plotkin, G., Fourman, M., Gilmore, S. & Hillston, J.

    BBSRC

    16/04/1215/01/13

    Project: Research

  5. Modelling stochastic hybrid systems compositionally with process algebra

    Hillston, J.

    Other (Learned Society)

    1/04/1031/03/12

    Project: Research

  6. Studentship Michael Smith

    Hillston, J.

    UK industry, commerce and public corporations

    1/09/0631/01/09

    Project: Research

  7. COMPA

    Hillston, J.

    EPSRC

    16/09/9715/06/01

    Project: Research

  8. BRITISH-GERMAN ACADEMIC RES

    Hillston, J.

    UK central government bodies/local authorities, health and hospital authorities

    1/07/9431/03/98

    Project: Research