{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T20:57:38Z","timestamp":1775077058699,"version":"3.50.1"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319674704","type":"print"},{"value":"9783319674711","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67471-1_7","type":"book-chapter","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T15:05:14Z","timestamp":1504191914000},"page":"108-127","source":"Crossref","is-referenced-by-count":51,"title":["Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[]},{"given":"Guillaume","family":"Le Guludec","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Bournez","sequence":"additional","affiliation":[]},{"given":"Amaury","family":"Pouly","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,1]]},"reference":[{"key":"7_CR1","volume-title":"Network Science","author":"AL Barab\u00e1si","year":"2016","unstructured":"Barab\u00e1si, A.L.: Network Science. Cambridge University Press, Cambridge (2016)"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G Berry","year":"1992","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theor. Comput. Sci. 96, 217\u2013248 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bournez, O., Gra\u00e7a, D.S., Pouly, A.: Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length. J. ACM (2017, accepted)","DOI":"10.1145\/3127496"},{"issue":"3","key":"7_CR4","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/j.jco.2006.12.005","volume":"23","author":"O Bournez","year":"2007","unstructured":"Bournez, O., Campagnolo, M.L., Gra\u00e7a, D.S., Hainry, E.: Polynomial differential equations compute all real computable functions on computable compact intervals. J. Complex. 23(3), 317\u2013335 (2007). https:\/\/hal-polytechnique.archives-ouvertes.fr\/inria-00102947","journal-title":"J. Complex."},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1007\/11750321_60","volume-title":"Theory and Applications of Models of Computation","author":"O Bournez","year":"2006","unstructured":"Bournez, O., Campagnolo, M.L., Gra\u00e7a, D.S., Hainry, E.: The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation. In: Cai, J.-Y., Cooper, S.B., Li, A. (eds.) TAMC 2006. LNCS, vol. 3959, pp. 631\u2013643. Springer, Heidelberg (2006). doi: 10.1007\/11750321_60"},{"key":"7_CR6","unstructured":"Bournez, O., Gra\u00e7a, D.S., Pouly, A.: Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length. The general purpose analog computer and computable analysis are two efficiently equivalent models of computations. In: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, Rome, Italy. LIPIcs, vol. 55, pp. 109:1\u2013109:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 11\u201315 July 2016. http:\/\/drops.dagstuhl.de\/opus\/frontdoor.php?source_opus=6244"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Bournez, O., Gra\u00e7a, D.S., Pouly, A.: On the functions generated by the general purpose analog computer. Inf. Comput. (2017, accepted under minor revision)","DOI":"10.1016\/j.ic.2017.09.015"},{"issue":"1","key":"7_CR8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1162\/artl.2009.15.1.15101","volume":"15","author":"HJ Buisman","year":"2009","unstructured":"Buisman, H.J., ten Eikelder, H.M.M., Hilbers, P.A.J., Liekens, A.M.L.: Computing algebraic functions with biochemical reaction networks. Artif. Life 15(1), 5\u201319 (2009)","journal-title":"Artif. Life"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/11880646_2","volume-title":"Transactions on Computational Systems Biology VI","author":"N Busi","year":"2006","unstructured":"Busi, N., Gorrieri, R.: On the computational power of brane calculi. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS, vol. 4220, pp. 16\u201343. Springer, Heidelberg (2006). doi: 10.1007\/11880646_2"},{"issue":"1","key":"7_CR10","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1017\/S0960129509990259","volume":"20","author":"L Cardelli","year":"2010","unstructured":"Cardelli, L., Zavattaro, L.: Turing universality of the biochemical ground form. Math. Struct. Comput. Sci. 20(1), 45\u201373 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"7_CR11","unstructured":"Carothers, D.C., Parker, G.E., Sochacki, J.S., Warne, P.G.: Some properties of solutions to polynomial systems of differential equations. Electron. J. Differ. Eq. 40 (2005)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Chen, H.L., Doty, D., Soloveichik, D.: Rate-independent computation in continuous chemical reaction networks. In: Proceedings of the 5th Conference on Innovations in Theoretical Computer Science, ITCS 2014, pp. 313\u2013326. ACM, New York (2014)","DOI":"10.1145\/2554797.2554827"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"Y Chen","year":"2013","unstructured":"Chen, Y., Dalchau, N., Srinivas, N., Phillips, A., Cardelli, L., Soloveichik, D., Seelig, G.: Programmable chemical controllers made from DNA. Nat. Nanotechnol. 8, 755\u2013762 (2013)","journal-title":"Nat. Nanotechnol."},{"key":"7_CR14","unstructured":"Chiang, H.J., Jiang, J.H., Fages, F.: Reconfigurable neuromorphic computation in biochemical systems. In: Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC (2015). http:\/\/lifeware.inria.fr\/~fages\/Papers\/CJF15ieee.pdf"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Chiang, K., Jiang, J.H., Fages, F.: Building reconfigurable circuitry in a biochemical world. In: BioCAS 2014: IEEE Biomedical Circuits and Systems Conference. IEEE, Lausanne, October 2014. http:\/\/lifeware.inria.fr\/~fages\/Papers\/CJF14biocas.pdf","DOI":"10.1109\/BioCAS.2014.6981787"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Chiu, T.Y., Chiang, H.J.K., Huang, R.Y., Jiang, J.H.R., Fages, F.: Synthesizing configurable biochemical implementation of linear systems from their transfer function specifications. PLoS ONE 10(9) (2015)","DOI":"10.1371\/journal.pone.0137442"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-540-88869-7_27","volume-title":"Algorithmic Bioprocesses","author":"M Cook","year":"2009","unstructured":"Cook, M., Soloveichik, D., Winfree, E., Bruck, J.: Programmability of chemical reaction networks. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, pp. 543\u2013584. Springer, Heidelberg (2009). doi: 10.1007\/978-3-540-88869-7_27"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Courbet, A., Endy, D., Renard, E., Molina, F., Bonnet, J.: Detection of pathological biomarkers in human clinical samples via amplifying genetic switches and logic gates. Sci. Transl. Med. (2015)","DOI":"10.1126\/scitranslmed.aaa3601"},{"key":"7_CR19","unstructured":"Courbet, A., Amar, P., Fages, F., Renard, E., Molina, F.: Computer-aided biochemical programming of synthetic microreactors operating as logic-gated and multiplexed diagnostic devices (submitted)"},{"issue":"7451","key":"7_CR20","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1038\/nature12148","volume":"497","author":"R Daniel","year":"2013","unstructured":"Daniel, R., Rubens, J.R., Sarpeshkar, R., Lu, T.K.: Synthetic analog computation in living cells. Nature 497(7451), 619\u2013623 (2013)","journal-title":"Nature"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.tcs.2014.07.032","volume":"599","author":"F Fages","year":"2015","unstructured":"Fages, F., Gay, S., Soliman, S.: Inferring reaction systems from ordinary differential equations. Theor. Comput. Sci. 599, 64\u201378 (2015). http:\/\/lifeware.inria.fr\/~fages\/Papers\/FGS14tcs.pdf","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"7_CR22","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1), 52\u201370 (2008). http:\/\/lifeware.inria.fr\/~fages\/Papers\/FS07tcs.pdf","journal-title":"Theor. Comput. Sci."},{"issue":"51","key":"7_CR23","doi-asserted-by":"crossref","first-page":"21643","DOI":"10.1073\/pnas.0903827106","volume":"106","author":"C G\u00e9rard","year":"2009","unstructured":"G\u00e9rard, C., Goldbeter, A.: Temporal self-organization of the cyclin\/Cdk network driving the mammalian cell cycle. Proc. Natl. Acad. Sci. 106(51), 21643\u201321648 (2009)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"7_CR24","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"DT Gillespie","year":"1976","unstructured":"Gillespie, D.T.: General method for numerically simulating stochastic time evolution of coupled chemical-reactions. J. Comput. Phys. 22, 403\u2013434 (1976)","journal-title":"J. Comput. Phys."},{"issue":"25","key":"7_CR25","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"5","key":"7_CR26","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1016\/S0885-064X(03)00034-7","volume":"19","author":"D Gra\u00e7a","year":"2003","unstructured":"Gra\u00e7a, D., Costa, J.: Analog computers and recursive functions over the reals. J. Complex. 19(5), 644\u2013664 (2003)","journal-title":"J. Complex."},{"key":"7_CR27","doi-asserted-by":"crossref","first-page":"10983","DOI":"10.1073\/pnas.88.24.10983","volume":"88","author":"A Helmfelt","year":"1991","unstructured":"Helmfelt, A., Weinberger, E.D., Ross, J.: Chemical implementation of neural networks and turing machines. PNAS 88, 10983\u201310987 (1991)","journal-title":"PNAS"},{"issue":"19","key":"7_CR28","doi-asserted-by":"crossref","first-page":"10078","DOI":"10.1073\/pnas.93.19.10078","volume":"93","author":"CY Huang","year":"1996","unstructured":"Huang, C.Y., Ferrell, J.E.: Ultrasensitivity in the mitogen-activated protein kinase cascade. PNAS 93(19), 10078\u201310083 (1996)","journal-title":"PNAS"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Huang, D.A., Jiang, J.H., Huang, R.Y., Cheng, C.Y.: Compiling program control flows into biochemical reactions. In: ICCAD 2012: IEEE\/ACM International Conference on Computer-Aided Design, pp. 361\u2013368. ACM, San Jose, November 2012. http:\/\/lifeware.inria.fr\/~fages\/Papers\/iccad12.pdf","DOI":"10.1145\/2429384.2429462"},{"key":"7_CR30","unstructured":"Huang, R.Y., Huang, D.A., Chiang, H.J.K., Jiang, J.H., Fages, F.: Species minimization in computation with biochemical reactions. In: IWBDA 2013: Proceedings of the Fifth International Workshop on Bio-Design Automation. Imperial College, London, July 2013. http:\/\/lifeware.inria.fr\/~fages\/Papers\/HHCJF13iwbda.pdf"},{"issue":"3","key":"7_CR31","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/MDT.2012.2192144","volume":"29","author":"H Jiang","year":"2012","unstructured":"Jiang, H., Riedel, M., Parhi, K.K.: Digital signal processing with molecular reactions. IEEE Des. Test Comput. 29(3), 21\u201331 (2012)","journal-title":"IEEE Des. Test Comput."},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Jiang, H., Riedel, M., Parhi, K.K.: Digital logic with molecular reactions. In: ICCAD 2013: IEEE\/ACM International Conference on Computer-Aided Design, pp. 721\u2013727. ACM, November 2013","DOI":"10.1109\/ICCAD.2013.6691194"},{"issue":"72","key":"7_CR33","doi-asserted-by":"crossref","first-page":"1470","DOI":"10.1098\/rsif.2011.0800","volume":"9","author":"MR Lakin","year":"2012","unstructured":"Lakin, M.R., Parker, D., Cardelli, L., Kwiatkowska, M., Phillips, A.: Design and analysis of DNA strand displacement devices using probabilistic model checking. J. Roy. Soc. Interface 9(72), 1470\u20131485 (2012)","journal-title":"J. Roy. Soc. Interface"},{"issue":"6","key":"7_CR34","doi-asserted-by":"crossref","first-page":"1190","DOI":"10.1103\/PhysRevLett.78.1190","volume":"78","author":"MO Magnasco","year":"1997","unstructured":"Magnasco, M.O.: Chemical kinetics is turing universal. Phys. Rev. Lett. 78(6), 1190\u20131193 (1997)","journal-title":"Phys. Rev. Lett."},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Nielsen, A.A.K., Der, B.S., Shin, J., Vaidyanathan, P., Paralanov, V., Strychalski, E.A., Ross, D., Densmore, D., Voigt, C.A.: Genetic circuit design automation. Science 352(6281) (2016)","DOI":"10.1126\/science.aac7341"},{"issue":"4","key":"7_CR36","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1049\/iet-syb.2010.0056","volume":"5","author":"K Oishi","year":"2011","unstructured":"Oishi, K., Klavins, E.: Biomolecular implementation of linear I\/O systems. IET Syst. Biol. 5(4), 252\u2013260 (2011)","journal-title":"IET Syst. Biol."},{"key":"7_CR37","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1016\/S0006-3495(94)80516-8","volume":"67","author":"P Arkin","year":"1994","unstructured":"Arkin, P., Ross, J.: Computational functions in biochemical reaction networks. Biophys. J. 67, 560\u2013578 (1994)","journal-title":"Biophys. J."},{"issue":"1","key":"7_CR38","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/S0304-3975(02)00136-6","volume":"287","author":"G Paun","year":"2002","unstructured":"Paun, G., Rozenberg, G.: A guide to membrane computing. Theor. Comput. Sci. 287(1), 73\u2013100 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR39","unstructured":"Pouly, A.: Continuous models of computation: from computability to complexity. Ph.D. thesis, Ecole Polytechnique, July 2015"},{"key":"7_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-18305-8_12","volume-title":"DNA Computing and Molecular Programming","author":"L Qian","year":"2011","unstructured":"Qian, L., Soloveichik, D., Winfree, E.: Efficient turing-universal computation with DNA polymers. In: Sakakibara, Y., Mi, Y. (eds.) DNA 2010. LNCS, vol. 6518, pp. 123\u2013140. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-18305-8_12"},{"key":"7_CR41","unstructured":"Rizik, L., Ram, Y., Danial, R.: Noise tolerance analysis for reliable analog and digital computation in living cells. J. Bioeng. Biomed. Sci. 6(186) (2016)"},{"issue":"26","key":"7_CR42","doi-asserted-by":"crossref","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","volume":"412","author":"A Rizk","year":"2011","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412(26), 2827\u20132839 (2011). http:\/\/lifeware.inria.fr\/~soliman\/publi\/RBFS11tcs.pdf","journal-title":"Theor. Comput. Sci."},{"issue":"7451","key":"7_CR43","doi-asserted-by":"crossref","first-page":"572","DOI":"10.1038\/nature12246","volume":"497","author":"HM Sauro","year":"2013","unstructured":"Sauro, H.M., Kim, K.: Synthetic biology: it\u2019s an analog world. Nature 497(7451), 572\u2013573 (2013)","journal-title":"Nature"},{"key":"7_CR44","volume-title":"Modeling Dynamic Phenomena in Molecular and Cellular Biology","author":"LA Segel","year":"1984","unstructured":"Segel, L.A.: Modeling Dynamic Phenomena in Molecular and Cellular Biology. Cambridge University Press, Cambridge (1984)"},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"Senum, P., Riedel, M.: Rate-independent constructs for chemical computation. PLOS One 6(6) (2011)","DOI":"10.1371\/journal.pone.0021414"},{"key":"7_CR46","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1002\/sapm1941201337","volume":"20","author":"C Shannon","year":"1941","unstructured":"Shannon, C.: Mathematical theory of the differential analyser. J. Math. Phys. 20, 337\u2013354 (1941)","journal-title":"J. Math. Phys."},{"key":"7_CR47","volume-title":"Probably Approximately Correct","author":"L Valiant","year":"2013","unstructured":"Valiant, L.: Probably Approximately Correct. Basic Books, New York (2013)"},{"key":"7_CR48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis: An Introduction","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis: An Introduction. Springer, Heidelberg (2000). doi: 10.1007\/978-3-642-56999-9"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67471-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T20:43:21Z","timestamp":1570049001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67471-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674704","9783319674711"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67471-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}