{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:51:51Z","timestamp":1743047511940,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642167492"},{"type":"electronic","value":"9783642167508"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16750-8_1","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T10:26:09Z","timestamp":1289211969000},"page":"1-13","source":"Crossref","is-referenced-by-count":7,"title":["A Formal Model for Gene Regulatory Networks with Time Delays"],"prefix":"10.1007","author":[{"given":"Jean-Paul","family":"Comet","sequence":"first","affiliation":[]},{"given":"Jonathan","family":"Fromentin","sequence":"additional","affiliation":[]},{"given":"Gilles","family":"Bernot","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Roux","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1146\/annurev.genom.2.1.343","volume":"2","author":"T. Ideker","year":"2001","unstructured":"Ideker, T., Galitski, T., Hood, L.: A new approach to decoding life: systems biology. Annual Rev. Genomics Hum. Genet.\u00a02, 343\u2013372 (2001)","journal-title":"Annual Rev. Genomics Hum. Genet."},{"issue":"5594","key":"1_CR2","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1126\/science.1078563","volume":"298","author":"Z. Oltvai","year":"2002","unstructured":"Oltvai, Z., Barab\u00e1si, A.: Systems biology. Life\u2019s complexity pyramid. Science\u00a0298(5594), 763\u2013764 (2002)","journal-title":"Science"},{"issue":"6912","key":"1_CR3","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1038\/nature01254","volume":"420","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Computational systems biology. Nature\u00a0420(6912), 206\u2013210 (2002)","journal-title":"Nature"},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s11693-008-9016-1","volume":"1","author":"F. Conti","year":"2007","unstructured":"Conti, F., Valerio, M., Zbilut, J., Giuliani, A.: Will systems biology offer new holistic paradigms to life sciences? Syst. Synth. Biol.\u00a01(4), 161\u2013165 (2007)","journal-title":"Syst. Synth. Biol."},{"key":"1_CR5","volume-title":"Mathematical Biophysics: Physico-Mathematical Foundations of Biology","author":"N. Rashevsky","year":"1948","unstructured":"Rashevsky, N.: Mathematical Biophysics: Physico-Mathematical Foundations of Biology. University of Chicago Press, Chicago (1948)"},{"key":"1_CR6","first-page":"415","volume":"1","author":"M. Sugita","year":"1961","unstructured":"Sugita, M.: Functional analysis of chemical systems in vivo using a logical circuit equivalent. Journal of Theoretical Biology\u00a01, 415\u2013430 (1961)","journal-title":"Journal of Theoretical Biology"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R. Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalization of genetic control circuits. Journal of Theoretical Biology\u00a042, 563\u2013585 (1973)","journal-title":"Journal of Theoretical Biology"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R. Thomas","year":"1991","unstructured":"Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. Journal of Theoretical Biology\u00a0153, 1\u201323 (1991)","journal-title":"Journal of Theoretical Biology"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1080\/02681118908806072","volume":"4","author":"E. Snoussi","year":"1989","unstructured":"Snoussi, E.: Qualitative dynamics of a piecewise-linear differential equations: a discrete mapping approach. Dynamics and stability of Systems\u00a04, 189\u2013207 (1989)","journal-title":"Dynamics and stability of Systems"},{"issue":"1","key":"1_CR10","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1080\/00207720903144552","volume":"41","author":"E. Farcot","year":"2010","unstructured":"Farcot, E., Gouz\u00e9, J.L.: Limit cycles in piecewise-affine gene network models with multiple interaction loops. International Journal of Systems Science\u00a041(1), 119\u2013130 (2010)","journal-title":"International Journal of Systems Science"},{"key":"1_CR11","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11885191_12","volume-title":"Computational Methods in Systems Biology","author":"H. Siebert","year":"2006","unstructured":"Siebert, H., Bockmayr, A.: Incorporating time delays into the logical analysis of gene regulatory networks. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 169\u2013183. Springer, Heidelberg (2006)"},{"issue":"4","key":"1_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1159\/000110010","volume":"3","author":"J. Ahmad","year":"2007","unstructured":"Ahmad, J., Bernot, G., Comet, J.P., Lime, D., Roux, O.: Hybrid modelling and dynamical analysis of gene regulatory networks with delays. ComPlexUs\u00a03(4), 231\u2013251 (2007)","journal-title":"ComPlexUs"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-75454-1_5","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"G. Batt","year":"2007","unstructured":"Batt, G., Ben Salah, R., Maler, O.: On timed models of gene networks. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 38\u201352. Springer, Heidelberg (2007)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/3-540-60385-9_12","volume-title":"Correct Hardware Design and Verification Methods","author":"O. Maler","year":"1995","unstructured":"Maler, O., Pnueli, A.: Timing analysis of asynchronous circuits using timed automata. In: Camurati, P.E., Eveking, H. (eds.) CHARME 1995. LNCS, vol.\u00a0987, pp. 189\u2013205. Springer, Heidelberg (1995)"},{"key":"1_CR15","unstructured":"Comet, J.P., Bernot, G.: Introducing continuous time in discrete models of gene regulatory networks. In: Proc. of the Nice Spring school on Modelling and simulation of biological processes in the context of genomics. EDP Sciences, pp. 61\u201394 (2010) ISBN: 978-2-7598-0545-7"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Radde, N.: The impact of time-delays on the robustness of biological oscillators and the effect of bifurcations on the inverse problem. Eurasip J. Bioinf. Syst. Biol. (2009)","DOI":"10.1155\/2009\/327503"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/A:1014294120243","volume":"49","author":"J. Guespin-Michel","year":"2001","unstructured":"Guespin-Michel, J., Kaufman, M.: Positive feedback circuits and adaptive regulations in bacteria. Acta. Biotheor.\u00a049, 207\u2013218 (2001)","journal-title":"Acta. Biotheor."},{"issue":"3","key":"1_CR18","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G. Bernot","year":"2004","unstructured":"Bernot, G., Comet, J.P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: Extending Thomas\u2019 asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229(3), 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.bulm.2003.08.010","volume":"66","author":"H. Jong de","year":"2004","unstructured":"de Jong, H., Gouz\u00e9, J.L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol.\u00a066(2), 301\u2013340 (2004)","journal-title":"Bull. Math. Biol."},{"issue":"2B","key":"1_CR20","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1142\/S0219720007002850","volume":"5","author":"D. Mateus","year":"2007","unstructured":"Mateus, D., Gallois, J.P., Comet, J.P., Le Gall, P.: Symbolic modeling of genetic regulatory networks. J. of Bioinformatics and Comput. Biol.\u00a05(2B), 627\u2013640 (2007)","journal-title":"J. of Bioinformatics and Comput. Biol."},{"key":"1_CR21","first-page":"4595","volume-title":"EMBC 2007, 29th IEEE EMBS Annual Intern. Conf.","author":"J. Fromentin","year":"2007","unstructured":"Fromentin, J., Comet, J.P., Le Gall, P., Roux, O.: Analysing gene regulatory networks by both constraint programming and model-checking. In: EMBC 2007, 29th IEEE EMBS Annual Intern. Conf., pp. 4595\u20134598. IEEE Press, Los Alamitos (2007)"},{"key":"1_CR22","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-25974-9_9","volume-title":"Computational Methods in Systems Biology","author":"E. Fanchon","year":"2004","unstructured":"Fanchon, E., Corblin, F., Trilling, L., Hermant, B., Gulino, D.: Modeling the molecular network controlling adhesion between human endothelial cells: Inference and simulation using constraint logic programming. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 104\u2013118. Springer, Heidelberg (2004)"},{"issue":"1-2","key":"1_CR23","doi-asserted-by":"publisher","first-page":"73","DOI":"10.3166\/tsi.26.73-98","volume":"26","author":"F. Corblin","year":"2007","unstructured":"Corblin, F., Fanchon, E., Trilling, L.: Mod\u00e9lisation de r\u00e9seaux biologiques discrets en programmation logique par contraintes. Technique et Science Informatiques\u00a026(1-2), 73\u201398 (2007)","journal-title":"Technique et Science Informatiques"}],"container-title":["Communications in Computer and Information Science","Computational Systems-Biology and Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16750-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T21:37:17Z","timestamp":1558388237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16750-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642167492","9783642167508"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16750-8_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}