Projects per year
Search results
-
Finished
Formal Language Support for Ecological Modelling Student:Ludovica Luisa Vissat
UK industry, commerce and public corporations
1/10/14 → 30/09/18
Project: Research
-
QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
1/04/13 → 31/03/17
Project: Research
-
Machine learning methods for formal dynamical systems: a systems biology case study
UK industry, commerce and public corporations
1/10/12 → 31/03/16
Project: Research
-
Milner Symposium 2012
Plotkin, G., Fourman, M., Gilmore, S. & Hillston, J.
16/04/12 → 15/01/13
Project: Research
-
Modelling stochastic hybrid systems compositionally with process algebra
1/04/10 → 31/03/12
Project: Research
-
QESTCMSB: Supporting crossover between quantative modelling communities
16/09/07 → 15/02/08
Project: Research
-
SIGNAL: SIGNAL -Stochastic process algebra for biochemical signaling pathway analysis
1/09/07 → 31/01/11
Project: Research
-
SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh
Millar, A., Beggs, J., Ghazal, P., Goryanin, I., Hillston, J., Plotkin, G., Tollervey, D., Walton, A. & Robertson, K.
8/01/07 → 31/12/12
Project: Research
-
-
Studentship Michael Smith
UK industry, commerce and public corporations
1/09/06 → 31/01/09
Project: Research
-
-
Enhancing the Performance Predictability of Grid Applications with Patterns and Process Algebras
Cole, M., Gilmore, S. & Hillston, J.
1/09/03 → 31/08/06
Project: Research
-
-
BRITISH-GERMAN ACADEMIC RES
UK central government bodies/local authorities, health and hospital authorities
1/07/94 → 31/03/98
Project: Research