O. Bournez, M. L. Campagnolo, D. S. Graça, and E. Hainry, 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.
DOI : 10.1007/11750321_60
URL : https://hal.archives-ouvertes.fr/inria-00102946

N. Busi and R. Gorrieri, On the Computational Power of Brane Calculi, Transactions on Computational Systems Biology VI CMSB'05 Special Issue, pp.16-43, 2006.
DOI : 10.1007/11880646_2

L. Cardelli, L. Zavattaro, and . Turing, Turing universality of the Biochemical Ground Form, Mathematical Structures in Computer Science, vol.3082, issue.01, pp.45-73, 2010.
DOI : 10.1007/s11047-008-9067-y

N. Chabrier-rivier, M. Chiaverini, V. Danos, F. Fages, and V. Schächter, Modeling and querying biomolecular interaction networks, Modeling and querying biochemical interaction networks, pp.25-44, 2004.
DOI : 10.1016/j.tcs.2004.03.063
URL : http://doi.org/10.1016/j.tcs.2004.03.063

A. Courbet, P. Amar, F. Fages, E. Renard, and F. Molina, « Computer aided design of programmable synthetic protocells performing multiplexed logic-gated diagnostics at the micro-scale, 2018.

A. Courbet, D. Endy, E. Renard, F. Molina, and J. Bonnet, Detection of pathological biomarkers in human clinical samples via amplifying genetic switches and logic gates, Science Translational Medicine, vol.99, issue.4, 2015.
DOI : 10.1073/pnas.042521699

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

F. Fages, S. Gay, and S. Soliman, Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015.
DOI : 10.1016/j.tcs.2014.07.032
URL : https://hal.archives-ouvertes.fr/hal-01103692

F. Fages and S. Soliman, Abstract interpretation and types for systems biology, Theoretical Computer Science, pp.52-70, 2008.
DOI : 10.1016/j.tcs.2008.04.024
URL : https://hal.archives-ouvertes.fr/hal-01431355

F. Fages and S. Soliman, 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.
DOI : 10.1007/978-3-540-68413-8_7
URL : https://hal.archives-ouvertes.fr/inria-00419921

F. Fages and P. Traynard, Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers, Logical Modeling of Biological Systems, pp.291-323, 2014.
DOI : 10.1002/9781119005223.ch8
URL : https://hal.archives-ouvertes.fr/hal-01103305

C. Gérard and A. Goldbeter, Temporal self-organization of the cyclin/Cdk network driving the mammalian cell cycle, Proceedings of the National Academy of Sciences, pp.21643-21648, 2009.
DOI : 10.1073/pnas.94.17.9147

D. T. Gillespie, Exact stochastic simulation of coupled chemical reactions, The Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977.
DOI : 10.1021/j100540a008
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.458.4787

D. Graça and J. Costa, Analog computers and recursive functions over the reals, Journal of Complexity, vol.19, issue.5, pp.644-664, 2003.
DOI : 10.1016/S0885-064X(03)00034-7

C. Huang and J. E. Ferrell, Ultrasensitivity in the mitogen-activated protein kinase cascade., Proceedings of the National Academy of Sciences, pp.10078-10083, 1996.
DOI : 10.1073/pnas.93.19.10078

K. Oishi and E. Klavins, Biomolecular implementation of linear I/O systems, IET Systems Biology, vol.5, issue.4, pp.252-260, 2011.
DOI : 10.1049/iet-syb.2010.0056

A. Pouly, Continuous models of computation : from computability to complexity, Ecole Polytechnique, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01223284

A. Rizk, G. Batt, F. Fages, and S. Soliman, 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.
DOI : 10.1016/j.tcs.2010.05.008
URL : https://hal.archives-ouvertes.fr/hal-01431314

L. A. Segel, Modeling dynamic phenomena in molecular and cellular biology, 1984.

C. Shannon, Mathematical Theory of the Differential Analyzer, Journal of Mathematics and Physics, vol.XXII, issue.1-4, pp.337-354, 1941.
DOI : 10.1002/sapm1941201337

E. H. Snoussi, Necessary Conditions for Multistationarity and Stable Periodicity, Journal of Biological Systems, vol.06, issue.01, pp.3-9, 1998.
DOI : 10.1142/S0218339098000042

R. Thomas, On the Relation Between the Logical Structure of Systems and Their Ability to Generate Multiple Steady States or Sustained Oscillations, pp.180-193, 1981.
DOI : 10.1007/978-3-642-81703-8_24

L. Valiant, Probably Approximately Correct, Basic Books, 2013.