{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T10:10:03Z","timestamp":1743588603586,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314230"},{"type":"electronic","value":"9783642314247"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31424-7_24","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T14:26:49Z","timestamp":1340288809000},"page":"294-309","source":"Crossref","is-referenced-by-count":6,"title":["Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits"],"prefix":"10.1007","author":[{"given":"C\u0103lin C.","family":"Guet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashutosh","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Mateescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Sezgin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10009-010-0176-4","volume":"13","author":"D. Bosnacki","year":"2011","unstructured":"Bosnacki, D., Edelkamp, S., Sulewski, D., Wijs, A.: Parallel probabilistic model checking on general purpose graphics processors. STTT\u00a013(1), 21\u201335 (2011)","journal-title":"STTT"},{"issue":"33-34","key":"24_CR2","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-pepa: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci.\u00a0410(33-34), 3065\u20133084 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"24_CR3","series-title":"LNCS(LNBI)","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-03845-7_12","volume-title":"Computational Methods in Systems Biology","author":"F. Didier","year":"2009","unstructured":"Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V.: Approximation of Event Probabilities in Noisy Cellular Processes. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS(LNBI), vol.\u00a05688, pp. 173\u2013188. Springer, Heidelberg (2009)"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V.: Sabre: A tool for stochastic analysis of biochemical reaction networks. In: QEST, pp. 193\u2013194 (2010)","DOI":"10.1109\/QEST.2010.33"},{"issue":"6036","key":"24_CR5","doi-asserted-by":"publisher","first-page":"1436","DOI":"10.1126\/science.1196766","volume":"332","author":"H.A. Duong","year":"2011","unstructured":"Duong, H.A., Robles, M.S., Knutti, D., Weitz, C.J.: A Molecular Mechanism for Circadian Clock Negative Feedback. Science\u00a0332(6036), 1436\u20131439 (2011)","journal-title":"Science"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Gabriel, E., Fagg, G.E., Bosilca, G., Angskun, T., Dongarra, J.J., Squyres, J.M., Sahay, V., Kambadur, P., Barrett, B., Lumsdaine, A., Castain, R.H., Daniel, D.J., Graham, R.L., Woodall, T.S.: Open MPI: Goals, concept, and design of a next generation MPI implementation. In: Proceedings, 11th European PVM\/MPI Users\u2019 Group Meeting, Budapest, Hungary, pp. 97\u2013104 (September 2004)","DOI":"10.1007\/978-3-540-30218-6_19"},{"key":"24_CR7","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.: A general method for numerically simulating the time evolution of coupled chemical reactions. J. Comput. Phys.\u00a022, 403\u2013434 (1976)","journal-title":"J. Comput. Phys."},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/978-3-642-02658-4_49","volume-title":"Computer Aided Verification","author":"E.M. Hahn","year":"2009","unstructured":"Hahn, E.M., Hermanns, H., Wachter, B., Zhang, L.: INFAMY: An Infinite-State Markov Model Checker. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 641\u2013647. Springer, Heidelberg (2009)"},{"issue":"3","key":"24_CR9","doi-asserted-by":"publisher","first-page":"1002006","DOI":"10.1371\/journal.pcbi.1002006","volume":"7","author":"R.I. Joh","year":"2011","unstructured":"Joh, R.I., Weitz, J.S.: To lyse or not to lyse: Transient-mediated stochastic fate determination in cells infected by bacteriophages. PLoS Comput. Biol.\u00a07(3), e1002006 (2011)","journal-title":"PLoS Comput. Biol."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Prism 2.0: A tool for probabilistic model checking. In: QEST, pp. 322\u2013323 (2004)","DOI":"10.1109\/QEST.2004.1348048"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Maithreye, R., Sarkar, R.R., Parnaik, V.K., Sinha, S.: Delay-induced transient increase and heterogeneity in gene expression in negatively auto-regulated gene circuits. PLoS ONE\u00a03(8), e2972 (2008)","DOI":"10.1371\/journal.pone.0002972"},{"key":"24_CR12","unstructured":"Mateescu, M.: Propagation Models for Biochemical Reaction Networks. Phd thesis, EPFL, Switzerland (2011)"},{"issue":"6","key":"24_CR13","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1049\/iet-syb.2010.0005","volume":"4","author":"M. Mateescu","year":"2010","unstructured":"Mateescu, M., Wolf, V., Didier, F., Henzinger, T.A.: Fast adaptive uniformisation of the chemical master equation. IET Systems Biology\u00a04(6), 441\u2013452 (2010); 3rd q-bio Conference on Cellular Information Processing, St John Coll, Santa Fe, NM (August 05-09, 2009)","journal-title":"IET Systems Biology"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"44144","DOI":"10.1063\/1.2145882","volume":"124","author":"B. Munsky","year":"2006","unstructured":"Munsky, B., Khammash, M.: The finite state projection algorithm for the solution of the chemical master equation. J. Chem. Phys.\u00a0124, 044144 (2006)","journal-title":"J. Chem. Phys."},{"key":"24_CR15","unstructured":"Myers, C.: Engineering genetic circuits. Chapman and Hall\/CRC mathematical & computational biology series. CRC Press (2009)"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Oswald, A., Oates, A.: Control of endogenous gene expression timing by introns. Genome Biology\u00a0(3) (2011)","DOI":"10.1186\/gb-2011-12-3-107"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Pacific Symposium on Biocomputing, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"issue":"1","key":"24_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.mbs.2009.10.007","volume":"223","author":"S. Andre","year":"2010","unstructured":"Andre, S., Ribeiro: Stochastic and delayed stochastic models of gene expression and regulation. Mathematical Biosciences\u00a0223(1), 1\u201311 (2010)","journal-title":"Mathematical Biosciences"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Savageau, M.A.: Comparison of classical and autogenous systems of regulation in inducible operons. Nature (1974)","DOI":"10.1038\/252546a0"},{"key":"24_CR20","unstructured":"Zhang, J., Sosonkina, M., Watson, L.T., Cao, Y.: Parallel solution of the chemical master equation. In: SpringSim (2009)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31424-7_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T09:30:34Z","timestamp":1743586234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31424-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314230","9783642314247"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31424-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}