{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:59:04Z","timestamp":1742943544080,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9781071639887"},{"type":"electronic","value":"9781071639894"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-1-0716-3989-4_6","type":"book-chapter","created":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T08:02:38Z","timestamp":1715846558000},"page":"86-98","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Integer Programming Framework for\u00a0Identifying Stable Components in\u00a0Asynchronous Boolean Networks"],"prefix":"10.1007","author":[{"given":"Shani","family":"Jacobson","sequence":"first","affiliation":[]},{"given":"Roded","family":"Sharan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,5,17]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abdallah, E.B., Folschette, M., Roux1, O., Magnin, M.: ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. Algorithms Mol. Biol. 12, 20\u201323 (2017)","DOI":"10.1186\/s13015-017-0111-2"},{"issue":"1","key":"6_CR2","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. Theor. Biol. 223(1), 1\u201318 (2003)","journal-title":"J. Theor. Biol."},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"1195","DOI":"10.1038\/ncb1497","volume":"8","author":"BB Aldridge","year":"2006","unstructured":"Aldridge, B.B., Burke, J.M., Lauffenburger, D.A., Sorger, P.K.: Physicochemical modelling of cell signalling pathways. Nat. Cell Biol. 8, 1195\u20131203 (2006)","journal-title":"Nat. Cell Biol."},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1089\/cmb.2019.0290","volume":"27","author":"A Bruner","year":"2019","unstructured":"Bruner, A., Sharan, R.: A robustness analysis of dynamic Boolean models of cellular circuits. J. Comput. Biol. 27, 133\u2013143 (2019)","journal-title":"J. Comput. Biol."},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","volume":"8","author":"E Dubrova","year":"2011","unstructured":"Dubrova, E., Teslenko, M.: A sat-based algorithm for finding attractors in synchronous Boolean networks. IEEE\/ACM Trans. Comput. Biol. Bioinform. 8, 1393\u20131399 (2011)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"issue":"11","key":"6_CR6","doi-asserted-by":"publisher","first-page":"2923","DOI":"10.1105\/tpc.104.021725","volume":"16","author":"C Espinosa-Soto","year":"2004","unstructured":"Espinosa-Soto, C., Padilla-Longoria, P., Alvarez-Buylla, E.R.: A gene regulatory network model for cell-fate determination during Arabidopsis thaliana flower development that is robust and recovers experimental gene expression profiles. Plant Cell 16(11), 2923\u20132939 (2004)","journal-title":"Plant Cell"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"e124","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 22, e124\u2013e131 (2006)","journal-title":"Bioinformatics"},{"key":"6_CR8","unstructured":"Gurobi Optimization, LLC: Gurobi optimizer reference manual (2023). https:\/\/www.gurobi.com"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1186\/1752-0509-6-96","volume":"6","author":"T Helikar","year":"2012","unstructured":"Helikar, T., et al.: The cell collective: toward an open and collaborative approach to systems biology. BMC Syst. Biol. 6, 96 (2012)","journal-title":"BMC Syst. Biol."},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1006\/excr.2000.5044","volume":"26","author":"S Huang","year":"2000","unstructured":"Huang, S., Ingber, D.E.: Shape-dependent control of cell growth, differentiation, and apoptosis: switching between attractors in cell regulatory networks. Exp. Cell Res. 26(1), 91\u2013103 (2000)","journal-title":"Exp. Cell Res."},{"issue":"2","key":"6_CR11","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/TCBB.2007.70254","volume":"5","author":"H de Jong","year":"2008","unstructured":"de Jong, H., Page, M.: Search for steady states of piecewise-linear differential equation models of genetic regulatory networks. IEEE\/ACM Trans. Comput. Biol. Bioinform. 5(2), 208\u2013222 (2008)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S Kauffman","year":"1969","unstructured":"Kauffman, S.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22, 437\u2013467 (1969)","journal-title":"J. Theor. Biol."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Kauffman, S.: The Origins of Order: Self-Organization and Selection in Evolution. Spin Glasses and Biology, pp. 61\u2013100. World Scientific (1992)","DOI":"10.1142\/9789814415743_0003"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/s11047-015-9520-7","volume":"14","author":"H Klarner","year":"2015","unstructured":"Klarner, H., Bockmayr, A., Siebert, H.: Computing maximal and minimal trap spaces of Boolean networks. Nat. Comput. 14, 535\u2013544 (2015)","journal-title":"Nat. Comput."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Klarner, H., Siebert, H.: Approximating attractors of Boolean networks by iterative CTL model checking. Front. Bioeng. Biotechnol. 3, #130 (2015)","DOI":"10.3389\/fbioe.2015.00130"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1093\/bioinformatics\/btw682","volume":"33","author":"H Klarner","year":"2017","unstructured":"Klarner, H., Streck, A., Siebert, H.: PyBoolNet: a Python package for the generation, analysis and visualization of Boolean networks. Bioinformatics 33, 770\u2013772 (2017)","journal-title":"Bioinformatics"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/TCBB.2018.2850901","volume":"16","author":"A Mizera","year":"2018","unstructured":"Mizera, A., Pang, J., Qu, H., Yuan, Q.: Taming asynchrony for attractor detection in large Boolean networks. IEEE\/ACM Trans. Comput. Biol. Bioinf. 16, 31\u201342 (2018)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"key":"6_CR18","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. 412, 2207\u20132218 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR19","unstructured":"O\u2019Donnell, R.: Analysis of Boolean Functions, pp. 113\u2013141. Cambridge University Press (2014)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Rozum, J., Za\u00f1udo, J., Gan, X., Deritei, D., Albert, R.: Parity and time reversal elucidate both decision-making in empirical models and attractor scaling in critical Boolean networks. Sci. Adv. 7, eabf8124 (2021)","DOI":"10.1126\/sciadv.abf8124"},{"key":"6_CR21","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. 266, 641\u2013656 (2010)","journal-title":"J. Theor. Biol."},{"key":"6_CR22","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.0030163","volume":"3","author":"J Saez-Rodriguez","year":"2007","unstructured":"Saez-Rodriguez, J., et al.: A logical model provides insights into t cell receptor signaling. PLoS Comput. Biol. 3, e163 (2007)","journal-title":"PLoS Comput. Biol."},{"issue":"11","key":"6_CR23","doi-asserted-by":"publisher","first-page":"948","DOI":"10.1038\/embor.2013.161","volume":"14","author":"R Sharan","year":"2013","unstructured":"Sharan, R.: Toward a role model. EMBO Rep. 14(11), 948 (2013)","journal-title":"EMBO Rep."},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1142\/S0219525911003098","volume":"14","author":"T Skodawessely","year":"2011","unstructured":"Skodawessely, T., Klemm, K.: Finding attractors in asynchronous Boolean dynamic. Adv. Complex Syst. 14, 439\u2013449 (2011)","journal-title":"Adv. Complex Syst."},{"key":"6_CR25","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. J. Theor. Biol. 42, 563\u2013585 (1973)","journal-title":"J. Theor. Biol."},{"issue":"1","key":"6_CR26","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. 153(1), 1\u201323 (1991)","journal-title":"J. Theor. Biol."},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Trinh, V.G., Hiraishi, K., Benhamou, B.: Computing attractors of large-scale asynchronous Boolean networks using minimal trap spaces. In: Proceedings Bioinformatics, Computational Biology and Health (BCB), pp. 1\u201310 (2022)","DOI":"10.1145\/3535508.3545520"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"908","DOI":"10.1038\/35103078","volume":"2","author":"JJ Tyson","year":"2001","unstructured":"Tyson, J.J., Chen, K., Novak, B.: Network dynamics and cell physiology. Nat. Rev. Mol. Cell Biol. 2, 908\u2013916 (2001)","journal-title":"Nat. Rev. Mol. Cell Biol."},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0955-0674(03)00017-6","volume":"15","author":"JJ Tyson","year":"2003","unstructured":"Tyson, J.J., Chen, K., Novak, B.: Network dynamics and cell physiology. Curr. Op. Cell Biol. 15, 221\u2013231 (2003)","journal-title":"Curr. Op. Cell Biol."},{"key":"6_CR30","first-page":"167","volume":"289","author":"A Veliz-Cuba","year":"2011","unstructured":"Veliz-Cuba, A.: Reduction of Boolean network models. Theor. Comput. Sci. 289, 167\u2013172 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR31","doi-asserted-by":"publisher","DOI":"10.1063\/1.4809777","volume":"23","author":"JGT Zanudo","year":"2013","unstructured":"Zanudo, J.G.T., Albert, R.: An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks. Chaos 23, 025111 (2013)","journal-title":"Chaos"}],"container-title":["Lecture Notes in Computer Science","Research in Computational Molecular Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-0716-3989-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,14]],"date-time":"2024-10-14T16:06:17Z","timestamp":1728921977000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-0716-3989-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9781071639887","9781071639894"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-1-0716-3989-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"17 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RECOMB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Research in Computational Molecular Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cambridge, MA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 May 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"recomb2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/recomb.org\/recomb2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}