{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:50:41Z","timestamp":1742964641292,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234007"},{"type":"electronic","value":"9783319234014"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23401-4_19","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T10:37:23Z","timestamp":1441103843000},"page":"222-238","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic"],"prefix":"10.1007","author":[{"given":"Christopher J.","family":"Banks","sequence":"first","affiliation":[]},{"given":"Daniel D.","family":"Seaton","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Stark","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/msb.2010.92","volume":"6","author":"U Abraham","year":"2010","unstructured":"Abraham, U., Granada, A.E., Westermark, P.O., Heine, M., Kramer, A., Herzel, H.: Coupling governs entrainment range of circadian clocks. Mol. Syst. Biol. 6, 1 (2010)","journal-title":"Mol. Syst. Biol."},{"issue":"20","key":"19_CR2","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. Theor. Comput. Sci. 411(20), 2019\u20132036 (2010)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"19_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2009.02.002","volume":"229","author":"P Ballarini","year":"2009","unstructured":"Ballarini, P., Mardare, R., Mura, I.: Analysing biochemical oscillation through probabilistic model checking. Electron. Notes Theor. Comput. Sci. 229(1), 3\u201319 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.ic.2014.01.009","volume":"236","author":"CJ Banks","year":"2014","unstructured":"Banks, C.J., Stark, I.: A Logic of Behaviour in Context. Inf. Comput. 236, 3\u201318 (2014)","journal-title":"Inf. Comput."},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"L Calzone","year":"2006","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: Machine learning biochemical networks from temporal logic properties. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 68\u201394. Springer, Heidelberg (2006)"},{"issue":"1","key":"19_CR6","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.jtbi.2006.05.013","volume":"244","author":"V Chickarmane","year":"2007","unstructured":"Chickarmane, V., Kholodenko, B.N., Sauro, H.M.: Oscillatory dynamics arising from competitive inhibition and multisite phosphorylation. J. Theor. Biol. 244(1), 68\u201376 (2007)","journal-title":"J. Theor. Biol."},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.4204\/EPTCS.92.6","volume":"92","author":"P Dluho\u0161","year":"2012","unstructured":"Dluho\u0161, P., Brim, L., \u0160afr\u00e1nek, D.: On expressing and monitoring oscillatory dynamics. Electron. Proc. Theor. Comput. Sci. 92, 73\u201387 (2012)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0076-6879(08)03801-9","volume":"454","author":"A Granada","year":"2009","unstructured":"Granada, A., Hennig, R.M., Ronacher, B., Kramer, A., Herzel, H.: Phase response curves elucidating the dynamics of coupled oscillators. Methods Enzymol. 454, 1\u201327 (2009)","journal-title":"Methods Enzymol."},{"issue":"17","key":"19_CR9","doi-asserted-by":"publisher","first-page":"R816","DOI":"10.1016\/j.cub.2008.07.012","volume":"18","author":"CH Johnson","year":"2008","unstructured":"Johnson, C.H., Mori, T., Xu, Y.: A cyanobacterial circadian clockwork. Curr. Biol. 18(17), R816\u2013R825 (2008)","journal-title":"Curr. Biol."},{"issue":"4","key":"19_CR10","doi-asserted-by":"publisher","first-page":"938","DOI":"10.1016\/j.celrep.2012.09.006","volume":"2","author":"CC Jolley","year":"2012","unstructured":"Jolley, C.C., Ode, K.L., Ueda, H.R.: A design principle for a posttranslational biochemical oscillator. Cell Rep. 2(4), 938\u2013950 (2012)","journal-title":"Cell Rep."},{"key":"19_CR11","unstructured":"Kwiatkowski, M.: A formal computational framework for the study of molecular evolution. Ph.D. thesis, University of Edinburgh (2010)"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-88562-7_11","volume-title":"Computational Methods in Systems Biology","author":"M Kwiatkowski","year":"2008","unstructured":"Kwiatkowski, M., Stark, I.: The continuous $$\\pi $$-calculus: a process algebra for biochemical modelling. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 103\u2013122. Springer, Heidelberg (2008)"},{"issue":"11","key":"19_CR13","doi-asserted-by":"publisher","first-page":"2572","DOI":"10.1016\/j.bpj.2011.10.025","volume":"101","author":"P Liu","year":"2011","unstructured":"Liu, P., Kevrekidis, I.G., Shvartsman, S.Y.: Substrate-dependent control of ERK phosphorylation can lead to oscillations. Biophys. J. 101(11), 2572\u20132581 (2011)","journal-title":"Biophys. J."},{"issue":"5720","key":"19_CR14","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1126\/science.1108451","volume":"308","author":"M Nakajima","year":"2005","unstructured":"Nakajima, M., Imai, K., Ito, H., Nishiwaki, T., Murayama, Y., Iwasaki, H., Oyama, T., Kondo, T.: Reconstitution of circadian oscillation of cyanobacterial KaiC phosphorylation in vitro. Science 308(5720), 414\u2013415 (2005)","journal-title":"Science"},{"issue":"7331","key":"19_CR15","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1038\/nature09654","volume":"469","author":"JS O\u2019Neill","year":"2011","unstructured":"O\u2019Neill, J.S., van Ooijen, G., Dixon, L.E., Troein, C., Corellou, F., Bouget, F.-Y., Reddy, A.B., Millar, A.J.: Circadian rhythms persist without transcription in a eukaryote. Nature 469(7331), 554\u2013558 (2011)","journal-title":"Nature"},{"issue":"1","key":"19_CR16","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1186\/1752-0509-5-103","volume":"5","author":"DD Seaton","year":"2011","unstructured":"Seaton, D.D., Krishnan, J.: The coupling of pathways and processes through shared components. BMC Syst. Biol. 5(1), 103 (2011)","journal-title":"BMC Syst. Biol."},{"issue":"18","key":"19_CR17","doi-asserted-by":"publisher","first-page":"7420","DOI":"10.1073\/pnas.0608665104","volume":"104","author":"JS van Zon","year":"2007","unstructured":"van Zon, J.S., Lubensky, D.K., Altena, P.R.H., ten Wolde, P.R.: An allosteric model of circadian KaiC phosphorylation. Proc. Natl. Acad. Sci. U.S.A. 104(18), 7420\u20137425 (2007)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23401-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T18:07:52Z","timestamp":1675274872000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23401-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234007","9783319234014"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23401-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"2 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}