{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:59:05Z","timestamp":1725742745222},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642401954"},{"type":"electronic","value":"9783642401961"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40196-1_8","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T21:54:56Z","timestamp":1374530096000},"page":"106-122","source":"Crossref","is-referenced-by-count":4,"title":["Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models"],"prefix":"10.1007","author":[{"given":"David","family":"Spieler","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Andrei, O., Calder, M.: Trend-based analysis of a population model of the akap scaffold protein. TCS Biology\u00a014 (2012)","DOI":"10.1007\/978-3-642-35524-0_1"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"1633","DOI":"10.1093\/genetics\/149.4.1633","volume":"149","author":"A. Arkin","year":"1998","unstructured":"Arkin, A., Ross, J., McAdams, H.: Stochastic kinetic analysis of developmental pathway bifurcation in phage \u03bb-infected escherichia coli cells. Genetics\u00a0149, 1633\u20131648 (1998)","journal-title":"Genetics"},{"issue":"6","key":"8_CR3","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Hermanns, H., Haverkort, B., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering\u00a029(6), 524\u2013541 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"20","key":"8_CR4","doi-asserted-by":"publisher","first-page":"2019","DOI":"10.1016\/j.tcs.2010.02.010","volume":"411","author":"P. Ballarini","year":"2010","unstructured":"Ballarini, P., Guerriero, M.L.: Query-based verification of qualitative trends and oscillations in biochemical systems. TCS\u00a0411(20), 2019\u20132036 (2010)","journal-title":"TCS"},{"issue":"1","key":"8_CR5","first-page":"3","volume":"229","author":"P. Ballarini","year":"2009","unstructured":"Ballarini, P., Mardare, R., Mura, I.: Analysing biochemical oscillation through probabilistic model checking. ENTCS\u00a0229(1), 3\u201319 (2009)","journal-title":"ENTCS"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1038\/35002258","volume":"403","author":"N. Barkai","year":"2000","unstructured":"Barkai, N., Leibler, S.: Biological rhythms: Circadian clocks limited by noise. Nature\u00a0403, 267\u2013268 (2000)","journal-title":"Nature"},{"issue":"1","key":"8_CR7","first-page":"75","volume":"229","author":"L. Bortolussi","year":"2009","unstructured":"Bortolussi, L., Policriti, A.: The importance of being (a little bit) discrete. ENTCS\u00a0229(1), 75\u201392 (2009)","journal-title":"ENTCS"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Dayar, T., Hermanns, H., Spieler, D., Wolf, V.: Bounding the equilibrium distribution of Markov population models. NLAA (2011)","DOI":"10.1002\/nla.795"},{"key":"8_CR9","first-page":"118","volume-title":"Proc. of HIBI","author":"F. Didier","year":"2009","unstructured":"Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V.: Fast adaptive uniformization of the chemical master equation. In: Proc. of HIBI, pp. 118\u2013127. IEEE Computer Society, Washington, DC (2009)"},{"issue":"6767","key":"8_CR10","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M.B. Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature\u00a0403(6767), 335\u2013338 (2000)","journal-title":"Nature"},{"issue":"25","key":"8_CR11","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. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1016\/0378-4371(92)90283-V","volume":"188","author":"D.T. Gillespie","year":"1992","unstructured":"Gillespie, D.T.: A rigorous derivation of the chemical master equation. Physica A\u00a0188, 404\u2013425 (1992)","journal-title":"Physica A"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-02658-4_27","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"2009","unstructured":"Henzinger, T.A., Mateescu, M., Wolf, V.: Sliding window abstraction for infinite Markov chains. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 337\u2013352. Springer, Heidelberg (2009)"},{"key":"8_CR14","unstructured":"J\u00falvez, J., Kwiatkowska, M., Norman, G., Parker, D.: A systematic approach to evaluate sustained stochastic oscillations. In: Proc. BICoB. ISCA (2011)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Kerr, B., Riley, M.A., Feldman, M.W., Bohannan, B.J.M.: Local dispersal promotes biodiversity in a real-life game of rock-paper-scissors. Nature\u00a0418 (2002)","DOI":"10.1038\/nature00823"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Kirkup, B.C., Riley, M.A.: Antibiotic-mediated antagonism leads to a bacterial game of rock-paper-scissors in vivo. Nature\u00a0428 (2004)","DOI":"10.1038\/nature02429"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Maroto, M., Monk, N.A.M.: Cellular Oscillatory Mechanisms. Advances in Experimental Medicine and Biology, vol.\u00a0641. Springer (2009)","DOI":"10.1007\/978-0-387-09794-7"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.ecolmodel.2007.07.001","volume":"209","author":"K. Meyer","year":"2007","unstructured":"Meyer, K., Wiegand, K., Ward, D., Moustakas, A.: Satchmo: A spatial simulation model of growth, competition, and mortality in cycling savanna patches. Ecological Modelling\u00a0209, 377\u2013391 (2007)","journal-title":"Ecological Modelling"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Perko, L.: Differential Equations and Dynamical Systems. Texts in Applied Mathematics. Springer (2000)","DOI":"10.1007\/978-1-4613-0003-8"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"51907","DOI":"10.1103\/PhysRevE.74.051907","volume":"74","author":"T. Reichenbach","year":"2006","unstructured":"Reichenbach, T., Mobilia, M., Frey, E.: Coexistence versus extinction in the stochastic cyclic lotka-volterra model. Phys. Rev. E\u00a074, 051907 (2006)","journal-title":"Phys. Rev. E"},{"key":"8_CR21","unstructured":"Spieler, D.: Model checking of oscillatory and noisy periodic behavior in Markovian population models. Technical report, Saarland University (2009), Master thesis available at http:\/\/mosi.cs.uni-saarland.de\/?page_id=93"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Stewart, W.J.: Introduction to the numerical solution of Markov chains. Princeton University Press (1994)","DOI":"10.1515\/9780691223384"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40196-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T18:11:30Z","timestamp":1646158290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40196-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401954","9783642401961"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40196-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}