{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:29:59Z","timestamp":1761488999398},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336355"},{"type":"electronic","value":"9783642336362"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33636-2_17","type":"book-chapter","created":{"date-parts":[[2012,9,27]],"date-time":"2012-09-27T19:25:48Z","timestamp":1348773948000},"page":"288-306","source":"Crossref","is-referenced-by-count":16,"title":["Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control"],"prefix":"10.1007","author":[{"given":"Aur\u00e9lien","family":"Naldi","sequence":"first","affiliation":[]},{"given":"Pedro T.","family":"Monteiro","sequence":"additional","affiliation":[]},{"given":"Claudine","family":"Chaouiya","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Bilke, S., Sjunnesson, F.: Stability of the Kauffman model. Phys. Rev. E 65(016129) (2001)","DOI":"10.1103\/PhysRevE.65.016129"},{"key":"17_CR2","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, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst.\u00a08, 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"9","key":"17_CR4","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"1","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput Biol.\u00a01(9), 67\u2013103 (2002)","journal-title":"J. Comput Biol."},{"issue":"14","key":"17_CR5","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), 124\u2013131 (2006)","journal-title":"Bioinformatics"},{"key":"17_CR6","unstructured":"Lomuscio, A., Pecheur, C., Raimondi, F.: Automatic verification of knowledge and time with nusmv. In: Veloso, M.M. (ed.) Proc. 20th Intl. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 1384\u20131389. Morgan Kaufmann Publishers Inc. (2007)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-48294-6_22","volume-title":"Static Analysis","author":"M. M\u00fcller-Olm","year":"1999","unstructured":"M\u00fcller-Olm, M., Schmidt, D., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 330\u2013354. Springer, Heidelberg (1999)"},{"key":"17_CR8","series-title":"AISC","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-28839-5_30","volume-title":"6th International Conference on Practical Applications of Computational Biology & Bioinformatics","author":"P.T. Monteiro","year":"2012","unstructured":"Monteiro, P.T., Chaouiya, C.: Efficient Verification for Logical Models of Regulatory Networks. In: Rocha, M.P., Luscombe, N., Fdez-Riverola, F., Rodr\u00edguez, J.M.C. (eds.) 6th International Conference on PACBB. AISC, vol.\u00a0154, pp. 259\u2013267. Springer, Heidelberg (2012)"},{"issue":"2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.biosystems.2009.04.008","volume":"97","author":"A. Naldi","year":"2009","unstructured":"Naldi, A., Berenguier, D., Faur\u00e9, A., Lopez, F., Thieffry, D., Chaouiya, C.: Logical modelling of regulatory networks with GINsim 2.3. Biosystems\u00a097(2), 134\u2013139 (2009)","journal-title":"Biosystems"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Naldi, A., Carneiro, J., Chaouiya, C., Thieffry, D.: Diversity and plasticity of th cell types predicted from regulatory network modelling. PLoS Comput. Biol. 6(9) (2010)","DOI":"10.1371\/journal.pcbi.1000912"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"2207","DOI":"10.1016\/j.tcs.2010.10.021","volume":"412","author":"A. Naldi","year":"2011","unstructured":"Naldi, A., Remy, E., Thieffry, D., Chaouiya, C.: Dynamically consistent reduction of logical regulatory graphs. Theor. Comput. Sci.\u00a0412, 2207\u20132218 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR12","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":"17_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-74128-2_8","volume-title":"Model Checking and Artificial Intelligence","author":"C. Pecheur","year":"2007","unstructured":"Pecheur, C., Raimondi, F.: Symbolic Model Checking of Logics with Actions. In: Edelkamp, S., Lomuscio, A. (eds.) MoChArt IV. LNCS (LNAI), vol.\u00a04428, pp. 113\u2013128. Springer, Heidelberg (2007)"},{"issue":"16","key":"17_CR14","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":"4","key":"17_CR15","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/j.jtbi.2010.07.022","volume":"266","author":"A. Saadatpour","year":"2010","unstructured":"Saadatpour, A., Albert, I., Albert, R.: Attractor analysis of asynchronous boolean models of signal transduction networks. J. Theor. Biol.\u00a0266(4), 641\u2013656 (2010)","journal-title":"J. Theor. Biol."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Saez-Rodriguez, J., Simeoni, L., Lindquist, J., Hemenway, R., Bommhardt, U., Arndt, B., Haus, U.-U., Weismantel, R., Gilles, E., Klamt, S., Schraven, B.: A logical model provides insights into T cell receptor signaling. PLoS Comput. Biol. 3(8), e163 (2007)","DOI":"10.1371\/journal.pcbi.0030163"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Saez-Rodriguez, J., Simeoni, L., Lindquist, J.A., Hemenway, R., Bommhardt, U., Arndt, B., Haus, U.-U., Weismantel, R., Gilles, E.D., Klamt, S., Schraven, B.: A logical model provides insights into T cell receptor signaling. PLoS Comput. Biol. 3(8), e163 (2007)","DOI":"10.1371\/journal.pcbi.0030163"},{"issue":"suppl. 6","key":"17_CR18","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1186\/1471-2105-8-S6-S9","volume":"8","author":"T. Schlitt","year":"2007","unstructured":"Schlitt, T., Brazma, A.: Current approaches to gene regulatory network modelling. BMC Bioinformatics\u00a08(suppl. 6), S9 (2007)","journal-title":"BMC Bioinformatics"},{"issue":"4","key":"17_CR19","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1093\/bib\/bbm028","volume":"8","author":"D. Thieffry","year":"2007","unstructured":"Thieffry, D.: Dynamical roles of biological regulatory circuits. Brief. Bioinform.\u00a08(4), 220\u2013225 (2007)","journal-title":"Brief. Bioinform."},{"key":"17_CR20","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. Theor. Biol.\u00a0153, 1\u201323 (1991)","journal-title":"J. Theor. Biol."}],"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-642-33636-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:22:04Z","timestamp":1558300924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33636-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336355","9783642336362"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33636-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}