Research output per year
Research output per year
Search results
-
2013
HYPE: Hybrid modelling by composition of flows
Galpin, V., Bortolussi, L. & Hillston, J., Jul 2013, In: Formal Aspects of Computing. 25, 4, p. 503-541 39 p.Research output: Contribution to journal › Article › peer-review
-
2012
Bio-PEPAd: A non-Markovian extension of Bio-PEPA
Caravagna, G. & Hillston, J., 2012, In: Theoretical Computer Science. 419, p. 26-49 24 p.Research output: Contribution to journal › Article › peer-review
-
2011
Equivalences for a biological process algebra
Galpin, V., Oct 2011, In: Theoretical Computer Science. 412, 43, p. 6058-6082 25 p.Research output: Contribution to journal › Article › peer-review
-
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Galpin, V. & Hillston, J., 6 May 2011, In: Theoretical Computer Science. 412, 21, p. 2142-2161 20 p.Research output: Contribution to journal › Article › peer-review
-
Stochastic properties of the plant circadian clock
Guerriero, M. L., Pokhilko, A., Fernández, A. P., Halliday, K. J., Millar, A. J. & Hillston, J., 2011, In: Journal of the Royal Society. Interface.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2010
Query-based verification of qualitative trends and oscillations in biochemical systems
Ballarini, P. & Guerriero, M. L., 28 Apr 2010, In: Theoretical Computer Science. 411, 20, p. 2019-2036 18 p.Research output: Contribution to journal › Article › peer-review
-
2009
Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway
Guerriero, M. L., Dudka, A., Underhill-day, N., Heath, J. K. & Priami, C., 1 Jan 2009, In: BMC Systems Biology. 3, 1, 12 p., 40.Research output: Contribution to journal › Article › peer-review
-
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
Ciocchetta, F., Gilmore, S., Guerriero, M. L. & Hillston, J., 2009, In: Electronic Notes in Theoretical Computer Science. 232, p. 17-38 22 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2008
HYPE applied to the modelling of hybrid biological systems
Galpin, V., Hillston, J. & Bortolussi, L., 2008, In: Electronic Notes in Theoretical Computer Science. 218, p. 33-51 19 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile