{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T00:05:04Z","timestamp":1772755504084,"version":"3.50.1"},"publisher-location":"Cham","reference-count":52,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030908690","type":"print"},{"value":"9783030908706","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-90870-6_31","type":"book-chapter","created":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T00:06:44Z","timestamp":1636502804000},"page":"581-598","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Cabean\u00a02.0: Efficient and Efficacious Control of Asynchronous Boolean Networks"],"prefix":"10.1007","author":[{"given":"Cui","family":"Su","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4521-4112","authenticated-orcid":false,"given":"Jun","family":"Pang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,10]]},"reference":[{"issue":"5","key":"31_CR1","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."},{"key":"31_CR2","unstructured":"Bryant, R.E.: Symbolic verification of MOS circuits. In: Proceedings the 1985 Chapel Hill Conference on Very Large Scale Integration, pp. 419\u2013438. Computer Science Press (1985)"},{"issue":"7","key":"31_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11432-016-5579-8","volume":"59","author":"H Chen","year":"2016","unstructured":"Chen, H., Liang, J., Wang, Z.: Pinning controllability of autonomous Boolean control networks. Sci. China Inf. Sci. 59(7), 1\u201314 (2016). https:\/\/doi.org\/10.1007\/s11432-016-5579-8","journal-title":"Sci. China Inf. Sci."},{"issue":"1","key":"31_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/ncomms2939","volume":"4","author":"SP Cornelius","year":"2013","unstructured":"Cornelius, S.P., Kath, W.L., Motter, A.E.: Realistic control of network dynamics. Nat. Commun. 4(1), 1\u20139 (2013)","journal-title":"Nat. Commun."},{"key":"31_CR5","doi-asserted-by":"publisher","first-page":"1046","DOI":"10.3389\/fphys.2018.01046","volume":"9","author":"RB Correia","year":"2018","unstructured":"Correia, R.B., Gates, A.J., Wang, X., Rocha, L.M.: CANA: a python package for quantifying control and canalization in Boolean networks. Front. Physiol. 9, 1046 (2018)","journal-title":"Front. Physiol."},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-45177-0_5","volume-title":"Computational Methods in Systems Biology","author":"E Czeizler","year":"2016","unstructured":"Czeizler, E., Gratie, C., Chiu, W.K., Kanhaiya, K., Petre, I.: Target controllability of linear networks. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 67\u201381. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45177-0_5"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Fiedler, B., Mochizuki, A., Kurosawa, G., Saito, D.: Dynamics and control at feedback vertex sets. I: informative and determining nodes in regulatory networks. J. Dyn. Differ. Equ. 25(3), 563\u2013604 (2013)","DOI":"10.1007\/s10884-013-9312-7"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-030-60327-4_9","volume-title":"Computational Methods in Systems Biology","author":"L Cifuentes Fontanals","year":"2020","unstructured":"Cifuentes Fontanals, L., Tonello, E., Siebert, H.: Control strategy identification via trap spaces in Boolean networks. In: Abate, A., Petrov, T., Wolf, V. (eds.) CMSB 2020. LNCS, vol. 12314, pp. 159\u2013175. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60327-4_9"},{"issue":"10","key":"31_CR9","doi-asserted-by":"publisher","first-page":"1189","DOI":"10.3390\/cells8101189","volume":"8","author":"R Gam","year":"2019","unstructured":"Gam, R., Sung, M., Prasad Pandurangan, A.: Experimental and computational approaches to direct cell reprogramming: recent advancement and future challenges. Cells 8(10), 1189 (2019)","journal-title":"Cells"},{"key":"31_CR10","doi-asserted-by":"publisher","first-page":"5415","DOI":"10.1038\/ncomms6415","volume":"5","author":"J Gao","year":"2014","unstructured":"Gao, J., Liu, Y.Y., D\u2019Souza, R.M., Barab\u00e1si, A.L.: Target control of complex networks. Nat. Commun. 5, 5415 (2014)","journal-title":"Nat. Commun."},{"issue":"1","key":"31_CR11","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1186\/s13036-019-0144-9","volume":"13","author":"A Grath","year":"2019","unstructured":"Grath, A., Dai, G.: Direct cell reprogramming for tissue engineering and regenerative medicine. J. Biol. Eng. 13(1), 14 (2019)","journal-title":"J. Biol. Eng."},{"issue":"4","key":"31_CR12","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1242\/dev.10.4.622","volume":"10","author":"JB Gurdon","year":"1962","unstructured":"Gurdon, J.B.: The developmental capacity of nuclei taken from intestinal epithelium cells of feeding tadpoles. Development 10(4), 622\u2013640 (1962)","journal-title":"Development"},{"issue":"3","key":"31_CR13","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1517\/14622416.2.3.203","volume":"2","author":"S Huang","year":"2001","unstructured":"Huang, S.: Genomics, complexity and drug discovery: insights from Boolean network models of cellular regulation. Pharmacogenomics 2(3), 203\u2013222 (2001)","journal-title":"Pharmacogenomics"},{"key":"31_CR14","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1038\/224177a0","volume":"224","author":"S Kauffman","year":"1969","unstructured":"Kauffman, S.: Homeostasis and differentiation in random genetic control networks. Nature 224, 177\u2013178 (1969)","journal-title":"Nature"},{"key":"31_CR15","doi-asserted-by":"publisher","first-page":"2223","DOI":"10.1038\/srep02223","volume":"3","author":"J Kim","year":"2013","unstructured":"Kim, J., Park, S.M., Cho, K.H.: Discovery of a kernel for controlling biomolecular regulatory networks. Sci. Rep. 3, 2223 (2013)","journal-title":"Sci. Rep."},{"issue":"5","key":"31_CR16","doi-asserted-by":"crossref","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(5), 770\u2013772 (2017)","journal-title":"Bioinformatics"},{"issue":"11","key":"31_CR17","doi-asserted-by":"publisher","first-page":"6012","DOI":"10.1109\/TAC.2017.2702008","volume":"62","author":"J Liang","year":"2017","unstructured":"Liang, J., Chen, H., Lam, J.: An improved criterion for controllability of Boolean control networks. IEEE Trans. Autom. Control 62(11), 6012\u20136018 (2017)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"S6","key":"31_CR18","doi-asserted-by":"publisher","first-page":"S5","DOI":"10.1186\/1471-2164-13-S6-S5","volume":"13","author":"PCK Lin","year":"2012","unstructured":"Lin, P.C.K., Khatri, S.P.: Application of Max-SAT-based ATPG to optimal cancer therapy design. BMC Genomics 13(S6), S5 (2012)","journal-title":"BMC Genomics"},{"key":"31_CR19","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1038\/nature10011","volume":"473","author":"YY Liu","year":"2011","unstructured":"Liu, Y.Y., Slotine, J.J., Barab\u00e1si, A.L.: Controllability of complex networks. Nature 473, 167\u2013173 (2011)","journal-title":"Nature"},{"issue":"1","key":"31_CR20","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10009-015-0378-x","volume":"19","author":"A Lomuscio","year":"2017","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transfer 19(1), 9\u201330 (2017)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"2","key":"31_CR21","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1137\/140991820","volume":"54","author":"J Lu","year":"2016","unstructured":"Lu, J., Zhong, J., Ho, D.W., Tang, Y., Cao, J.: On controllability of delayed Boolean control networks. SIAM J. Control. Optim. 54(2), 475\u2013494 (2016)","journal-title":"SIAM J. Control. Optim."},{"key":"31_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-319-47151-8_8","volume-title":"Hybrid Systems Biology","author":"H Mandon","year":"2016","unstructured":"Mandon, H., Haar, S., Paulev\u00e9, L.: Relationship between the reprogramming determinants of boolean networks and their interaction graph. In: Cinquemani, E., Donz\u00e9, A. (eds.) HSB 2016. LNCS, vol. 9957, pp. 113\u2013127. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47151-8_8"},{"key":"31_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-67471-1_11","volume-title":"Computational Methods in Systems Biology","author":"H Mandon","year":"2017","unstructured":"Mandon, H., Haar, S., Paulev\u00e9, L.: Temporal reprogramming of boolean networks. In: Feret, J., Koeppl, H. (eds.) CMSB 2017. LNCS, vol. 10545, pp. 179\u2013195. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67471-1_11"},{"key":"31_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-31304-3_1","volume-title":"Computational Methods in Systems Biology","author":"H Mandon","year":"2019","unstructured":"Mandon, H., Su, C., Haar, S., Pang, J., Paulev\u00e9, L.: Sequential reprogramming of boolean networks made practical. In: Bortolussi, L., Sanguinetti, G. (eds.) CMSB 2019. LNCS, vol. 11773, pp. 3\u201319. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31304-3_1"},{"issue":"1","key":"31_CR25","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/TCBB.2018.2850901","volume":"16","author":"A Mizera","year":"2019","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(1), 31\u201342 (2019)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"issue":"4","key":"31_CR26","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1109\/TCBB.2017.2773477","volume":"15","author":"A Mizera","year":"2018","unstructured":"Mizera, A., Pang, J., Su, C., Yuan, Q.: ASSA-PBN: a toolbox for probabilistic Boolean networks. IEEE\/ACM Trans. Comput. Biol. Bioinf. 15(4), 1203\u20131216 (2018)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"key":"31_CR27","doi-asserted-by":"crossref","unstructured":"Mochizuki, A., Fiedler, B., Kurosawa, G., Saito, D.: Dynamics and control at feedback vertex sets. II: a faithful monitor to determine the diversity of molecular activities in regulatory networks. J. Theor. Biol. 335, 130\u2013146 (2013)","DOI":"10.1016\/j.jtbi.2013.06.009"},{"key":"31_CR28","doi-asserted-by":"crossref","unstructured":"Moradi, M., Goliaei, S., Foroughmand-Araabi, M.H.: A Boolean network control algorithm guided by forward dynamic programming. PLoS ONE 14(5), e0215449 (2019)","DOI":"10.1371\/journal.pone.0215449"},{"issue":"3","key":"31_CR29","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1038\/nmeth.3289","volume":"12","author":"R Mosca","year":"2015","unstructured":"Mosca, R., et al.: dSysMap: exploring the edgetic role of disease mutations. Nat. Methods 12(3), 167\u2013168 (2015)","journal-title":"Nat. Methods"},{"issue":"1","key":"31_CR30","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1186\/s12918-016-0332-x","volume":"10","author":"D Murrugarra","year":"2016","unstructured":"Murrugarra, D., Veliz-Cuba, A., Aguilar, B., Laubenbacher, R.: Identification of control targets in Boolean molecular network models via computational algebra. BMC Syst. Biol. 10(1), 94 (2016)","journal-title":"BMC Syst. Biol."},{"issue":"10","key":"31_CR31","doi-asserted-by":"publisher","first-page":"1378","DOI":"10.1093\/bioinformatics\/btq124","volume":"26","author":"C M\u00fcssel","year":"2010","unstructured":"M\u00fcssel, C., Hopfensitz, M., Kestler, H.A.: BoolNet-an R package for generation, reconstruction and analysis of Boolean networks. Bioinformatics 26(10), 1378\u20131380 (2010)","journal-title":"Bioinformatics"},{"key":"31_CR32","doi-asserted-by":"crossref","unstructured":"Paul, S., Su, C., Pang, J., Mizera, A.: A decomposition-based approach towards the control of Boolean networks. In: Proceedings of 9th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics, pp. 11\u201320. ACM Press (2018)","DOI":"10.1145\/3233547.3233550"},{"issue":"6","key":"31_CR33","doi-asserted-by":"publisher","first-page":"1932","DOI":"10.1109\/TCBB.2019.2915081","volume":"17","author":"S Paul","year":"2020","unstructured":"Paul, S., Su, C., Pang, J., Mizera, A.: An efficient approach towards the source-target control of Boolean networks. IEEE\/ACM Trans. Comput. Biol. Bioinf. 17(6), 1932\u20131945 (2020)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"key":"31_CR34","doi-asserted-by":"crossref","unstructured":"Poret, A., Guziolowski, C.: Therapeutic target discovery using Boolean network attractors: improvements of kali. R. Soc. Open Sci. 5(2), 171852 (2018)","DOI":"10.1098\/rsos.171852"},{"key":"31_CR35","unstructured":"Somenzi, F.: CUDD: CU Decision diagram package (release 2.5.1) (2015). http:\/\/vlsi.colorado.edu\/fabio\/CUDD\/"},{"issue":"6","key":"31_CR36","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1093\/bioinformatics\/btaa752","volume":"37","author":"C Su","year":"2020","unstructured":"Su, C., Pang, J.: CABEAN: a software for the control of asynchronous Boolean networks. Bioinformatics 37(6), 879\u2013881 (2020)","journal-title":"Bioinformatics"},{"key":"31_CR37","doi-asserted-by":"crossref","unstructured":"Su, C., Pang, J.: A dynamics-based approach for the target control of Boolean networks. In: Proceedings of 11th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics, pp. 50:1\u201350:8. ACM Press (2020)","DOI":"10.1145\/3388440.3412464"},{"key":"31_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-030-60327-4_13","volume-title":"Computational Methods in Systems Biology","author":"C Su","year":"2020","unstructured":"Su, C., Pang, J.: Sequential temporary and permanent control of boolean networks. In: Abate, A., Petrov, T., Wolf, V. (eds.) CMSB 2020. LNCS, vol. 12314, pp. 234\u2013251. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60327-4_13"},{"key":"31_CR39","doi-asserted-by":"crossref","unstructured":"Su, C., Pang, J.: Target control of asynchronous Boolean networks. arXiv preprint arXiv:2101.00644 (2021)","DOI":"10.1109\/TCBB.2021.3133608"},{"key":"31_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/978-3-030-30942-8_41","volume-title":"Formal Methods \u2013 The Next 30 Years","author":"C Su","year":"2019","unstructured":"Su, C., Paul, S., Pang, J.: Controlling large boolean networks with temporary and permanent perturbations. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) FM 2019. LNCS, vol. 11800, pp. 707\u2013724. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_41"},{"issue":"6","key":"31_CR41","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1093\/bioinformatics\/btw738","volume":"33","author":"S Videla","year":"2017","unstructured":"Videla, S., Saez-Rodriguez, J., Guziolowski, C., Siegel, A.: caspo: a toolbox for automated reasoning on the response of logical signaling networks families. Bioinformatics 33(6), 947\u2013950 (2017)","journal-title":"Bioinformatics"},{"issue":"1","key":"31_CR42","first-page":"1","volume":"7","author":"LZ Wang","year":"2016","unstructured":"Wang, L.Z., Su, R.Q., Huang, Z.G., Wang, X., Wang, W.X., Grebogi, C., Lai, Y.C.: A geometrical approach to control and controllability of nonlinear dynamical networks. Nat. Commun. 7(1), 1\u201311 (2016)","journal-title":"Nat. Commun."},{"key":"31_CR43","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1016\/j.automatica.2018.11.036","volume":"100","author":"Y Wu","year":"2019","unstructured":"Wu, Y., Sun, X.M., Zhao, X., Shen, T.: Optimal control of Boolean control networks with average cost: a policy iteration approach. Automatica 100, 378\u2013387 (2019)","journal-title":"Automatica"},{"issue":"1","key":"31_CR44","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.stem.2007.05.012","volume":"1","author":"S Yamanaka","year":"2007","unstructured":"Yamanaka, S.: Strategies and new developments in the generation of patient-specific pluripotent stem cells. Cell Stem Cell 1(1), 39\u201349 (2007)","journal-title":"Cell Stem Cell"},{"issue":"11","key":"31_CR45","doi-asserted-by":"publisher","first-page":"3848","DOI":"10.1002\/mma.5616","volume":"42","author":"J Yue","year":"2019","unstructured":"Yue, J., Yan, Y., Chen, Z., Jin, X.: Identification of predictors of Boolean networks from observed attractor states. Math. Methods Appl. Sci. 42(11), 3848\u20133864 (2019)","journal-title":"Math. Methods Appl. Sci."},{"key":"31_CR46","doi-asserted-by":"crossref","unstructured":"Za\u00f1udo, J.G.T., Albert, R.: Cell fate reprogramming by control of intracellular network dynamics. PLOS Comput. Biol. 11(4), e1004193 (2015)","DOI":"10.1371\/journal.pcbi.1004193"},{"issue":"28","key":"31_CR47","doi-asserted-by":"publisher","first-page":"7234","DOI":"10.1073\/pnas.1617387114","volume":"114","author":"JGT Za\u00f1udo","year":"2017","unstructured":"Za\u00f1udo, J.G.T., Yang, G., Albert, R.: Structure-based control of complex networks with nonlinear dynamics. Proc. Natl. Acad. Sci. 114(28), 7234\u20137239 (2017)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"8","key":"31_CR48","doi-asserted-by":"publisher","first-page":"1976","DOI":"10.1109\/TAC.2013.2251819","volume":"58","author":"Y Zhao","year":"2013","unstructured":"Zhao, Y., Kim, J., Filippone, M.: Aggregation algorithm towards large-scale Boolean network analysis. IEEE Trans. Autom. Control 58(8), 1976\u20131985 (2013)","journal-title":"IEEE Trans. Autom. Control"},{"key":"31_CR49","doi-asserted-by":"crossref","unstructured":"Zheng, D., Yang, G., Li, X., Wang, Z., Liu, F., He, L.: An efficient algorithm for computing attractors of synchronous and asynchronous Boolean networks. PLoS ONE 8(4), e60593 (2013)","DOI":"10.1371\/journal.pone.0060593"},{"key":"31_CR50","first-page":"51","volume":"358","author":"J Zhong","year":"2019","unstructured":"Zhong, J., Liu, Y., Kou, K.I., Sun, L., Cao, J.: On the ensemble controllability of Boolean control networks using STP method. Appl. Math. Comput. 358, 51\u201362 (2019)","journal-title":"Appl. Math. Comput."},{"issue":"10","key":"31_CR51","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1089\/cmb.2014.0057","volume":"21","author":"P Zhu","year":"2014","unstructured":"Zhu, P., Han, J.: Asynchronous stochastic Boolean networks as gene network models. J. Comput. Biol. 21(10), 771\u2013783 (2014)","journal-title":"J. Comput. Biol."},{"issue":"1","key":"31_CR52","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1109\/TAC.2018.2830642","volume":"64","author":"Q Zhu","year":"2018","unstructured":"Zhu, Q., Liu, Y., Lu, J., Cao, J.: Further results on the controllability of Boolean control networks. IEEE Trans. Autom. Control 64(1), 440\u2013442 (2018)","journal-title":"IEEE Trans. Autom. Control"}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-90870-6_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T12:27:32Z","timestamp":1699792052000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-90870-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030908690","9783030908706"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-90870-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"10 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2021.csp.escience.cn\/dct\/page\/1","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":"131","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":"40","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":"2","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":"31% - 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":"9","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)"}},{"value":"Additionally, this includes 4 invited full papers.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}