{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:49:44Z","timestamp":1725749384728},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319019277"},{"type":"electronic","value":"9783319019284"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-319-01928-4_14","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T11:44:15Z","timestamp":1379504655000},"page":"189-203","source":"Crossref","is-referenced-by-count":10,"title":["Functional Analysis of Large-Scale DNA Strand Displacement Circuits"],"prefix":"10.1007","author":[{"given":"Boyan","family":"Yordanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph M.","family":"Wintersteiger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youssef","family":"Hamadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Phillips","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hillel","family":"Kugler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic Model Checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-23638-9_8","volume-title":"DNA Computing and Molecular Programming","author":"H. Chandran","year":"2011","unstructured":"Chandran, H., Gopalkrishnan, N., Phillips, A., Reif, J.: Localized hybridization circuits. In: Cardelli, L., Shih, W. (eds.) DNA 17. LNCS, vol.\u00a06937, pp. 64\u201383. Springer, Heidelberg (2011)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-32208-2_3","volume-title":"DNA Computing and Molecular Programming","author":"H.-L. Chen","year":"2012","unstructured":"Chen, H.-L., Doty, D., Soloveichik, D.: Deterministic Function Computation with Chemical Reaction Networks. In: Stefanovic, D., Turberfield, A. (eds.) DNA 18. LNCS, vol.\u00a07433, pp. 25\u201342. Springer, Heidelberg (2012)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-32208-2_4","volume-title":"DNA Computing and Molecular Programming","author":"A. Condon","year":"2012","unstructured":"Condon, A., Kirkpatrick, B., Ma\u0148uch, J.: Reachability Bounds for Chemical Reaction Networks and Strand Displacement Systems. In: Stefanovic, D., Turberfield, A. (eds.) DNA 2012. LNCS, vol.\u00a07433, pp. 43\u201357. Springer, Heidelberg (2012)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238\u2013252. ACM (1977)","DOI":"10.1145\/512950.512973"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L.M. Moura de","year":"2008","unstructured":"de Moura, L.M., Bj\u00f8rner, N.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"14_CR7","unstructured":"Dong, Q.: A bisimulation approach to verification of molecular implementations of formal chemical reaction networks. Master\u2019s thesis, Stony Brook University (2012)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Doty, D., Hajiaghayi, M.: Leaderless deterministic chemical reaction networks. arXiv:1304.4519 (2013)","DOI":"10.1007\/978-3-319-01928-4_4"},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/S0006-3495(03)74450-6","volume":"85","author":"I. Famili","year":"2003","unstructured":"Famili, I., Palsson, B.O.: The convex basis of the left null space of the stoichiometric matrix leads to the definition of metabolically meaningful pools. Biophysical Journal\u00a085(1), 16\u201326 (2003)","journal-title":"Biophysical Journal"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-78929-1_13","volume-title":"Hybrid Systems: Computation and Control","author":"M. Fr\u00e4nzle","year":"2008","unstructured":"Fr\u00e4nzle, M., Hermanns, H., Teige, T.: Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol.\u00a04981, pp. 172\u2013186. Springer, Heidelberg (2008)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M. Heiner","year":"2008","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri Nets for Systems and Synthetic Biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-642-02658-4_32","volume-title":"Computer Aided Verification","author":"R. Kaivola","year":"2009","unstructured":"Kaivola, R., Ghughal, R., Narasimhan, N., Telfer, A., Whittemore, J., Pandav, S., Slobodov\u00e1, A., Taylor, C., Frolov, V., Reeber, E., Naik, A.: Replacing Testing with Formal Verification in Intel\u00ae CoreTM i7 Processor Execution Engine Validation. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 414\u2013429. Springer, Heidelberg (2009)"},{"issue":"72","key":"14_CR13","doi-asserted-by":"publisher","first-page":"1470","DOI":"10.1098\/rsif.2011.0800","volume":"9","author":"M.R. 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. Journal of the Royal Society, Interface\u00a09(72), 1470\u20131485 (2012)","journal-title":"Journal of the Royal Society, Interface"},{"issue":"22","key":"14_CR14","doi-asserted-by":"publisher","first-page":"3211","DOI":"10.1093\/bioinformatics\/btr543","volume":"27","author":"M.R. Lakin","year":"2011","unstructured":"Lakin, M.R., Youssef, S., Polo, F., Emmott, S., Phillips, A.: Visual DSD: A design and analysis tool for DNA strand displacement systems. Bioinformatics\u00a027(22), 3211\u20133213 (2011)","journal-title":"Bioinformatics"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-23638-9_12","volume-title":"DNA Computing and Molecular Programming","author":"M.R. Lakin","year":"2011","unstructured":"Lakin, M.R., Phillips, A.: Modelling, simulating and verifying turing-powerful strand displacement systems. In: Cardelli, L., Shih, W. (eds.) DNA 17. LNCS, vol.\u00a06937, pp. 130\u2013144. Springer, Heidelberg (2011)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: Temporal verification of reactive systems: safety, vol.\u00a02. Springer (1995)","DOI":"10.1007\/978-1-4612-4222-2"},{"issue":"6034","key":"14_CR17","doi-asserted-by":"publisher","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\u00a0332(6034), 1196\u20131201 (2011)","journal-title":"Science"},{"key":"14_CR18","unstructured":"Shin, S.W.: Compiling and verifying DNA-based chemical reaction network implementations. Master\u2019s thesis, California Institute of Technology (2012)"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-32208-2_11","volume-title":"DNA Computing and Molecular Programming","author":"C. Thachuk","year":"2012","unstructured":"Thachuk, C., Condon, A.: Space and Energy Efficient Computation with DNA Strand Displacement Systems. In: Stefanovic, D., Turberfield, A. (eds.) DNA 18. LNCS, vol.\u00a07433, pp. 135\u2013149. Springer, Heidelberg (2012)"},{"issue":"1","key":"14_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10703-012-0156-2","volume":"42","author":"C.M. Wintersteiger","year":"2013","unstructured":"Wintersteiger, C.M., Hamadi, Y., de Moura, L.: Efficiently solving quantified bit-vector formulas. Formal Methods in System Design\u00a042(1), 3\u201323 (2013)","journal-title":"Formal Methods in System Design"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-38088-4_6","volume-title":"NASA Formal Methods","author":"B. Yordanov","year":"2013","unstructured":"Yordanov, B., Wintersteiger, C.M., Hamadi, Y., Kugler, H.: SMT-based analysis of biological computation. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol.\u00a07871, pp. 78\u201392. Springer, Heidelberg (2013)"},{"key":"14_CR22","unstructured":"Z34Bio at rise4fun Software Engineering Tools from Microsoft Research (2013), \n                  \n                    http:\/\/rise4fun.com\/z34biology"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-85361-9_37","volume-title":"CONCUR 2008 - Concurrency Theory","author":"G. Zavattaro","year":"2008","unstructured":"Zavattaro, G., Cardelli, L.: Termination problems in chemical kinetics. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 477\u2013491. Springer, Heidelberg (2008)"},{"issue":"2","key":"14_CR24","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1038\/nchem.957","volume":"3","author":"D.Y. Zhang","year":"2011","unstructured":"Zhang, D.Y., Seelig, G.: Dynamic DNA nanotechnology using strand-displacement reactions. Nat. Chem.\u00a03(2), 103\u2013113 (2011)","journal-title":"Nat. Chem."}],"container-title":["Lecture Notes in Computer Science","DNA Computing and Molecular Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-01928-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:39:52Z","timestamp":1558078792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-01928-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319019277","9783319019284"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-01928-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}