{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:29:33Z","timestamp":1743128973785,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"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_18","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T10:37:23Z","timestamp":1441103843000},"page":"208-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis"],"prefix":"10.1007","author":[{"given":"Pauline","family":"Traynard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"issue":"9","key":"18_CR1","doi-asserted-by":"publisher","first-page":"e1002143","DOI":"10.1371\/journal.pcbi.1002143","volume":"7","author":"A Ballesta","year":"2011","unstructured":"Ballesta, A., Dulong, S., Abbara, C., Cohen, B., Okyar, A., Clairambault, J., Levi, F.: A combined experimental and mathematical approach for molecular-based optimization of irinotecan circadian delivery. PLOS Comput. Biol. 7(9), e1002143 (2011)","journal-title":"PLOS Comput. Biol."},{"issue":"5644","key":"18_CR2","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1126\/science.1086593","volume":"302","author":"JW Barnes","year":"2003","unstructured":"Barnes, J.W., Tischkau, S.A., Barnes, J.A., Mitchell, J.W., Burgoon, P.W., Hickok, J.R., Gillette, M.U.: Requirement of mammalian timeless for circadian rhythmicity. Science 302(5644), 439\u2013442 (2003)","journal-title":"Science"},{"issue":"7","key":"18_CR3","doi-asserted-by":"publisher","first-page":"739","DOI":"10.15252\/msb.20145218","volume":"10","author":"J Bieler","year":"2014","unstructured":"Bieler, J., Cannavo, R., Gustafson, K., Gobet, C., Gatfield, D., Naef, F.: Robust synchronization of coupled circadian and cell cycle oscillators in single mammalian cells. Mol. Syst. Biol. 10(7), 739 (2014)","journal-title":"Mol. Syst. Biol."},{"key":"18_CR4","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":"14","key":"18_CR5","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 22(14), 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"unstructured":"Calzone, L., Soliman, S.: Coupling the cell cycle and the circadian cycle. Research Report 5835, INRIA, February 2006","key":"18_CR6"},{"issue":"21","key":"18_CR7","doi-asserted-by":"publisher","first-page":"2108","DOI":"10.1016\/j.tcs.2010.10.036","volume":"412","author":"E De Maria","year":"2011","unstructured":"De Maria, E., Fages, F., Rizk, A., Soliman, S.: Design, optimization, and predictions of a coupled model of the cell cycle, circadian clock, dna repair system, irinotecan metabolism and exposure control under temporal logic constraints. Theor. Comput. Sci. 412(21), 2108\u20132127 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1016\/j.cell.2004.11.015","volume":"119","author":"N Emi","year":"2004","unstructured":"Emi, N., Camille, S., Christoph, B., Thierry, L., Felix, N., Schibler, U.: Circadian gene expression in individual fibroblasts: cell-autonomous and self-sustained oscillators pass time to daughter cells. Cell 119, 693\u2013705 (2004)","journal-title":"Cell"},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.tcs.2008.07.004","volume":"408","author":"F Fages","year":"2008","unstructured":"Fages, F., Rizk, A.: On temporal logic constraint solving for the analysis of numerical data time series. Theor. Comput. Sci. 408(1), 55\u201365 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1002\/9781119005223.ch8","volume-title":"Logical Modeling of Biological Systems, Chapter 8","author":"F Fages","year":"2014","unstructured":"Fages, F., Traynard, P.: Temporal logic modeling of dynamical behaviors: first-order patterns and solvers. In: del Cerro, L.F., Inoue, K. (eds.) Logical Modeling of Biological Systems, Chapter 8, pp. 291\u2013323. Wiley, New York (2014)"},{"issue":"27","key":"18_CR11","doi-asserted-by":"publisher","first-page":"9833","DOI":"10.1073\/pnas.1320474111","volume":"111","author":"C Feillet","year":"2014","unstructured":"Feillet, C., Krusche, P., Tamanini, F., Janssens, R.C., Downey, M.J., Martin, P., Teboul, M., Saito, S., L\u00e9vi, F.A., Bretschneider, T., van der Horst, G.T.J., Delaunay, F., Rand, D.A.: Phase locking and multiple oscillating attractors for the coupled mammalian clock and cell cycle. Proc. Nat. Acad. Sci. U.S.A 111(27), 9833\u20139928 (2014)","journal-title":"Proc. Nat. Acad. Sci. U.S.A"},{"issue":"21","key":"18_CR12","doi-asserted-by":"publisher","first-page":"e1002516","DOI":"10.1371\/journal.pcbi.1002516","volume":"8","author":"C G\u00e9rard","year":"2012","unstructured":"G\u00e9rard, C., Goldbeter, A.: Entrainment of the mammalian cell cycle by the circadian clock: modeling two coupled cellular rhythms. PLoS Comput. Biol. 8(21), e1002516 (2012)","journal-title":"PLoS Comput. Biol."},{"issue":"6825","key":"18_CR13","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1038\/35065745","volume":"410","author":"L Glass","year":"2001","unstructured":"Glass, L.: Synchronization and rhythmic processes in physiology. Nature 410(6825), 277\u2013284 (2001)","journal-title":"Nature"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"4535","DOI":"10.1074\/jbc.M705576200","volume":"283","author":"A Gr\u00e9chez-Cassiau","year":"2008","unstructured":"Gr\u00e9chez-Cassiau, A., Rayet, B., Guillaumond, F., Teboul, M., Delaunay, F.: The circadian clock component bmal1 is a critical regulator of p21WAF1\/CIP1 expression and hepatocyte proliferation. J. Biol. Chem. 283, 4535\u20134542 (2008)","journal-title":"J. Biol. Chem."},{"issue":"3","key":"18_CR15","doi-asserted-by":"publisher","first-page":"e1000019","DOI":"10.1371\/journal.pcbi.1000019","volume":"4","author":"B Kang","year":"2008","unstructured":"Kang, B., Li, Y.-Y., Chang, X., Liu, L., Li, Y.-X.: Modeling the effects of cell cycle m-phase transcriptional inhibition on circadian oscillation. PLoS Comput. Biol. 4(3), e1000019 (2008)","journal-title":"PLoS Comput. Biol."},{"issue":"5643","key":"18_CR16","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1126\/science.1086271","volume":"302","author":"T Matsuo","year":"2003","unstructured":"Matsuo, T., Yamaguchi, S., Mitsui, S., Emi, A., Shimoda, F., Okamura, H.: Control mechanism of the circadian clock for timing of cell division in vivo. Science 302(5643), 255\u2013259 (2003)","journal-title":"Science"},{"issue":"20","key":"18_CR17","doi-asserted-by":"publisher","first-page":"2373","DOI":"10.1038\/sj.onc.1201197","volume":"14","author":"I Perez-Roger","year":"1997","unstructured":"Perez-Roger, I.: Myc activation of cyclin e\/cdk2 kinase involves induction of cyclin e gene transcription and inhibition of p27(kip1) binding to newly formed complexes. Oncogene 14(20), 2373\u201381 (1997)","journal-title":"Oncogene"},{"issue":"6","key":"18_CR18","doi-asserted-by":"publisher","first-page":"3600","DOI":"10.1016\/S0006-3495(03)74778-X","volume":"85","author":"Z Qu","year":"2003","unstructured":"Qu, Z., MacLellan, W.R., Weiss, J.N.: Dynamics of the cell cycle: checkpoints, sizers, and timers. Biophys. J. 85(6), 3600\u20133611 (2003)","journal-title":"Biophys. J."},{"issue":"12","key":"18_CR19","doi-asserted-by":"publisher","first-page":"e1002309","DOI":"10.1371\/journal.pcbi.1002309","volume":"7","author":"A Rel\u00f3gio","year":"2011","unstructured":"Rel\u00f3gio, A., Westermark, P.O., Wallach, T., Schellenberg, K., Kramer, A., Herzel, H.: Tuning the mammalian circadian clock: robust synergy of two loops. PLoS Comput. Biol. 7(12), e1002309 (2011)","journal-title":"PLoS Comput. Biol."},{"issue":"25","key":"18_CR20","first-page":"il69","volume":"12","author":"A Rizk","year":"2009","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 12(25), il69\u2013il78 (2009)","journal-title":"Bioinformatics"},{"issue":"26","key":"18_CR21","doi-asserted-by":"publisher","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","volume":"412","author":"A Rizk","year":"2011","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412(26), 2827\u20132839 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-319-12982-2_9","volume-title":"Computational Methods in Systems Biology","author":"P Traynard","year":"2014","unstructured":"Traynard, P., Fages, F., Soliman, S.: Trace simplifications preserving temporal logic formulae with case study in a coupled model of the cell cycle and the circadian clock. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 114\u2013128. Springer, Heidelberg (2014)"},{"issue":"8","key":"18_CR23","doi-asserted-by":"publisher","first-page":"3109","DOI":"10.1128\/MCB.25.8.3109-3116.2005","volume":"25","author":"K \u00dcnsal-Ka\u00e7maz","year":"2005","unstructured":"\u00dcnsal-Ka\u00e7maz, K., Mullen, T.E., Kaufmann, W.K., Sancar, A.: Coupling of human circadian and cell cycles by the timeless protein. Mol. Cell. Biol. 25(8), 3109\u20133116 (2005)","journal-title":"Mol. Cell. Biol."},{"key":"18_CR24","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1083\/jcb.129.3.561","volume":"129","author":"D Weisenberger","year":"1995","unstructured":"Weisenberger, D., Scheer, U.: A possible mechanism for the inhibition of ribosomal rna gene transcription during mitosis. J. Cell Biol. 129, 561\u2013575 (1995)","journal-title":"J. Cell Biol."}],"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_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:15:58Z","timestamp":1718054158000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23401-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234007","9783319234014"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23401-4_18","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"}}]}}