{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:46:26Z","timestamp":1725749186745},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407079"},{"type":"electronic","value":"9783642407086"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40708-6_15","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T09:37:00Z","timestamp":1379497020000},"page":"192-205","source":"Crossref","is-referenced-by-count":0,"title":["On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models"],"prefix":"10.1007","author":[{"given":"Katherine","family":"Chiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie-Hong","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1159\/000110010","volume":"3","author":"J. Ahmad","year":"2006","unstructured":"Ahmad, J., Bernot, G., Comet, J.-P., Lime, D., Roux, O.: Hybrid modelling and dynamical analysis of gene regulatory networks with delays. ComplexUs\u00a03, 231\u2013251 (2006)","journal-title":"ComplexUs"},{"issue":"3","key":"15_CR2","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1504\/IJBRA.2008.019573","volume":"4","author":"J. Ahmad","year":"2008","unstructured":"Ahmad, J., Roux, O., Bernot, G., Comet, J.-P., Richard, A.: Analysing formal models of genetic regulatory networks with delays. International Journal of Bioinformatics Research and Applications\u00a04(3), 240\u2013262 (2008)","journal-title":"International Journal of Bioinformatics Research and Applications"},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1051\/proc:2005001","volume":"14","author":"A. Alfonsi","year":"2005","unstructured":"Alfonsi, A., Canc\u00e8s, E., Turinici, G., di Ventura, B., Huisinga, W.: Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems. ESAIM: Proc.\u00a014, 1\u201313 (2005)","journal-title":"ESAIM: Proc."},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Belta, C., Ivan\u010di\u0107, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: Hybrid Modeling and Simulation of Biomolecular Networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 19\u201332. Springer, Heidelberg (2001)"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M. Ashburner","year":"2000","unstructured":"Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., Harris, M.A., Hill, D.P., Issel-Tarver, L., Kasarskis, A., Lewis, S., Matese, J.C., Richardson, J.E., Ringwald, M., Rubin, G.M., Sherlock, G.: Gene ontology: tool for the unification of biology. Nature Genetics\u00a025, 25\u201329 (2000)","journal-title":"Nature Genetics"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-45619-8_7","volume-title":"Logic Programming","author":"A. Bockmayr","year":"2002","unstructured":"Bockmayr, A., Courtois, A.: Using hybrid concurrent constraint programming to model dynamic biological systems. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 85\u201399. Springer, Heidelberg (2002)"},{"issue":"14","key":"15_CR7","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics\u00a022(14), 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"issue":"2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.jda.2007.06.003","volume":"6","author":"C. Chaouiya","year":"2008","unstructured":"Chaouiya, C., Remy, E., Thieffry, D.: Petri net modelling of biological regulatory networks. Journal of Discrete Algorithms\u00a06(2), 165\u2013177 (2008)","journal-title":"Journal of Discrete Algorithms"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"2008","unstructured":"Egerstedt, M., Mishra, B. (eds.): HSCC 2008. LNCS, vol.\u00a04981. Springer, Heidelberg (2008)"},{"key":"15_CR10","unstructured":"Fages, F., Gay, S., Jovanovska, D., Rizk, A., Soliman, S.: BIOCHAM v3.4 Reference Manual. INRIA (2012)"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","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. Theoretical Computer Science\u00a0403(1), 52\u201370 (2008)","journal-title":"Theoretical Computer Science"},{"key":"15_CR12","unstructured":"Feinberg, M.: Mathematical aspects of mass action kinetics. In: Lapidus, L., Amundson, N.R. (eds.) Chemical Reactor Theory: A Review, ch. 1, pp. 1\u201378. Prentice-Hall (1977)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-45351-2_21","volume-title":"Hybrid Systems: Computation and Control","author":"R. Ghosh","year":"2001","unstructured":"Ghosh, R., Tomlin, C.J.: Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 232\u2013246. Springer, Heidelberg (2001)"},{"key":"15_CR14","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-75140-3_14","volume-title":"Computational Methods in Systems Biology","author":"D. Gilbert","year":"2007","unstructured":"Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 200\u2013216. Springer, Heidelberg (2007)"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: General method for numerically simulating stochastic time evolution of coupled chemical-reactions. Journal of Computational Physics\u00a022, 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"issue":"25","key":"15_CR16","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"issue":"4","key":"15_CR17","doi-asserted-by":"publisher","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"D.T. Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. Journal of Chemical Physics\u00a0115(4), 1716\u20131733 (2001)","journal-title":"Journal of Chemical Physics"},{"issue":"6","key":"15_CR18","doi-asserted-by":"publisher","first-page":"1640","DOI":"10.1021\/jp806431b","volume":"113","author":"D.T. Gillespie","year":"2009","unstructured":"Gillespie, D.T.: Deterministic limit of stochastic chemical kinetics. The Journal of Physical Chemistry B\u00a0113(6), 1640\u20131644 (2009)","journal-title":"The Journal of Physical Chemistry B"},{"issue":"1","key":"15_CR19","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.jcp.2007.07.020","volume":"227","author":"A. Hellander","year":"2007","unstructured":"Hellander, A., Lotstedt, P.: Hybrid method for the chemical master equation. Journal of Computational Physics\u00a0227(1), 100\u2013122 (2007)","journal-title":"Journal of Computational Physics"},{"key":"15_CR20","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), pp. 278\u2013292. IEEE Computer Society Press (1996), An extended version appeared in Verification of Digital and Hybrid Systems"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HYTECH: A model checker for hybrid systems. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 460\u2013463. Springer, Heidelberg (1997)"},{"key":"15_CR22","first-page":"55","volume-title":"Proceedings of the 8th International Conference on Computational Methods in Systems Biology, CMSB 2010","author":"T.A. Henzinger","year":"2010","unstructured":"Henzinger, T.A., Mikeev, L., Mateescu, M., Wolf, V.: Hybrid numerical solution of the chemical master equation. In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology, CMSB 2010, pp. 55\u201365. ACM, New York (2010)"},{"issue":"4","key":"15_CR23","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics\u00a019(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"15_CR24","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1146\/annurev.genom.2.1.343","volume":"2","author":"T. Ideker","year":"2001","unstructured":"Ideker, T., Galitski, T., Hood, L.: A new approach to decoding life: Systems biology. Annual Review of Genomics and Human Genetics\u00a02, 343\u2013372 (2001)","journal-title":"Annual Review of Genomics and Human Genetics"},{"issue":"1","key":"15_CR25","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M. Kanehisa","year":"2000","unstructured":"Kanehisa, M., Goto, S.: KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acids Research\u00a028(1), 27\u201330 (2000)","journal-title":"Nucleic Acids Research"},{"issue":"3","key":"15_CR26","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1093\/bioinformatics\/btg409","volume":"20","author":"T.R. Kiehl","year":"2004","unstructured":"Kiehl, T.R., Mattheyses, R.M., Simmons, M.K.: Hybrid simulation of cellular behavior. Bioinformatics\u00a020(3), 316\u2013322 (2004)","journal-title":"Bioinformatics"},{"issue":"4","key":"15_CR27","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1364644.1364651","volume":"35","author":"M. Kwiatkowska","year":"2008","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review\u00a035(4), 14\u201321 (2008)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"key":"15_CR28","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-68413-8_6","volume-title":"Formal Methods in Systems Biology","author":"O. Maler","year":"2008","unstructured":"Maler, O., Batt, G.: Approximating continuous systems by timed automata. In: Fisher, J. (ed.) FMSB 2008. LNCS (LNBI), vol.\u00a05054, pp. 77\u201389. Springer, Heidelberg (2008)"},{"key":"15_CR29","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid petri net representation of gene regulatory network. In: Proceedings of the 5th Pacific Symposium on Biocomputing, pp. 338\u2013349 (2000)"},{"key":"15_CR30","unstructured":"No\u00ebl, V.: Mod\u00e8les r\u00e9duits et hybrides de r\u00e9seaux de r\u00e9actions biochimiques \u2013 Applications \u00e0 la mod\u00e9lisation du cycle cellulaire. PhD thesis, Universit\u00e9 de Rennes 1 (2012)"},{"issue":"5","key":"15_CR31","doi-asserted-by":"publisher","first-page":"54103","DOI":"10.1063\/1.1835951","volume":"122","author":"H. Salis","year":"2005","unstructured":"Salis, H., Kaznessis, Y.N.: Accurate hybrid stochastic simulation of a system of coupled chemical or biochemical reactions. The Journal of Chemical Physics\u00a0122(5), 54103 (2005)","journal-title":"The Journal of Chemical Physics"},{"issue":"1","key":"15_CR32","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1186\/1471-2105-7-93","volume":"7","author":"H. Salis","year":"2006","unstructured":"Salis, H., Sotiropoulos, V., Kaznessis, Y.N.: Multiscale hy3s: Hybrid stochastic simulation for supercomputers. BMC Bioinformatics\u00a07(1), 93 (2006)","journal-title":"BMC Bioinformatics"},{"key":"15_CR33","doi-asserted-by":"crossref","unstructured":"Singania, R., Sramkoski, R.M., Jacooberger, J.W., Tyson, J.J.: A hybrid model of mammalian cell cycle regulation. PLOS Computational Biology\u00a07(2) (February 2011)","DOI":"10.1371\/journal.pcbi.1001077"}],"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-642-40708-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T10:42:44Z","timestamp":1558089764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40708-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407079","9783642407086"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40708-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}