Publications
Hybrid behaviour of Markov population models. Information and Computation. :-.
(3.14 MB)
.
In Press. 
Continuous approximation of collective system behaviour: A tutorial. Performance Evaluation. 70:317–349.
(2.62 MB)
.
2013. 
Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. 9th European Workshop on Computer Performance Engineering, EPEW 2012, and 28th UK Workshop on Computer Performance Engineering, UKPEW 2012. 7587:156–171.
.
2012. Hybrid Behaviour of Markov Population Models. CoRR ArXiv.
.
2012. Studying cancer-cell populations by programmable models of networks. Network Modeling Analysis In Health Informatics And Bioinformatics. 1:117–133.
(9.91 MB)
.
2012. 
Programmable models of growth and mutation of cancer-cell populations. COMPMOD 2011. 67:19--33.
.
2011. Hybrid Semantics for PEPA. Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2010). :181–190.
(233.46 KB)
.
2010. 
Limit behavior of the hybrid approximation of Stochastic Process Algebras. 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2010). :367–381.
(584.23 KB)
.
2010. 
CoBiC: Context-dependent Bioambient Calculus. QAPL 2009. 253:187–201.
(525.16 KB)
.
2009. 
Connecting Process Algebras and Differential Equations for Systems Biology. PASTA 2006. :1–17.
.
2006.