{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T10:35:15Z","timestamp":1769855715495,"version":"3.49.0"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031231971","type":"print"},{"value":"9783031231988","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-23198-8_11","type":"book-chapter","created":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T02:36:12Z","timestamp":1672540572000},"page":"114-125","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An SMT-Based Framework for\u00a0Reasoning About Discrete Biological Models"],"prefix":"10.1007","author":[{"given":"Boyan","family":"Yordanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara-Jane","family":"Dunn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Gravill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hillel","family":"Kugler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph M.","family":"Wintersteiger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,1]]},"reference":[{"key":"11_CR1","unstructured":".NET interactive (2022). https:\/\/github.com\/dotnet\/interactive"},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"Amar, A., Hubbard, E.J.A., Kugler, H.: Modeling the C. elegans germline stem cell genetic network using automated reasoning. Biosystems 217, 104672 (2022). https:\/\/doi.org\/10.1016\/j.biosystems.2022.104672, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0303264722000624","DOI":"10.1016\/j.biosystems.2022.104672"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11804192_17","volume-title":"Formal Methods for Components and Objects","author":"M Barnett","year":"2006","unstructured":"Barnett, M., Chang, B.-Y.E., DeLine, R., Jacobs, B., Leino, K.R.M.: Boogie: a modular reusable verifier for object-oriented programs. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 364\u2013387. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11804192_17"},{"key":"11_CR4","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard - version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (SMT\u201910), Edinburgh, Scotland (2010)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 193\u2013207. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-49059-0_14"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Caspi, P., Halbwachs, N., Pilaud, D., Plaice, J.: LUSTRE: a declarative language for programming synchronous systems, pp. 178\u2013188 (1987)","DOI":"10.1145\/41625.41641"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-08867-9_22","volume-title":"Computer Aided Verification","author":"R Cavada","year":"2014","unstructured":"Cavada, R., et al.: The nuXmv symbolic model checker. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 334\u2013342. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_22"},{"key":"11_CR8","doi-asserted-by":"publisher","unstructured":"Chevalier, S., Froidevaux, C., Paulev\u00e9, L., Zinovyev, A.: Synthesis of Boolean networks from biological dynamical constraints using answer-set programming. In: 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), pp. 34\u201341 (2019). https:\/\/doi.org\/10.1109\/ICTAI.2019.00014","DOI":"10.1109\/ICTAI.2019.00014"},{"key":"11_CR9","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"},{"issue":"4","key":"11_CR10","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). https:\/\/doi.org\/10.1007\/s100090050046","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1109\/TCBB.2019.2948157","volume":"18","author":"S Dunn","year":"2019","unstructured":"Dunn, S., Kugler, H., Yordanov, B.: Formal analysis of network motifs links structure to function in biological programs. IEEE\/ACM Trans. Comput. Bio. Bioinform. 18, 261\u2013271 (2019)","journal-title":"IEEE\/ACM Trans. Comput. Bio. Bioinform."},{"key":"11_CR12","series-title":"Methods in Molecular Biology","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-1-4939-9224-9_4","volume-title":"Computational Stem Cell Biology","author":"S-J Dunn","year":"2019","unstructured":"Dunn, S.-J.: Automated formal reasoning to uncover molecular programs of self-renewal. In: Cahan, P. (ed.) Computational Stem Cell Biology. MMB, vol. 1975, pp. 79\u2013105. Springer, New York (2019). https:\/\/doi.org\/10.1007\/978-1-4939-9224-9_4"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"e100003","DOI":"10.15252\/embj.2018100003","volume":"38","author":"SJ Dunn","year":"2018","unstructured":"Dunn, S.J., Li, M.A., Carbognin, E., Smith, A.G., Martello, G.: A common molecular logic determines embryonic stem cell self-renewal and reprogramming. EMBO J. 38, e100003 (2018)","journal-title":"EMBO J."},{"issue":"6188","key":"11_CR14","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1126\/science.1248882","volume":"344","author":"SJ Dunn","year":"2014","unstructured":"Dunn, S.J., Martello, G., Yordanov, B., Emmott, S., Smith, A.: Defining an essential transcription factor program for na\u00efve pluripotency. Science 344(6188), 1156\u20131160 (2014)","journal-title":"Science"},{"key":"11_CR15","series-title":"Computational Biology","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-030-17297-8_2","volume-title":"Automated Reasoning for Systems Biology and Medicine","author":"S-J Dunn","year":"2019","unstructured":"Dunn, S.-J., Yordanov, B.: Automated reasoning for the synthesis and analysis of biological programs. In: Li\u00f2, P., Zuliani, P. (eds.) Automated Reasoning for Systems Biology and Medicine. CB, vol. 30, pp. 37\u201362. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17297-8_2"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-37036-6_8","volume-title":"Programming Languages and Systems","author":"J-C Filli\u00e2tre","year":"2013","unstructured":"Filli\u00e2tre, J.-C., Paskevich, A.: Why3 \u2014 where programs meet provers. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 125\u2013128. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37036-6_8"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-030-31304-3_15","volume-title":"Computational Methods in Systems Biology","author":"J Goldfeder","year":"2019","unstructured":"Goldfeder, J., Kugler, H.: BRE:IN - a backend for reasoning about interaction networks with temporal logic. In: Bortolussi, L., Sanguinetti, G. (eds.) CMSB 2019. LNCS, vol. 11773, pp. 289\u2013295. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31304-3_15"},{"key":"11_CR18","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":"18","key":"11_CR19","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_CR20","volume-title":"F# for Scientists","author":"J Harrop","year":"2011","unstructured":"Harrop, J.: F# for Scientists. Wiley, Hoboken (2011)"},{"issue":"10","key":"11_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pone.0046798","volume":"7","author":"F Herrmann","year":"2012","unstructured":"Herrmann, F., Gro\u00df, A., Zhou, D., Kestler, H.A., K\u00fchl, M.: A Boolean model of the cardiac gene regulatory network determining first and second heart field identity. PLOS ONE 7(10), 1\u201310 (2012). https:\/\/doi.org\/10.1371\/journal.pone.0046798","journal-title":"PLOS ONE"},{"key":"11_CR22","unstructured":"Kluyver, T., et al.: Jupyter notebooks - a publishing format for reproducible computational workflows. In: Loizides, F., Scmidt, B. (eds.) Positioning and Power in Academic Publishing: Players, Agents and Agendas, pp. 87\u201390. IOS Press (2016). https:\/\/eprints.soton.ac.uk\/403913\/"},{"key":"11_CR23","unstructured":"Koksal, A.: Program Synthesis for Systems Biology. Ph.D. thesis, University of California at Berkeley (2018), Technical report No. UCB\/EECS-2018-49"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Koksal, A., Pu, Y., Srivastava, S., Bodik, R., Fisher, J., Piterman, N.: Synthesis of biological models from mutation experiments. In: SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM (2013)","DOI":"10.1145\/2429069.2429125"},{"issue":"8","key":"11_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pone.0022649","volume":"6","author":"J Krumsiek","year":"2011","unstructured":"Krumsiek, J., Marr, C., Schroeder, T., Theis, F.J.: Hierarchical differentiation of myeloid progenitors is encoded in the transcription factor network. PLOS ONE 6(8), 1\u201310 (2011). https:\/\/doi.org\/10.1371\/journal.pone.0022649","journal-title":"PLOS ONE"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-319-99429-1_7","volume-title":"Computational Methods in Systems Biology","author":"H Kugler","year":"2018","unstructured":"Kugler, H., Dunn, S.-J., Yordanov, B.: Formal analysis of network motifs. In: \u010ce\u0161ka, M., \u0160afr\u00e1nek, D. (eds.) CMSB 2018. LNCS, vol. 11095, pp. 111\u2013128. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99429-1_7"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"issue":"1\u20132","key":"11_CR28","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transfer 1(1\u20132), 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Le, H.M., Gro\u00dfe, D., Herdt, V., Drechsler, R.: Verifying SystemC using an intermediate verification language and symbolic simulation. In: Proceedings of the 50th Annual Design Automation Conference, pp. 1\u20136 (2013)","DOI":"10.1145\/2463209.2488877"},{"key":"11_CR30","doi-asserted-by":"publisher","unstructured":"Li, F., Long, T., Lu, Y., Ouyang, Q., Tang, C.: The yeast cell-cycle network is robustly designed. Proc. Nat. Acad. Sci. 101(14), 4781\u20134786 (2004). https:\/\/doi.org\/10.1073\/pnas.0305937101https:\/\/www.pnas.org\/content\/101\/14\/4781","DOI":"10.1073\/pnas.0305937101"},{"issue":"5594","key":"11_CR31","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1126\/science.298.5594.824","volume":"298","author":"R Milo","year":"2002","unstructured":"Milo, R., Shen-Orr, S., Itzkovitz, S., Kashtan, N., Chklovskii, D., Alon, U.: Network motifs: simple building blocks of complex networks. Science 298(5594), 824\u2013827 (2002)","journal-title":"Science"},{"key":"11_CR32","doi-asserted-by":"publisher","first-page":"e27356","DOI":"10.7554\/eLife.27356","volume":"6","author":"A Mishra","year":"2017","unstructured":"Mishra, A., et al.: A protein phosphatase network controls the temporal and spatial dynamics of differentiation commitment in human epidermis. Elife 6, e27356 (2017). https:\/\/doi.org\/10.7554\/eLife.27356","journal-title":"Elife"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-319-08867-9_23","volume-title":"Computer Aided Verification","author":"N Paoletti","year":"2014","unstructured":"Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C.M., Kugler, H.: Analyzing and synthesizing genomic logic functions. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 343\u2013357. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_23"},{"key":"11_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-319-99429-1_4","volume-title":"Computational Methods in Systems Biology","author":"M Razzaq","year":"2018","unstructured":"Razzaq, M., Kaminski, R., Romero, J., Schaub, T., Bourdon, J., Guziolowski, C.: Computing diverse Boolean networks from phosphoproteomic time series data. In: \u010ce\u0161ka, M., \u0160afr\u00e1nek, D. (eds.) CMSB 2018. LNCS, vol. 11095, pp. 59\u201374. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99429-1_4"},{"key":"11_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-319-07953-0_19","volume-title":"Algorithms for Computational Biology","author":"DA Rosenblueth","year":"2014","unstructured":"Rosenblueth, D.A., Mu\u00f1oz, S., Carrillo, M., Azpeitia, E.: Inference of Boolean networks from gene\u00a0interaction graphs using a SAT solver. In: Dediu, A.-H., Mart\u00edn-Vide, C., Truthe, B. (eds.) AlCoB 2014. LNCS, vol. 8542, pp. 235\u2013246. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07953-0_19"},{"issue":"3","key":"11_CR37","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."},{"key":"11_CR38","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.biosystems.2016.03.012","volume":"146","author":"Y Shavit","year":"2016","unstructured":"Shavit, Y., et al.: Automated synthesis and analysis of switching gene regulatory networks. Biosystems 146, 26\u201334 (2016)","journal-title":"Biosystems"},{"key":"11_CR39","doi-asserted-by":"publisher","unstructured":"Srinivasan, K., et al.: A network of genetic repression and derepression specifies projection fates in the developing neocortex. Proc. Nat. Acad. Sci. 109(47), 19071\u201319078 (2012) https:\/\/doi.org\/10.1073\/pnas.1216793109, https:\/\/www.pnas.org\/content\/109\/47\/19071","DOI":"10.1073\/pnas.1216793109"},{"issue":"75","key":"11_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3386325","volume":"4","author":"D Syme","year":"2020","unstructured":"Syme, D.: The early history of F#. Proc. ACM Program. Lang. 4(75), 1\u201358 (2020)","journal-title":"Proc. ACM Program. Lang."},{"issue":"16010","key":"11_CR41","first-page":"1","volume":"2","author":"B Yordanov","year":"2016","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. Bio. Appl. 2(16010), 1\u201316 (2016)","journal-title":"NPJ Syst. Bio. Appl."},{"key":"11_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-38088-4_6","volume-title":"NASA Formal Methods","author":"B Yordanov","year":"2013","unstructured":"Yordanov, B., Wintersteiger, C.M., Hamadi, Y., Kugler, H.: SMT-based analysis of biological computation. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 78\u201392. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38088-4_6"},{"key":"11_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-319-01928-4_14","volume-title":"DNA Computing and Molecular Programming","author":"B Yordanov","year":"2013","unstructured":"Yordanov, B., Wintersteiger, C.M., Hamadi, Y., Phillips, A., Kugler, H.: Functional analysis of large-scale DNA strand displacement circuits. In: Soloveichik, D., Yurke, B. (eds.) DNA 2013. LNCS, vol. 8141, pp. 189\u2013203. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-01928-4_14"},{"key":"11_CR44","unstructured":"Yordanov, B., Gravill, C., Dunn, S.J., Kugler, H., Wintersteiger, C.M.: Reasoning engine (2022). https:\/\/github.com\/fsprojects\/ReasoningEngine"}],"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-3-031-23198-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T18:04:02Z","timestamp":1689703442000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-23198-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031231971","9783031231988"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-23198-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"1 January 2023","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":"Haifa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Israel","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 November 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 November 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isbra2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/mangul-lab-usc.github.io\/ISBRA","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"72","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}