The chemical abstract machine, Theoretical Computer Science, p.1, 1992. ,

The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation, International Conference on Theory and Applications of Models of Computation, pp.631-643, 2006. ,

URL : https://hal.archives-ouvertes.fr/inria-00102946

Turing universality of the biochemical ground form, Transactions on Computational Systems Biology VI, vol.4220, pp.45-73, 2006. ,

Some properties of solutions to polynomial systems of differential equations, Electronic Journal of Differential Equations, 2005. ,

Modeling and querying biochemical interaction networks, Theoretical Computer Science, vol.325, issue.1, pp.25-44, 2004. ,

Synthesizing configurable biochemical implementation of linear systems from their transfer function specifications, PLoS ONE, 2015. ,

Computer aided design of programmable synthetic protocells performing multiplexed logic-gated micro-scale diagnostics, 2017. ,

Detection of pathological biomarkers in Human clinical samples via amplifying genetic switches and logic gates, Science Translational Medicine, 2015. ,

URL : https://hal.archives-ouvertes.fr/hal-01989460

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, POPL'77: Biochemical Programs and Analog-Digital Mixed Algorithms in the Cell, p.15 ,

, Proceedings of the 6th ACM Symposium on Principles of Programming Languages, pp.238-252, 1977.

Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015. ,

Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, issue.1, pp.52-70, 2008. ,

From reaction models to influence graphs and back: a theorem, Proceedings of Formal Methods in Systems Biology FMSB'08, number 5054 in Lecture Notes in Computer Science, 2008. ,

Temporal logic modeling of dynamical behaviors: firstorder patterns and solvers, Logical Modeling of Biological Systems, pp.291-323, 2014. ,

URL : https://hal.archives-ouvertes.fr/hal-01103305

Temporal self-organization of the cyclin/Cdk network driving the mammalian cell cycle, Proceedings of the National Academy of Sciences, vol.106, pp.21643-21648, 2009. ,

Exact stochastic simulation of coupled chemical reactions, Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977. ,

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, Proceedings of the National Academy of Sciences, vol.93, pp.10078-10083, 1996. ,

Compiling program control flows into biochemical reactions, IEEE/ACM International Conference on Computer-Aided Design, vol.12, pp.361-368, 2012. ,

Genetic circuit design automation, Science, 2016. ,

Biomolecular implementation of linear I/O systems, IET SYstems Biology, vol.5, issue.4, pp.252-260, 2011. ,

Continuous models of computation: from computability to complexity, 2015. ,

Bistability and oscillations in the Huang-Ferrell model of MAPK signaling, PLoS Computational Biology, vol.3, issue.9, pp.1819-1826, 2007. ,

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures, Theoretical Computer Science, vol.412, issue.26, pp.2827-2839, 2011. ,

URL : https://hal.archives-ouvertes.fr/hal-01431314

Modeling dynamic phenomena in molecular and cellular biology, 1984. ,

Rate-independent constructs for chemical computation, PLOS One, 2011. ,

Mathematical theory of the differential analyser, Journal of Mathematics and Physics, vol.20, pp.337-354, 1941. ,

Necessary conditions for multistationarity and stable periodicity, Journal of Biological Systems, vol.6, pp.3-9, 1998. ,

On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations, Springer Ser. Synergetics, vol.9, pp.180-193, 1981. ,

Probably Approximatively Correct, Basic Books, 2013. ,