{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:57:17Z","timestamp":1725490637653},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751397"},{"type":"electronic","value":"9783540751403"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75140-3_5","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:03:10Z","timestamp":1188536590000},"page":"64-79","source":"Crossref","is-referenced-by-count":2,"title":["Context Sensitivity in Logical Modeling with Time Delays"],"prefix":"10.1007","author":[{"given":"Heike","family":"Siebert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Bockmayr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed Automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"key":"5_CR2","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. J. Theor. Biol.\u00a0229, 339\u2013347 (2004)","journal-title":"J. Theor. Biol."},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L. Glass","year":"1973","unstructured":"Glass, L., Kauffman, S.A.: The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol.\u00a039, 103\u2013129 (1973)","journal-title":"J. Theor. Biol."},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S.A. Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol.\u00a022, 437\u2013467 (1969)","journal-title":"J. Theor. Biol."},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1146\/annurev.genet.39.073003.113656","volume":"39","author":"A. Oppenheim","year":"2005","unstructured":"Oppenheim, A., Kobiler, O., Stavans, J., Court, D., Adhya, S.: Switches in bacteriophage lambda development. Annu. Rev. Genet.\u00a039, 409\u2013429 (2005)","journal-title":"Annu. Rev. Genet."},{"key":"5_CR6","unstructured":"Remy, \u00c9., Ruet, P., Thieffry, D.: Graphic requirements for multistability and attractive cycles in a boolean dynamical framework. Pr\u00e9publication (2005)"},{"key":"5_CR7","unstructured":"Richard, A., Comet, J.-P.: Necessary conditions for multistationarity in discrete dynamical systems. Rapport de Recherche 123 (2005)"},{"key":"5_CR8","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)"},{"key":"5_CR9","unstructured":"Siebert, H., Bockmayr, A.: Temporal constraints in the logical analysis of regulatory networks. Matheon Preprint 385 (2007)"},{"key":"5_CR10","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. J. Theor. Biol.\u00a01, 415\u2013430 (1961)","journal-title":"J. Theor. Biol."},{"key":"5_CR11","first-page":"277","volume":"57","author":"D. Thieffry","year":"1995","unstructured":"Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks - II Immunity control in bacteriophage lambda. Bull. Math. Biol.\u00a057, 277\u2013297 (1995)","journal-title":"Bull. Math. Biol."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R. Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalisation of genetic control circuits. J. Theor. Biol.\u00a042, 565\u2013583 (1973)","journal-title":"J. Theor. Biol."},{"key":"5_CR13","volume-title":"Biological Feedback","author":"R. Thomas","year":"1990","unstructured":"Thomas, R., d\u2019Ari, R.: Biological Feedback. CRC Press, Boca Raton, USA (1990)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1063\/1.1349893","volume":"11","author":"R. Thomas","year":"2001","unstructured":"Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos\u00a011, 180\u2013195 (2001)","journal-title":"Chaos"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75140-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:52:30Z","timestamp":1619520750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75140-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751397","9783540751403"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75140-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}