{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:02:20Z","timestamp":1725721340657},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642376504"},{"type":"electronic","value":"9783642376511"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-37651-1_2","type":"book-chapter","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T04:10:01Z","timestamp":1365135001000},"page":"19-34","source":"Crossref","is-referenced-by-count":2,"title":["Bio-Logics: Logical Analysis of Bioregulatory Networks"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bockmayr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heike","family":"Siebert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_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":"2_CR2","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE\u00a088, 971\u2013984 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., Page, M., Schneider, D.: Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach. In: 19th International Joint Conference on Artificial Intelligence, IJCAI 2005, Edinburgh, pp. 370\u2013375 (2005)","DOI":"10.1093\/bioinformatics\/bti1048"},{"key":"2_CR4","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."},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biomolecular interaction networks. Theoret. Comput. Sci.\u00a0325(1), 25\u201344 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR6","series-title":"Lecture Notes in Control and Information Sciences","first-page":"830","volume-title":"Positive Systems","author":"C. Chaouiya","year":"2009","unstructured":"Chaouiya, C., Remy, E., Moss\u00e9, B., Thieffry, D.: Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework. In: Bru, R., Romero-Viv\u00f3, S. (eds.) POSTA 2009. Lecture Notes in Control and Information Sciences, vol.\u00a0389, pp. 830\u2013832. Springer, Heidelberg (2009)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1093\/bioinformatics\/btl210","volume":"22","author":"A. Faur\u00e9","year":"2006","unstructured":"Faur\u00e9, A., Naldi, A., Chaouiya, C., Thieffry, D.: Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinform.\u00a022, 124\u2013131 (2006)","journal-title":"Bioinform."},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"1569","DOI":"10.1039\/b907562n","volume":"5","author":"A. Faur\u00e9","year":"2009","unstructured":"Faur\u00e9, A., Thieffry, D.: Logical modelling of cell cycle control in eukaryotes: a comparative study. Mol. BioSyst.\u00a05, 1569\u20131581 (2009)","journal-title":"Mol. BioSyst."},{"key":"2_CR9","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":"2_CR10","doi-asserted-by":"crossref","unstructured":"Kauffman, S.: The Origins of Order. Oxford University Press (1993)","DOI":"10.1093\/oso\/9780195079517.001.0001"},{"key":"2_CR11","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."},{"issue":"7","key":"2_CR12","doi-asserted-by":"publisher","first-page":"3894","DOI":"10.1073\/pnas.96.7.3894","volume":"96","author":"M. Kaufman","year":"1999","unstructured":"Kaufman, M., Andris, F., Leo, O.: A logical analysis of T cell activation and anergy. PNAS\u00a096(7), 3894\u20133899 (1999)","journal-title":"PNAS"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Systems biology: A brief overview. Science\u00a0295, 1662\u20131664 (2002)","journal-title":"Science"},{"key":"2_CR14","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-75140-3_16","volume-title":"Computational Methods in Systems Biology","author":"A. Naldi","year":"2007","unstructured":"Naldi, A., Thieffry, D., Chaouiya, C.: Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 233\u2013247. Springer, Heidelberg (2007)"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1093\/bioinformatics\/btg1075","volume":"19","author":"\u00c9. Remy","year":"2003","unstructured":"Remy, \u00c9., Moss\u00e9, B., Chaouiya, C., Thieffry, D.: A description of dynamical graphs associated to elementary regulatory circuits. Bioinform.\u00a019, 172\u2013178 (2003)","journal-title":"Bioinform."},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1093\/bioinformatics\/btn287","volume":"24","author":"E. Remy","year":"2008","unstructured":"Remy, E., Ruet, P.: Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. Bioinform.\u00a024, 220\u2013226 (2008)","journal-title":"Bioinform."},{"key":"2_CR17","unstructured":"Richard, A.: Mod\u00e8le formel pour les r\u00e9seaux de r\u00e9gulation g\u00e9n\u00e9tique et influence des circuits de r\u00e9troaction. PhD thesis, Univ. d\u2019Evry, France (2006)"},{"issue":"4","key":"2_CR18","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1016\/j.aam.2009.11.011","volume":"44","author":"A. Richard","year":"2010","unstructured":"Richard, A.: Negative circuits and sustained oscillations in asynchronous automata networks. Advances in Applied Mathematics\u00a044(4), 378\u2013392 (2010)","journal-title":"Advances in Applied Mathematics"},{"issue":"18","key":"2_CR19","doi-asserted-by":"publisher","first-page":"2403","DOI":"10.1016\/j.dam.2007.04.019","volume":"155","author":"A. Richard","year":"2007","unstructured":"Richard, A., Comet, J.-P.: Necessary conditions for multistationarity in discrete dynamical systems. Discrete Appl. Math.\u00a0155(18), 2403\u20132413 (2007)","journal-title":"Discrete Appl. Math."},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"873","DOI":"10.1007\/s11538-010-9609-1","volume":"73","author":"H. Siebert","year":"2011","unstructured":"Siebert, H.: Analysis of discrete bioregulatory networks using symbolic steady states. Bull. Math. Biol.\u00a073, 873\u2013898 (2011)","journal-title":"Bull. Math. Biol."},{"key":"2_CR21","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":"2_CR22","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-75140-3_5","volume-title":"Computational Methods in Systems Biology","author":"H. Siebert","year":"2007","unstructured":"Siebert, H., Bockmayr, A.: Context Sensitivity in Logical Modeling with Time Delays. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-73433-8_4","volume-title":"Algebraic Biology","author":"H. Siebert","year":"2007","unstructured":"Siebert, H., Bockmayr, A.: Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) Ab 2007. LNCS, vol.\u00a04545, pp. 36\u201350. Springer, Heidelberg (2007)"},{"issue":"3","key":"2_CR24","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.tcs.2007.11.010","volume":"391","author":"H. Siebert","year":"2008","unstructured":"Siebert, H., Bockmayr, A.: Temporal constraints in the logical analysis of regulatory networks. Theor. Comput. Sci.\u00a0391(3), 258\u2013275 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.crvi.2005.10.002","volume":"329","author":"C. Soul\u00e9","year":"2006","unstructured":"Soul\u00e9, C.: Mathematical approaches to gene regulation and differentiation. C.R. Paris Biolgies\u00a0329, 13\u201320 (2006)","journal-title":"C.R. Paris Biolgies"},{"key":"2_CR26","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":"2_CR27","doi-asserted-by":"crossref","unstructured":"Szallasi, Z., Stelling, J., Periwal, V.: System modeling in cellular biology. MIT Press (2006)","DOI":"10.7551\/mitpress\/9780262195485.001.0001"},{"key":"2_CR28","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":"2_CR29","doi-asserted-by":"crossref","unstructured":"Thomas, R.: Kinetic logic: a boolean approach to the analysis of complex regulatory systems. Lecture Notes in Biomathematics, vol.\u00a029. Springer (1979)","DOI":"10.1007\/978-3-642-49321-8"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Thomas, R.: On the relation between the logical structure of systems and their abilities to generate multiple steady states and sustained oscillations. In: Series in Synergetics, vol.\u00a09, pp. 180\u2013193. Springer (1981)","DOI":"10.1007\/978-3-642-81703-8_24"},{"key":"2_CR31","unstructured":"Thomas, R., d\u2019Ari, R.: Biological Feedback. CRC Press (1990)"},{"key":"2_CR32","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","Programming Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37651-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T10:36:41Z","timestamp":1715164601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37651-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642376504","9783642376511"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37651-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}