{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T21:27:43Z","timestamp":1775078863668,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642038440","type":"print"},{"value":"9783642038457","type":"electronic"}],"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_18","type":"book-chapter","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T02:41:17Z","timestamp":1251254477000},"page":"266-280","source":"Crossref","is-referenced-by-count":29,"title":["A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties"],"prefix":"10.1007","author":[{"given":"Aur\u00e9lien","family":"Naldi","sequence":"first","affiliation":[]},{"given":"Elisabeth","family":"Remy","sequence":"additional","affiliation":[]},{"given":"Denis","family":"Thieffry","sequence":"additional","affiliation":[]},{"given":"Claudine","family":"Chaouiya","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Saez-Rodriguez, J., Simeoni, L., Lindquist, J., Hemenway, R., Bommhardt, U., Arndt, B., Haus, U., Weismantel, R., Gilles, E., Klamt, S., Schraven, B.: A logical model provides insights into t cell receptor signaling. PLoS Comput. Biol.\u00a03(8), e163 (2007)","DOI":"10.1371\/journal.pcbi.0030163"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Franke, R., M\u00fcller, M., Wundrack, N., Gilles, E.D., Klamt, S., K\u00e4hne, T., Naumann, M.: Host-pathogen systems biology: logical modelling of hepatocyte growth factor and helicobacter pylori induced c-met signal transduction. BMC Syst. Biol.\u00a02, 4 (2008)","DOI":"10.1186\/1752-0509-2-4"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Chaouiya, C., Remy, E., Moss\u00e9, B., Thieffry, D.: Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework. LNCIS, vol.\u00a0294, pp. 119\u2013126 (2003)","DOI":"10.1007\/978-3-540-44928-7_17"},{"key":"18_CR4","unstructured":"Naldi, A., Berenguier, D., Faur\u00e9, A., Lopez, F., Thieffry, D., Chaouiya, C.: Logical modelling of regulatory networks with GINsim 2.3. BioSystems (in press)"},{"key":"18_CR5","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. J.\u00a0Theor.\u00a0Biol.\u00a0153, 1\u201323 (1991)","journal-title":"J.\u00a0Theor.\u00a0Biol."},{"issue":"2","key":"18_CR6","first-page":"247","volume":"57","author":"R. Thomas","year":"1995","unstructured":"Thomas, R., Thieffry, D., Kaufman, M.: Dynamical behaviour of biological regulatory networks\u2013i. biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull.\u00a0Math.\u00a0Biol.\u00a057(2), 247\u2013276 (1995)","journal-title":"Bull.\u00a0Math.\u00a0Biol."},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput.\u00a035, 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"18_CR8","first-page":"9","volume":"4","author":"T. Kam","year":"1998","unstructured":"Kam, T., Villa, T., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: Multi-valued decision diagrams: Theory and applications. Int.\u00a0J. Multi.\u00a0Logic\u00a04, 9\u201312 (1998)","journal-title":"Int.\u00a0J. Multi.\u00a0Logic"},{"key":"18_CR9","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":"18_CR10","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1242\/jcs.1986.Supplement_4.20","volume":"4","author":"H. Meinhardt","year":"1986","unstructured":"Meinhardt, H.: Hierarchical inductions of cell states: a model for segmentation in drosophila. J.\u00a0Cell Sci.\u00a0Suppl.\u00a04, 357\u2013381 (1986)","journal-title":"J.\u00a0Cell Sci.\u00a0Suppl."},{"issue":"6792","key":"18_CR11","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1038\/35018085","volume":"406","author":"G. Dassow von","year":"2000","unstructured":"von Dassow, G., Meir, E., Munro, E.M., Odell, G.M.: The segment polarity network is a robust developmental module. Nature\u00a0406(6792), 188\u2013192 (2000)","journal-title":"Nature"},{"issue":"6","key":"18_CR12","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1371\/journal.pbio.0020123","volume":"2","author":"N.T. Ingolia","year":"2004","unstructured":"Ingolia, N.T.: Topology and robustness in the drosophila segment polarity network. PLoS Biol.\u00a02(6), e123 (2004)","journal-title":"PLoS Biol."},{"issue":"1","key":"18_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(03)00035-3","volume":"223","author":"R. Albert","year":"2003","unstructured":"Albert, R., Othmer, H.G.: The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in drosophila melanogaster. J.\u00a0Theor.\u00a0Biol.\u00a0223(1), 1\u201318 (2003)","journal-title":"J.\u00a0Theor.\u00a0Biol."},{"issue":"3","key":"18_CR14","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1016\/j.jtbi.2005.01.023","volume":"235","author":"M. Chaves","year":"2005","unstructured":"Chaves, M., Albert, R., Sontag, E.D.: Robustness and fragility of boolean models for genetic regulatory networks. J.\u00a0Theor.\u00a0Biol.\u00a0235(3), 431\u2013449 (2005)","journal-title":"J.\u00a0Theor.\u00a0Biol."},{"issue":"8","key":"18_CR15","first-page":"1059","volume":"52","author":"L. S\u00e1nchez","year":"2008","unstructured":"S\u00e1nchez, L., Chaouiya, C., Thieffry, D.: Segmenting the fly embryo: logical analysis of the role of the segment polarity cross-regulatory module. Int.\u00a0J.\u00a0Dev.\u00a0Biol.\u00a052(8), 1059\u20131075 (2008)","journal-title":"Int.\u00a0J.\u00a0Dev.\u00a0Biol."},{"issue":"16","key":"18_CR16","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1093\/bioinformatics\/btn266","volume":"24","author":"A. Gonz\u00e1lez","year":"2008","unstructured":"Gonz\u00e1lez, A., Chaouiya, C., Thieffry, D.: Logical modelling of the role of the hh pathway in the patterning of the drosophila wing disc. Bioinformatics\u00a024(16), i234\u2013i240 (2008)","journal-title":"Bioinformatics"},{"issue":"4","key":"18_CR17","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/S0022-5193(03)00201-7","volume":"224","author":"L. S\u00e1nchez","year":"2003","unstructured":"S\u00e1nchez, L., Thieffry, D.: Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. J.\u00a0Theor.\u00a0Biol.\u00a0224(4), 517\u2013537 (2003)","journal-title":"J.\u00a0Theor.\u00a0Biol."},{"issue":"14","key":"18_CR18","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. Bioinformatics\u00a022(14), e124\u2013e131 (2006)","journal-title":"Bioinformatics"},{"issue":"16","key":"18_CR19","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1093\/bioinformatics\/btn287","volume":"24","author":"E. Remy","year":"2008","unstructured":"Remy, E., Ruet, P.: From minimal signed circuits to the dynamics of boolean regulatory networks. Bioinformatics\u00a024(16), i220\u2013i226 (2008)","journal-title":"Bioinformatics"},{"issue":"17","key":"18_CR20","doi-asserted-by":"publisher","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","volume":"24","author":"A. Garg","year":"2008","unstructured":"Garg, A., Di Cara, A., Xenarios, I., Mendoza, L., De Micheli, G.: Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics\u00a024(17), 1917\u20131925 (2008)","journal-title":"Bioinformatics"},{"issue":"16","key":"18_CR21","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/bioinformatics\/btn275","volume":"24","author":"P.T. Monteiro","year":"2008","unstructured":"Monteiro, P.T., Ropers, D., Mateescu, R., Freitas, A.T., de Jong, H.: Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics\u00a024(16), i227\u2013i233 (2008)","journal-title":"Bioinformatics"}],"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_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T01:11:59Z","timestamp":1558487519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03845-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642038440","9783642038457"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03845-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}