{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:21:55Z","timestamp":1744258915942,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336355"},{"type":"electronic","value":"9783642336362"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33636-2_12","type":"book-chapter","created":{"date-parts":[[2012,9,27]],"date-time":"2012-09-27T23:25:48Z","timestamp":1348788348000},"page":"187-206","source":"Crossref","is-referenced-by-count":4,"title":["Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation"],"prefix":"10.1007","author":[{"given":"Ibuki","family":"Kawamata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathanael","family":"Aubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Hamano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masami","family":"Hagiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"12_CR1","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1038\/nnano.2007.104","volume":"2","author":"J. Bath","year":"2007","unstructured":"Bath, J., Turberfield, A.J.: DNA nanomachines. Nat. Nanotechnol.\u00a02(5), 275\u2013284 (2007)","journal-title":"Nat. Nanotechnol."},{"issue":"5809","key":"12_CR2","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1126\/science.1138030","volume":"315","author":"D.C. Baulcombe","year":"2007","unstructured":"Baulcombe, D.C.: Amplified Silencing. Science\u00a0315(5809), 199\u2013200 (2007)","journal-title":"Science"},{"issue":"20","key":"12_CR3","doi-asserted-by":"publisher","first-page":"11511","DOI":"10.1073\/pnas.1931639100","volume":"100","author":"C.T. Bergstrom","year":"2003","unstructured":"Bergstrom, C.T., McKittrick, E., Antia, R.: Mathematical models of RNA silencing: unidirectional amplification limits accidental self-directed reactions. Proc. Natl. Acad. Sci. USA\u00a0100(20), 11511\u201311516 (2003)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"5","key":"12_CR4","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1049\/iet-syb:20070081","volume":"2","author":"N.M. Borisov","year":"2008","unstructured":"Borisov, N.M., Chistopolsky, A.S., Faeder, J.R., Kholodenko, B.N.: Domain-oriented reduction of rule-based network models. IET Syst. Biol.\u00a02(5), 342\u2013351 (2008)","journal-title":"IET Syst. Biol."},{"issue":"5","key":"12_CR5","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1016\/j.tig.2006.03.003","volume":"22","author":"P. Brodersen","year":"2006","unstructured":"Brodersen, P., Voinnet, O.: The diversity of RNA silencing pathways in plants. TRENDS in Genettics\u00a022(5), 268\u2013280 (2006)","journal-title":"TRENDS in Genettics"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1186\/1752-0509-2-78","volume":"2","author":"H. Conzelmann","year":"2008","unstructured":"Conzelmann, H., Fey, D., Gilles, E.D.: Exact model reduction of combinatorial reaction networks. BMC Syst. Biol.\u00a02, 78 (2008)","journal-title":"BMC Syst. Biol."},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1186\/1471-2105-7-34","volume":"7","author":"H. Conzelmann","year":"2006","unstructured":"Conzelmann, H., Saez-Rodriguez, J., Sauter, T., Kholodenko, B.N., Gilles, E.D.: A domain-oriented approach to the reduction of combinatorial complexity in signal transduction networks. BMC Bioinformatics\u00a07, 34 (2006)","journal-title":"BMC Bioinformatics"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1186\/1752-0509-5-19","volume":"5","author":"G. Cuccato","year":"2011","unstructured":"Cuccato, G., Polynikis, A., Siciliano, V., Graziano, M., di Bernardo, M., di Bernardo, D.: Modeling RNA interference in mammalian cells. BMC Syst. Biol.\u00a05, 19 (2011)","journal-title":"BMC Syst. Biol."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: Proceedings of the Twenty-Fifth Annual IEEE Symposium on Logic in Computer Science, pp. 362\u2013381. IEEE (2010)","DOI":"10.1109\/LICS.2010.44"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-78163-9_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"V. Danos","year":"2008","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract Interpretation of Cellular Signalling Networks. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol.\u00a04905, pp. 83\u201397. Springer, Heidelberg (2008)"},{"issue":"43","key":"12_CR11","doi-asserted-by":"publisher","first-page":"15275","DOI":"10.1073\/pnas.0407024101","volume":"101","author":"R.M. Dirks","year":"2004","unstructured":"Dirks, R.M., Pierce, N.A.: Triggered amplification by hybridization chain reaction. Proc. Natl. Acad. Sci. USA\u00a0101(43), 15275\u201315278 (2004)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"1","key":"12_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF02241732","volume":"6","author":"E. Fehlberg","year":"1970","unstructured":"Fehlberg, E.: Klassische Runge-Kutta-Formeln vierter und niedrigerer ordnung mit schrittweiten-kontrolle und ihre Anwendung auf w\u00e4rmeleitungsprobleme. Computing\u00a06(1), 61\u201371 (1970)","journal-title":"Computing"},{"issue":"16","key":"12_CR13","doi-asserted-by":"publisher","first-page":"6453","DOI":"10.1073\/pnas.0809908106","volume":"106","author":"J. Feret","year":"2009","unstructured":"Feret, J., Danos, V., Krivine, J., Harmer, R., Fontana, W.: Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. USA\u00a0106(16), 6453\u20136458 (2009)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"2","key":"12_CR14","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1371\/journal.pcbi.0010021","volume":"1","author":"M.A.C. Groenenboom","year":"2005","unstructured":"Groenenboom, M.A.C., Mar\u00e9e, A.F.M., Hogeweg, P.: The RNA Silencing Pathway: The Bits and Pieces That Matter. PLoS Comput. Biol.\u00a01(2), 155\u2013165 (2005)","journal-title":"PLoS Comput. Biol."},{"issue":"6027","key":"12_CR15","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1126\/science.1202998","volume":"332","author":"D. Han","year":"2011","unstructured":"Han, D., Pal, S., Nangreave, J., Deng, Z., Liu, Y., Yan, H.: DNA Origami with Complex Curvatures in Three-Dimensional Space. Science\u00a0332(6027), 342\u2013346 (2011)","journal-title":"Science"},{"issue":"3","key":"12_CR16","doi-asserted-by":"publisher","first-page":"37108","DOI":"10.1063\/1.3491100","volume":"20","author":"R. Harmer","year":"2010","unstructured":"Harmer, R., Danos, V., Feret, J., Krivine, J., Fontana, W.: Intrinsic Information Carriers in Combinatorial Dynamical Systems. Chaos\u00a020(3), 037108 (2010)","journal-title":"Chaos"},{"key":"12_CR17","unstructured":"Kawamata, I.: Formal Definition of the ODE of RNAi and Experimental Results for Approximate Abstraction: supplementary documents (2012), http:\/\/hagi.is.s.u-tokyo.ac.jp\/~ibuki\/cmsb2012supply.pdf"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-10604-0_9","volume-title":"DNA Computing and Molecular Programming","author":"I. Kawamata","year":"2009","unstructured":"Kawamata, I., Tanaka, F., Hagiya, M.: Automatic Design of DNA Logic Gates Based on Kinetic Simulation. In: Deaton, R., Suyama, A. (eds.) DNA 15. LNCS, vol.\u00a05877, pp. 88\u201396. Springer, Heidelberg (2009)"},{"key":"12_CR19","unstructured":"Kawamata, I., Tanaka, F., Hagiya, M.: Abstraction of DNA Graph Structures for Efficient Enumeration and Simulation. In: International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 800\u2013806 (2011)"},{"issue":"5560","key":"12_CR20","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Systems Biology: A Brief Overview. Science\u00a0295(5560), 1662\u20131664 (2002)","journal-title":"Science"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Kobayashi, S.: A New Approach to Computing Equilibrium State of Combinatorial Hybridization Reaction Systems. In: Proc. of Workshop on Computing and Communications from Biological Systems: Theory and Applications, pp. 330\u2013335 (2007)","DOI":"10.1109\/BIMNICS.2007.4610139"},{"key":"12_CR22","unstructured":"Kobayashi, S.: Symmetric Enumeration Method: A New Approach to Computing Equilibria. Technical Report of Dept. of Computer Science, University of Electro-Communications (2008)"},{"issue":"72","key":"12_CR23","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. J. R. Soc. Interface\u00a09(72), 1470\u20131485 (2012)","journal-title":"J. R. Soc. Interface"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Marshall, W.F.: Modeling recursive RNA interference. PLoS Comput. Biol.\u00a04(9), e1000183 (2008)","DOI":"10.1371\/journal.pcbi.1000183"},{"issue":"5809","key":"12_CR25","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1126\/science.1132839","volume":"315","author":"J. Pak","year":"2007","unstructured":"Pak, J., Fire, A.: Distinct Populations of Primary and Secondary Effectors During RNAi in C. elegans. Science\u00a0315(5809), 241\u2013244 (2007)","journal-title":"Science"},{"issue":"12","key":"12_CR26","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1038\/nnano.2011.187","volume":"6","author":"A.V. Pinheiro","year":"2011","unstructured":"Pinheiro, A.V., Han, D., Shih, W.M., Yan, H.: Challenges and opportunities for structural DNA nanotechnology. Nat. Nanotechnol.\u00a06(12), 763\u2013772 (2011)","journal-title":"Nat. Nanotechnol."},{"issue":"6034","key":"12_CR27","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"},{"issue":"5805","key":"12_CR28","doi-asserted-by":"publisher","first-page":"1585","DOI":"10.1126\/science.1132493","volume":"314","author":"G. Seelig","year":"2006","unstructured":"Seelig, G., Soloveichik, D., Zhang, D.Y., Winfree, E.: Enzyme-Free Nucleic Acid Logic Circuits. Science\u00a0314(5805), 1585\u20131588 (2006)","journal-title":"Science"},{"issue":"39","key":"12_CR29","doi-asserted-by":"publisher","first-page":"16777","DOI":"10.1073\/pnas.1006377107","volume":"107","author":"S. Venkataraman","year":"2010","unstructured":"Venkataraman, S., Dirks, R.M., Ueda, C.T., Pierce, N.A.: Selective cell death mediated by small conditional RNAs. Proc. Natl. Acad. Sci. USA\u00a0107(39), 16777\u201316782 (2010)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"5900","key":"12_CR30","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1126\/science.1160311","volume":"322","author":"M.N. Win","year":"2008","unstructured":"Win, M.N., Smolke, C.D.: Higher-Order Cellular Information Processing with Synthetic RNA Devices. Science\u00a0322(5900), 456\u2013460 (2008)","journal-title":"Science"},{"key":"12_CR31","unstructured":"Winfree, E.: Algorithmic self-assembly of DNA. Ph.D. thesis, California Institute of Technology (1998)"},{"issue":"7176","key":"12_CR32","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1038\/nature06451","volume":"451","author":"P. Yin","year":"2008","unstructured":"Yin, P., Choi, H.M.T., Calvert, C.R., Pierce, N.A.: Programming biomolecular self-assembly pathways. Nature\u00a0451(7176), 318\u2013322 (2008)","journal-title":"Nature"},{"issue":"2","key":"12_CR33","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","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33636-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T17:20:22Z","timestamp":1744219222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33636-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336355","9783642336362"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33636-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}