{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T21:40:19Z","timestamp":1739310019143,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642038440"},{"type":"electronic","value":"9783642038457"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03845-7_10","type":"book-chapter","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T06:41:17Z","timestamp":1251268877000},"page":"142-157","source":"Crossref","is-referenced-by-count":7,"title":["On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle"],"prefix":"10.1007","author":[{"given":"Elisabetta","family":"De Maria","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Alberts, B., Alexander, J., Julian, L., Martin, R., Keith, R.: In: Garland (ed.) Molecular biology of the cell (2008)"},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1385\/CBB:38:3:271","volume":"38","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model building and model checking for biochemical processes. Cell Biochem. Biophys.\u00a038(3), 271\u2013286 (2003)","journal-title":"Cell Biochem. Biophys."},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TAC.2007.911330","volume":"53","author":"G. Batt","year":"2008","unstructured":"Batt, G., Belta, C., Weiss, R.: Temporal Logic Analysis of Gene Networks under Parameter Uncertainty. IEEE Transactions of Automatic Control\u00a053, 215\u2013229 (2008)","journal-title":"IEEE Transactions of Automatic Control"},{"issue":"17","key":"10_CR4","doi-asserted-by":"publisher","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","volume":"20","author":"M.L. Blinov","year":"2004","unstructured":"Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics\u00a020(17), 3289\u20133291 (2004)","journal-title":"Bioinformatics"},{"key":"10_CR5","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M. Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of signalling pathways using the continuous time Markov chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 44\u201367. Springer, Heidelberg (2006)"},{"key":"10_CR6","series-title":"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.\u00a04220, pp. 68\u201394. Springer, Heidelberg (2006); CMSB 2005 Special Issue"},{"key":"10_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, 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier","year":"2003","unstructured":"Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1137\/060653925","volume":"6","author":"V. Chickermane","year":"2007","unstructured":"Chickermane, V., Ray, A., Sauro, H.M., Nadim, A.: A model for p53 Dynamics Triggered by DNA damage. Siam Journal on Applied Dynamical Systems\u00a06(1), 61\u201378 (2007)","journal-title":"Siam Journal on Applied Dynamical Systems"},{"issue":"3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"488","DOI":"10.4161\/cc.4.3.1548","volume":"4","author":"A. Ciliberto","year":"2005","unstructured":"Ciliberto, A., Novak, B., Tyson, J.J.: Steady States on Oscillations in the p53\/Mdm2 Network. Cell Cycle\u00a04(3), 488\u2013493 (2005)","journal-title":"Cell Cycle"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An openSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 359. Springer, Heidelberg (2002)"},{"key":"10_CR12","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-88562-7_18","volume-title":"Computational Methods in Systems Biology","author":"E.M. Clarke","year":"2008","unstructured":"Clarke, E.M., Faeder, J.R., Langmead, C.J., Harris, L., Jha, S.K., Legay, A.: Statistical Model Checking in Biolab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 231\u2013250. Springer, Heidelberg (2008)"},{"key":"10_CR13","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"10_CR14","unstructured":"Dimitrio, L.: Irinotecan: Modelling intracellular pharmacokinetics and pharmacodynamics. M2 master thesis (in French, English summary), University Pierre-et-Marie-Curie and INRIA internal report (June 2007)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., S\u00f6nmez, M.K.: Pathway logic: Symbolic analysis of biological signaling. In: Proc. of the seventh Pacific Symposium on Biocomputing, pp. 400\u2013412 (2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"10_CR16","first-page":"995","volume-title":"The Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) The Handbook of Theoretical Computer Science, vol.\u00a0B (ch. 16), pp. 995\u20131072. Elsevier Science Publisher, Amsterdam (1990)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11680093_1","volume-title":"Logic Based Program Synthesis and Transformation","author":"F. Fages","year":"2006","unstructured":"Fages, F.: Temporal logic constraints in the biochemical abstract machine biocham (invited talk). In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol.\u00a03901, pp. 1\u20135. Springer, Heidelberg (2006)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"CP 2009: Proc. of the fifteenth International Conference on Principles and Practice of Constraint Programming","author":"F. Fages","year":"2009","unstructured":"Fages, F., Rizk, A.: From Model-Checking to Temporal Logic Constraint Solving. In: CP 2009: Proc. of the fifteenth International Conference on Principles and Practice of Constraint Programming. LNCS. Springer, Heidelberg (to appear, 2009)"},{"issue":"2","key":"10_CR19","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04(2), 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Geva-Zatorsky, N., Rosenfeld, N., Itzkovitz, S., Milo, R., Sigal, A., Dekel, E., Yarnitzky, T., Liton, Y., Polak, P., Lahav, G., Alon, U.: Oscillations and variability in the p53 system. Molecular System Biology, 2006.0033 (2006)","DOI":"10.1038\/msb4100068"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. Journal of Physical Chemistry\u00a0104, 1876\u20131889 (2000)","journal-title":"Journal of Physical Chemistry"},{"key":"10_CR22","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":"10_CR23","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"},{"key":"10_CR24","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing\u00a06, 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"10_CR25","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11885191_3","volume-title":"Computational Methods in Systems Biology","author":"J.K. Heath","year":"2006","unstructured":"Heath, J.K., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 32\u201347. Springer, Heidelberg (2006)"},{"key":"10_CR26","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, 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"10_CR27","first-page":"322","volume-title":"First International Conference on Quantitative Evaluation of Systems (QEST 2004)","author":"M.Z. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Prism 2.0: A tool for probabilistic model checking. In: First International Conference on Quantitative Evaluation of Systems (QEST 2004), pp. 322\u2013323. IEEE Computer Society, Los Alamitos (2004)"},{"key":"10_CR28","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\u00a0302, 255\u2013259 (2003)","journal-title":"Science"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1002\/(SICI)1097-0215(19970117)70:2<241::AID-IJC16>3.0.CO;2-L","volume":"70","author":"M.C. Mormont","year":"1997","unstructured":"Mormont, M.C., Levi, F.: Circadian system alterations during cancer processes. International Journal of Cancer\u00a070, 241\u2013247 (1997)","journal-title":"International Journal of Cancer"},{"key":"10_CR30","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1016\/j.jtbi.2004.04.039","volume":"230","author":"B. Nov\u00e1k","year":"2004","unstructured":"Nov\u00e1k, B., Tyson, J.J.: A model for restriction point control of the mammalian cell cycle. Journal of Theoretical Biology\u00a0230, 563\u2013579 (2004)","journal-title":"Journal of Theoretical Biology"},{"issue":"3","key":"10_CR31","doi-asserted-by":"crossref","first-page":"1383","DOI":"10.1016\/S0022-3565(24)37141-1","volume":"283","author":"S. Ohdo","year":"1997","unstructured":"Ohdo, S., Makinosumi, T., Ishizaki, T., Yukawa, E., Higuchi, S., Nakano, S., Ogawa, N.: Cell Cycle-Dependent Chronotoxicity of Irinotecan Hydrochloride in Mice. Journal of Pharmacology and Experimental Terapeutics\u00a0283(3), 1383\u20131388 (1997)","journal-title":"Journal of Pharmacology and Experimental Terapeutics"},{"key":"10_CR32","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Proc. of Concurrent Models in Molecular Biology (Bioconcur 2004), affiliated with CONCUR 2004 (2004)"},{"key":"10_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11513988_3","volume-title":"Computer Aided Verification","author":"C. Piazza","year":"2005","unstructured":"Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., Winkler, F., Mishra, B.: Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 5\u201319. Springer, Heidelberg (2005)"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Pommier, Y.: Camptothecins and Topoisomerase I: A Foot in the Door. Targeting the genome beyond Topoisomerase I with camptothecins and Novel Anticancer drugs: importance of DNA Replication, Repair and Cell Cycle Checkpoints. Preprint NIH, NCI (2004), http:\/\/discover.nci.nih.gov\/pommier\/Pommier.Top1.pdf","DOI":"10.2174\/1568011043352777"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.Y.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proc. of the sixth Pacific Symposium of Biocomputing, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. BioInformatics (July 2009) (to appear)","DOI":"10.1093\/bioinformatics\/btp200"},{"key":"10_CR37","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-88562-7_19","volume-title":"Computational Methods in Systems Biology","author":"A. Rizk","year":"2008","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 251\u2013268. Springer, Heidelberg (2008)"},{"key":"10_CR38","first-page":"1668","volume":"62","author":"Y. Zhou","year":"2002","unstructured":"Zhou, Y., Gwadry, F.G., Reinhold, W.C., Miller, L.D., Smith, L.H., Scherf, U., Liu, E.T., kohn, K.W., Pommier, Y., Weinstein, J.N.: Transcriptional Regulation of Mitotic Genes by Camptothecin-induced DNA Damage: Microarray Analysis of Doseand Time-dependent Effects. Cancer Research\u00a062, 1668\u20131695 (2002)","journal-title":"Cancer Research"},{"key":"10_CR39","volume-title":"Handbook of Differential Equations","author":"D. Zwillinger","year":"1997","unstructured":"Zwillinger, D.: Handbook of Differential Equations, 3rd edn. Academic Press, Boston (1997)","edition":"3"}],"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-03845-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T21:25:47Z","timestamp":1739309147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03845-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642038440","9783642038457"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03845-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}