Polynomial differential equations compute all real computable functions on computable compact intervals, Journal of Complexity, vol.23, issue.3, pp.317-335, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00102947
Some properties of solutions to polynomial systems of differential equations, Electronic Journal of Differential Equations, issue.40, pp.1-17, 2005. ,
Biomodels database: A repository of mathematical models of biological processes, Silico Systems Biology, vol.1021, pp.189-199, 2013. ,
Programmability of chemical reaction networks, Algorithmic Bioprocesses, pp.543-584, 2009. ,
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs, CMSB'17: Proceedings of the fiveteen international conference on Computational Methods in Systems Biology, vol.10545, pp.108-127, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01519828
Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, issue.1, pp.52-70, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01431355
Computers and intractability: a guide to the theory of NP-completeness, 1979. ,
Analog computers and recursive functions over the reals, Journal of Complexity, vol.19, issue.5, pp.644-664, 2003. ,
Ultrasensitivity in the mitogen-activated protein kinase cascade, vol.93, pp.10078-10083, 1996. ,
A note on succinct representations of graphs, Information and Control, vol.71, issue.3, pp.181-185, 1986. ,
Modeling dynamic phenomena in molecular and cellular biology, 1984. ,