{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T04:09:35Z","timestamp":1747282175863,"version":"3.40.5"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031897030","type":"print"},{"value":"9783031897047","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-89704-7_4","type":"book-chapter","created":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T11:28:08Z","timestamp":1747222088000},"page":"43-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Methods and\u00a0Tools to\u00a0Facilitate RE:IN Modeling and\u00a0Analysis of\u00a0GRNs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-0396-1855","authenticated-orcid":false,"given":"Daniel","family":"Grimland","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0587-3785","authenticated-orcid":false,"given":"Eitan","family":"Tannenbaum","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7924-5665","authenticated-orcid":false,"given":"Hillel","family":"Kugler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,15]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"104795","DOI":"10.1016\/j.biosystems.2022.104795","volume":"223","author":"L Brim","year":"2023","unstructured":"Brim, L., Pastva, S., \u0160afr\u00e1nek, D., \u0160mij\u00e1kov\u00e1, E.: Temporary and permanent control of partially specified boolean networks. Biosystems 223, 104795 (2023)","journal-title":"Biosystems"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-030-60327-4_11","volume-title":"Computational Methods in Systems Biology","author":"S Chevalier","year":"2020","unstructured":"Chevalier, S., No\u00ebl, V., Calzone, L., Zinovyev, A., Paulev\u00e9, L.: Synthesis and simulation of ensembles of boolean networks for cell fate decision. In: Abate, A., Petrov, T., Wolf, V. (eds.) CMSB 2020. LNCS, vol. 12314, pp. 193\u2013209. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60327-4_11"},{"key":"4_CR3","unstructured":"Davidson, E.: Endomesoderm GRN model. https:\/\/grns.systemsbiology.net\/SpEndomes\/"},{"issue":"4554","key":"4_CR4","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1126\/science.6178156","volume":"217","author":"EH Davidson","year":"1982","unstructured":"Davidson, E.H., Hough-Evans, B.R., Britten, R.J.: Molecular biology of the sea urchin embryo. Science 217(4554), 17\u201326 (1982)","journal-title":"Science"},{"key":"4_CR5","unstructured":"Grimland, D., Tannenbaum, E., Kugler, H.: Regulation conditions calculator (2024). https:\/\/github.com\/danielgrimland\/Sea_Urchin_Endomesoderm_GRN\/tree\/main\/Regulation%20Conditions%20Calculator"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1002\/dvg.22757","volume":"52","author":"VF Hinman","year":"2014","unstructured":"Hinman, V.F., Jarvela, A.: Developmental gene regulatory network evolution: insights from comparative studies in echinoderms. Genesis 52, 193\u2013207 (2014)","journal-title":"Genesis"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Ji, Z., Yan, K., Li, W., Hu, H., Zhu, X.: Mathematical and computational modeling in complex biological systems. BioMed Res. Int. 2017 (2017)","DOI":"10.1155\/2017\/5958321"},{"issue":"3","key":"4_CR8","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. Theoret. Biol. 22(3), 437\u2013467 (1969)","journal-title":"J. Theoret. Biol."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Kwon, S.G., Kwon, Y.W., Lee, T.W., Park, G.T., Kim, J.H.: Recent advances in stem cell therapeutics and tissue engineering strategies. Biomater. Res. 22 (12 2018)","DOI":"10.1186\/s40824-018-0148-4"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Morris, M.K., Saez-Rodriguez, J., Sorger, P.K., Lauffenburger, D.A.: Logic-based models for the analysis of cell signaling networks. Biochemistry 49, 3216\u20133224 (2010)","DOI":"10.1021\/bi902202q"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"de\u00a0Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201908), pp. 337\u2013340 (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"issue":"8","key":"4_CR12","doi-asserted-by":"publisher","first-page":"a008128","DOI":"10.1101\/cshperspect.a008128","volume":"4","author":"J Nichols","year":"2012","unstructured":"Nichols, J., Smith, A.: Pluripotency in the embryo and in culture. Cold Spring Harb. Perspect. Biol. 4(8), a008128 (2012)","journal-title":"Cold Spring Harb. Perspect. Biol."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Okawa, S., Nicklas, S., Zickenrott, S., Schwamborn, J.C., del Sol, A.: A generalized gene-regulatory network model of stem cell differentiation for predicting lineage specifiers. Stem Cell Rep. 7, 307\u2013315 (2016)","DOI":"10.1016\/j.stemcr.2016.07.014"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C.M., Kugler, H.: Analyzing and synthesizing genomic logic functions. In: Proceedings of the 26th International Conference on Computer Aided Verification (CAV\u201914), pp. 343\u2013357 (2014)","DOI":"10.1007\/978-3-319-08867-9_23"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"5862","DOI":"10.1073\/pnas.1610616114","volume":"114","author":"IS Peter","year":"2017","unstructured":"Peter, I.S., Davidson, E.H.: Assessing regulatory information in developmental gene regulatory networks. Proc. Nat. Acad. Sci. USA 114, 5862\u20135869 (2017)","journal-title":"Proc. Nat. Acad. Sci. USA"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Videla, S., et al.: Revisiting the training of logic models of protein signaling networks with ASP. In: International Conference on Computational Methods in Systems Biology, pp. 342\u2013361. Springer (2012)","DOI":"10.1007\/978-3-642-33636-2_20"},{"issue":"9","key":"4_CR17","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: a satisfiability modulo theories-based framework for reasoning about discrete biological models. J. Comput. Biol. 30(9), 1046\u20131058 (2023)","journal-title":"J. Comput. Biol."},{"key":"4_CR18","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. Appl. 2 (2016)","DOI":"10.1038\/npjsba.2016.10"}],"container-title":["Lecture Notes in Computer Science","Computational Intelligence Methods for Bioinformatics and Biostatistics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-89704-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T11:28:14Z","timestamp":1747222094000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-89704-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031897030","9783031897047"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-89704-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"15 May 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors declare no conflicts of interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"Our models, data used to generate them and the experiments, programs, and experiments, are available at the following URL: .","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Availability of Data and Software Code"}},{"value":"CIBB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Benevento","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","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":"4 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cibb2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/cibb2024.unisannio.it","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}