{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T10:13:00Z","timestamp":1769854380062,"version":"3.49.0"},"publisher-location":"Singapore","reference-count":13,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819751303","type":"print"},{"value":"9789819751310","type":"electronic"}],"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-981-97-5131-0_11","type":"book-chapter","created":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T23:02:31Z","timestamp":1720738951000},"page":"119-131","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Synthesis of\u00a0Boolean Networks with\u00a0Weak and\u00a0Strong Regulators"],"prefix":"10.1007","author":[{"given":"Noy","family":"Biton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sharon","family":"Shoob","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9149-2666","authenticated-orcid":false,"given":"Ani","family":"Amar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7924-5665","authenticated-orcid":false,"given":"Hillel","family":"Kugler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,12]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Chen, T., He, H.L., Church, G.M.: Modeling gene expression with differential equations. In: Biocomputing 1999, pp. 29-40 (1998)","DOI":"10.1142\/9789814447300_0004"},{"issue":"8","key":"11_CR2","doi-asserted-by":"publisher","first-page":"3841","DOI":"10.1091\/mbc.e03-11-0794","volume":"1515","author":"KC Chen","year":"2004","unstructured":"Chen, K.C., Calzone, L., Csikasz-Nagy, A., Cross, F.R., Novak, B., Tyson, J.J.: Integrative analysis of cell cycle control in budding yeast. Mol. Biol. Cell 1515(8), 3841\u20133862 (2004)","journal-title":"Mol. Biol. Cell"},{"issue":"6188","key":"11_CR3","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1126\/science.1248882","volume":"344","author":"S-J Dunn","year":"2014","unstructured":"Dunn, S.-J., Martello, G., Yordanov, B., Emmott, S., Smith, A.G.: Defining an essential transcription factor program for n\u00e4\u0131ve pluripotency. Science 344(6188), 1156\u20131160 (2014)","journal-title":"Science"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Yordanov, B., Dunn, S.-J., Kugler, H., Smith, A., Martello, G., Emmott, S.: A method to identify and analyze biological programs through automated reasoning. npj Syst. Biol. Appli. 2(16010), (2016)","DOI":"10.1038\/npjsba.2016.10"},{"issue":"9","key":"11_CR5","doi-asserted-by":"publisher","first-page":"1046","DOI":"10.1089\/cmb.2023.0117","volume":"30","author":"B Yordanov","year":"2023","unstructured":"Yordanov, B., Dunn, S.-J., Gravill, C., Arora, H., Kugler, H., Wintersteiger, C.M.: The reasoning engine: an smt-based framework for reasoning about discrete biological models. J. Comput. Biol. a J. Comput. Molecular Cell Biol. 30(9), 1046\u20131058 (2023)","journal-title":"J. Comput. Biol. a J. Comput. Molecular Cell Biol."},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-19432-1_6","volume-title":"Molecular Logic and Computational Synthetic Biology","author":"J Goldfeder","year":"2019","unstructured":"Goldfeder, J., Kugler, H.: Temporal logic based synthesis of experimentally constrained interaction networks. In: Chaves, M., Martins, M.A. (eds.) MLCSB 2018. LNCS, vol. 11415, pp. 89\u2013104. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19432-1_6"},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/s100090050046","volume":"2","author":"A Cimatti","year":"2000","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: Nusmv: a new symbolic model checker. Int. J. Softw. Tools Technol. Transfer 2(4), 410\u2013425 (2000)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"17","key":"11_CR8","doi-asserted-by":"publisher","first-page":"i772","DOI":"10.1093\/bioinformatics\/btw457","volume":"32","author":"P Traynard","year":"2016","unstructured":"Traynard, P., Faur\u00e9, A., Fages, F., Thieffry, D.: Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation. Bioinformatics 32(17), i772\u2013i780 (2016)","journal-title":"Bioinformatics"},{"issue":"18","key":"11_CR9","doi-asserted-by":"publisher","first-page":"2320","DOI":"10.1093\/bioinformatics\/btt393","volume":"29","author":"C Guziolowski","year":"2013","unstructured":"Guziolowski, C., et al.: Exhaustively characterizing feasible logic models of a signaling network using answer set programming. Bioinformatics 29(18), 2320\u20132326 (2013)","journal-title":"Bioinformatics"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-642-33636-2_20","volume-title":"Computational Methods in Systems Biology","author":"S Videla","year":"2012","unstructured":"Videla, S., et al.: Revisiting the training of logic models of protein signaling networks with ASP. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS, pp. 342\u2013361. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33636-2_20"},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-6-133","volume":"6","author":"C Terfve","year":"2012","unstructured":"Terfve, C., et al.: Cellnoptr: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst. Biol. 6(1), 1\u201314 (2012)","journal-title":"BMC Syst. Biol."},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1089\/cmb.2012.0241","volume":"20","author":"R Sharan","year":"2013","unstructured":"Sharan, R., Karp, R.M.: Reconstructing Boolean models of signaling. J. Comput. Biol. 20(3), 249\u2013257 (2013)","journal-title":"J. Comput. Biol."},{"issue":"5","key":"11_CR13","doi-asserted-by":"publisher","first-page":"1574","DOI":"10.1109\/TCBB.2018.2889102","volume":"16","author":"C Biane","year":"2018","unstructured":"Biane, C., Delaplace, F.: Causal reasoning on boolean control networks based on abduction: theory and application to cancer drug discovery. IEEE\/ACM Trans. Comput. Biol. Bioinf. 16(5), 1574\u20131585 (2018)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."}],"container-title":["Lecture Notes in Computer Science","Bioinformatics Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-97-5131-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T23:08:53Z","timestamp":1720739333000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-97-5131-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9789819751303","9789819751310"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-981-97-5131-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"12 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISBRA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Bioinformatics Research and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kunming","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","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":"19 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isbra2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bio.csu.edu.cn\/ISBRA2024\/ISBRA2024_Home.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}