Robustness analysis and tuning of synthetic gene networks, Bioinformatics, vol.23, issue.18, pp.2415-2422, 2007. ,
DNA molecule provides a computing machine with both data and fuel, Proceedings of the National Academy of Sciences, vol.100, issue.5, pp.2191-2196, 2003. ,
Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length, 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, vol.55, pp.1-109, 2016. ,
Evolutionary modeling of systems of ordinary differential equations with genetic programming, Genetic Programming and Evolvable Machines, vol.1, issue.4, pp.309-337, 2000. ,
Evolving cell models for systems and synthetic biology, Systems and Synthetic Biology, vol.4, issue.1, pp.55-84, 2010. ,
Syntax-guided optimal synthesis for chemical reaction networks, International Conference on Computer Aided Verification, pp.375-395, 2017. ,
The cell cycle switch computes approximate majority, Scientific Reports, vol.2, 2012. ,
Chemical Reaction Network Designs for Asynchronous Logic Circuits, pp.67-81, 2016. ,
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. ,
Programmable chemical controllers made from DNA, Nature Nanotechnology, vol.8, pp.755-762, 2013. ,
From DNA to targeted therrapeutics: bringing synthetic biology moving to the clinic, Sci. Transl. Med, vol.3, issue.106, 2011. ,
Computer-aided biochemical programming of synthetic microreactors as diagnostic devices, Molecular Systems Biology, vol.14, issue.4, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01779791
Computing with synthetic protocells, Acta Biotheoretica, vol.63, issue.3, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01153130
Synthesizing and tuning chemical reaction networks with specified behaviours, International Workshop on DNA-Based Computers, pp.16-33, 2015. ,
Parallel distributed computing using Python, Advances in Water Resources, vol.34, issue.9, pp.1124-1139, 2011. ,
Synthetic analog computation in living cells, Nature, vol.497, issue.7451, pp.619-623, 2013. ,
An Effective Method for Evolving Reaction Networks in Synthetic Biochemical Systems, IEEE Transactions on Evolutionary Computation, vol.19, issue.3, pp.374-386, 2015. ,
A platform for rapid prototyping of synthetic gene networks in mammalian cells, Nucleic Acids Research, vol.42, issue.21, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01103532
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
Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01103692
On robustness computation and optimization in biocham-4, CMSB'18: Proceedings of the sixteenth international conference on Computational Methods in Systems Biology, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01814854
On the subgraph epimorphism problem, Discrete Applied Mathematics, vol.162, pp.214-228, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01098527
A graphical method for reducing and relating models in systems biology, Bioinformatics, vol.26, issue.18, pp.575-581, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01431335
Moccasin: converting matlab ode models to sbml, Bioinformatics, vol.21, issue.12, pp.1905-1906, 2016. ,
Universally sloppy parameter sensitivities in systems biology models, PLOS Computational Biology, vol.3, issue.10, pp.1-8, 2007. ,
Comparing results of 31 algorithms from the black-box optimization benchmarking BBOB-2009, Proceedings of the 12th annual conference comp on Genetic and evolutionary computation -GECCO '10, p.1689, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00545727
Completely derandomized self-adaptation in evolution strategies, Evolutionary Computation, vol.9, issue.2, pp.159-195, 2001. ,
On the inverse problem of reaction kinetics, Colloquia Mathematica Societatis János Bolyai. Qualitative Theory of Differential Equations, vol.30, pp.363-379, 1979. ,
Competing G protein-coupled receptor kinases balance G protein and ?-arrestin signaling, Molecular Systems Biology, vol.8, issue.590, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00776169
In silico evolution of biochemical log-response. The Journal of, Physical Chemistry B, 2019. ,
Minimum criteria for dna damageinduced phase advances in circadian rhythms, PLoS Computational Biology, vol.5, issue.5, p.1000384, 2009. ,
Reverse engineering gene regulatory networks: Coupling an optimization algorithm with a parameter identification technique, BMC Bioinformatics, vol.15, 2014. ,
Ultrasensitivity in the mitogen-activated protein kinase cascade, PNAS, vol.93, pp.10078-10083, 1996. ,
Cyanobacterial circadian pacemaker: Kai protein complex dynamics in the kaic phosphorylation cycle in vitro, Molecular Cell, vol.23, issue.2, pp.161-171, 2006. ,
Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades, Journal of Cell Biology, vol.164, issue.3, pp.353-359, 2004. ,
Biomolecular implementation of linear i/o systems, IET SYstems Biology, vol.5, issue.4, pp.252-260, 2011. ,
Efficient turing-universal computation with DNA polymers, Proc. DNA Computing and Molecular Programming, vol.6518, pp.123-140, 2011. ,
A general computational method for robustness analysis with applications to synthetic gene networks, Bioinformatics, vol.12, issue.25, pp.69-78, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00419708
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
Synthetic mixed-signal computation in living cells, Nature Communications, vol.7, 2016. ,
Analog synthetic biology, Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, vol.372, 2012. ,
Synthetic biology: It's an analog world, Nature, vol.497, issue.7451, pp.572-573, 2013. ,
Long-term model predictive control of gene expression at the population and single-cell levels, Proceedings of the National Academy of Sciences USA, vol.109, issue.35, pp.14271-14276, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01528440
, , 2013.
CRN++: Molecular programming language, Proc. DNA Computing and Molecular Programming, vol.11145, pp.1-18, 2018. ,
A blueprint for a synthetic genetic feedback controller to reprogram cell fate, Cell Systems, vol.4, pp.109-120, 2017. ,