Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2018 | Derivation of a biomass proxy for dynamic analysis of whole genome metabolic models | Self, T; Gilbert, D; Heiner, M |
2-Dec-2014 | Automatic validation of computational models using pseudo-3D spatio-temporal model checking | Parvu, O; Gilbert, D |
19-Nov-2019 | Analysis of Friedreich's ataxia patient clinical data reveals importance of accurate GAA repeat determination in disease prognosis and gender differences in cardiac measures | Ghorbani, M; Pousset, F; Tucker, A; Swift, S; Giunti, P; Parkinson, M; Gilbert, D; Liu, XH; Payne, A |
15-Dec-2019 | Hybrid modelling of biological systems using fuzzy continuous Petri nets | Liu, F; Sun, W; Heiner, M; Gilbert, D |
18-Apr-2019 | Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking | Gilbert, D; Heiner, M; Ghanbar, L; Chodak, J |
Discover
Subject