{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:40Z","timestamp":1740098980026,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319710686"},{"type":"electronic","value":"9783319710693"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-71069-3_14","type":"book-chapter","created":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T22:42:41Z","timestamp":1510958561000},"page":"178-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Robust Combinatorial Circuits in Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Samuel J.","family":"Ellis","sequence":"first","affiliation":[]},{"given":"Titus H.","family":"Klinge","sequence":"additional","affiliation":[]},{"given":"James I.","family":"Lathrop","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,19]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF00282276","volume":"19","author":"R Aris","year":"1965","unstructured":"Aris, R.: Prolegomena to the rational analysis of systems of chemical reactions. Arch. Ration. Mech. Anal. 19(2), 81\u201399 (1965)","journal-title":"Arch. Ration. Mech. Anal."},{"issue":"8","key":"14_CR2","doi-asserted-by":"crossref","first-page":"878","DOI":"10.1021\/acssynbio.5b00275","volume":"5","author":"MA Boemo","year":"2016","unstructured":"Boemo, M.A., Lucas, A.E., Turberfield, A.J., Cardelli, L.: The formal language and design principles of autonomous DNA walker circuits. ACS Synth. Biol. 5(8), 878\u2013884 (2016)","journal-title":"ACS Synth. Biol."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Boruah, K., Dutta, J.C.: Development of a DNA computing model for Boolean circuit. In: Proceedings of the 2nd International Conference on Advances in Electrical, Electronics, Information, Communication and Bio-Informatics, pp. 301\u2013304, February 2016","DOI":"10.1109\/AEEICB.2016.7538295"},{"issue":"2","key":"14_CR4","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1017\/S0960129512000102","volume":"23","author":"L Cardelli","year":"2013","unstructured":"Cardelli, L.: Two-domain DNA strand displacement. Math. Struct. Comput. Sci. 23(2), 247\u2013271 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"10","key":"14_CR5","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1038\/nnano.2013.189","volume":"8","author":"YJ Chen","year":"2013","unstructured":"Chen, Y.J., Dalchau, N., Srinivas, N., Phillips, A., Cardelli, L., Soloveichik, D., Seelig, G.: Programmable chemical controllers made from DNA. Nat. Nanotechnol. 8(10), 755\u2013762 (2013)","journal-title":"Nat. Nanotechnol."},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-319-01928-4_3","volume-title":"DNA Computing and Molecular Programming","author":"F Dannenberg","year":"2013","unstructured":"Dannenberg, F., Kwiatkowska, M., Thachuk, C., Turberfield, A.J.: DNA walker circuits: computational potential, design, and verification. In: Soloveichik, D., Yurke, B. (eds.) DNA 2013. LNCS, vol. 8141, pp. 31\u201345. Springer, Cham (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-319-01928-4_3"},{"issue":"6070","key":"14_CR7","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1126\/science.1214081","volume":"335","author":"SM Douglas","year":"2012","unstructured":"Douglas, S.M., Bachelet, I., Church, G.M.: A logic-gated nanorobot for targeted transport of molecular payloads. Science 335(6070), 831\u2013834 (2012)","journal-title":"Science"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Ellis, S.J., Henderson, E.R., Klinge, T.H., Lathrop, J.I., Lutz, J.H., Lutz, R.R., Mathur, D., Miner, A.S.: Automated requirements analysis for a molecular watchdog timer. In: Proceedings of the 29th International Conference on Automated Software Engineering, pp. 767\u2013778. ACM (2014)","DOI":"10.1145\/2642937.2643007"},{"issue":"1","key":"14_CR9","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/TMBMC.2016.2640287","volume":"3","author":"L Ge","year":"2017","unstructured":"Ge, L., Zhong, Z., Wen, D., You, X., Zhang, C.: A formal combinational logic synthesis with chemical reaction networks. IEEE Trans. Mol. Biol. Multi-Scale Commun. 3(1), 33\u201347 (2017)","journal-title":"IEEE Trans. Mol. Biol. Multi-Scale Commun."},{"issue":"24","key":"14_CR10","doi-asserted-by":"crossref","first-page":"10983","DOI":"10.1073\/pnas.88.24.10983","volume":"88","author":"A Hjelmfelt","year":"1991","unstructured":"Hjelmfelt, A., Weinberger, E.D., Ross, J.: Chemical implementation of neural networks and Turing machines. Proc. Natl. Acad. Sci. 88(24), 10983\u201310987 (1991)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"14_CR11","unstructured":"Klinge, T.H.: Robust and modular computation with chemical reaction networks. Ph.D. thesis, Iowa State University (2016)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Klinge, T.H.: Robust signal restoration in chemical reaction networks. In: Proceedings of the 3rd International Conference on Nanoscale Computing and Communication, pp. 6:1\u20136:6. ACM (2016)","DOI":"10.1145\/2967446.2967465"},{"key":"14_CR13","unstructured":"Klinge, T.H., Lathrop, J.I., Lutz, J.H.: Robust biomolecular finite automata. Technical report 1505.03931, \narXiv.org\n\n e-Print archive (2015)"},{"key":"14_CR14","unstructured":"Klinge, T.H., Lathrop, J.I., Lutz, J.H.: (2016), Work initially introduced in [11] and will appear in a forthcoming extension of [13]"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Lutz, R.R., Lutz, J.H., Lathrop, J.I., Klinge, T.H., Mathur, D., Stull, D.M., Bergquist, T.G., Henderson, E.R.: Requirements analysis for a product family of DNA nanodevices. In: Proceedings of the 20th International Conference on Requirements Engineering, pp. 211\u2013220. IEEE (2012)","DOI":"10.1109\/RE.2012.6345806"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Ogihara, M., Ray, A.: Simulating Boolean circuits on a DNA computer. In: Proceedings of the First Annual International Conference on Computational Molecular Biology, RECOMB 1997, pp. 226\u2013231. ACM, New York (1997)","DOI":"10.1145\/267521.267759"},{"issue":"6034","key":"14_CR17","doi-asserted-by":"crossref","first-page":"1196","DOI":"10.1126\/science.1200520","volume":"332","author":"L Qian","year":"2011","unstructured":"Qian, L., Winfree, E.: Scaling up digital circuit computation with DNA strand displacement cascades. Science 332(6034), 1196\u20131201 (2011)","journal-title":"Science"},{"issue":"4","key":"14_CR18","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1007\/s11047-008-9067-y","volume":"7","author":"D Soloveichik","year":"2008","unstructured":"Soloveichik, D., Cook, M., Winfree, E., Bruck, J.: Computation with finite stochastic chemical reaction networks. Nat. Comput. 7(4), 615\u2013633 (2008)","journal-title":"Nat. Comput."},{"issue":"12","key":"14_CR19","doi-asserted-by":"crossref","first-page":"5393","DOI":"10.1073\/pnas.0909380107","volume":"107","author":"D Soloveichik","year":"2010","unstructured":"Soloveichik, D., Seelig, G., Winfree, E.: DNA as a universal substrate for chemical kinetics. Proc. Natl. Acad. Sci. 107(12), 5393\u20135398 (2010)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"14_CR20","doi-asserted-by":"crossref","first-page":"28130","DOI":"10.1039\/C7RA02607B","volume":"7","author":"X Song","year":"2017","unstructured":"Song, X., Eshra, A., Dwyer, C., Reif, J.: Renewable DNA seesaw logic circuits enabled by photoregulation of toehold-mediated strand displacement. RSC Adv. 7, 28130\u201328144 (2017)","journal-title":"RSC Adv."},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Thubagere, A.J., Thachuk, C., Berleant, J., Johnson, R.F., Ardelean, D.A., Cherry, K.M., Qian, L.: Compiler-aided systematic construction of large-scale DNA strand displacement circuits using unpurified components. Nat. Commun. 8 (2017). article number 14373","DOI":"10.1038\/ncomms14373"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Natural Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-71069-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T22:49:15Z","timestamp":1510958955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-71069-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319710686","9783319710693"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-71069-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}