{"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":1772755504238,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T00:00:00Z","timestamp":1600646400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Universit\u00e9 du Luxembourg","award":["SEC-PBN"],"award-info":[{"award-number":["SEC-PBN"]}]},{"name":"ANR-FNR","award":["INTER\/ANR\/15\/11191283"],"award-info":[{"award-number":["INTER\/ANR\/15\/11191283"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,9,21]]},"DOI":"10.1145\/3388440.3412464","type":"proceedings-article","created":{"date-parts":[[2020,11,10]],"date-time":"2020-11-10T12:43:43Z","timestamp":1605012223000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A Dynamics-based Approach for the Target Control of Boolean Networks"],"prefix":"10.1145","author":[{"given":"Cui","family":"Su","sequence":"first","affiliation":[{"name":"Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg"}]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[{"name":"Reliability and Trust, University of Luxembourg"}]}],"member":"320","published-online":{"date-parts":[[2020,11,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"T. Akutsu. 2018. Algorithms for Analysis Inference and Control of Boolean Networks. World Scientific. T. Akutsu. 2018. Algorithms for Analysis Inference and Control of Boolean Networks. World Scientific.","DOI":"10.1142\/10801"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btz371"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1610622114"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. 14th International Conference on Computational Methods in Systems Biology (LNCS","volume":"81","author":"Czeizler E.","unstructured":"E. Czeizler , C. Gratie , W.K. Chiu , K. Kanhaiya , and I. Petre . 2016. Target controllability of linear networks . In Proc. 14th International Conference on Computational Methods in Systems Biology (LNCS , Vol. 9859). Springer, 67-- 81 . E. Czeizler, C. Gratie, W.K. Chiu, K. Kanhaiya, and I. Petre. 2016. Target controllability of linear networks. In Proc. 14th International Conference on Computational Methods in Systems Biology (LNCS, Vol. 9859). Springer, 67--81."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.3389\/fphys.2016.00349"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms6415"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1038\/srep24456"},{"key":"e_1_3_2_1_8_1","volume-title":"New trends in regenerative medicine: reprogramming and reconditioning. Journal of the American Society of Nephrology","author":"Goligorsky M.S.","year":"2019","unstructured":"M.S. Goligorsky . 2019. New trends in regenerative medicine: reprogramming and reconditioning. Journal of the American Society of Nephrology ( 2019 ), ASN- 2019070722. M.S. Goligorsky. 2019. New trends in regenerative medicine: reprogramming and reconditioning. Journal of the American Society of Nephrology (2019), ASN-2019070722."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13036-019-0144-9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1003286"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"F. Herrmann A. Gro\u00df D. Zhou H.A. Kestler and M. K\u00fchl. 2012. A Boolean model of the cardiac gene regulatory network determining first and second heart field identity. PLOS ONE 7 (10 2012) 1--10. F. Herrmann A. Gro\u00df D. Zhou H.A. Kestler and M. K\u00fchl. 2012. A Boolean model of the cardiac gene regulatory network determining first and second heart field identity. PLOS ONE 7 (10 2012) 1--10.","DOI":"10.1371\/journal.pone.0046798"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1517\/14622416.2.3.203"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1038\/224177a0"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1038\/srep02223"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0022649"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2702008"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature10011"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0378-x"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/140991820"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. 17th International Conference on Computational Methods in Systems Biology (LNCS","volume":"19","author":"Mandon H.","unstructured":"H. Mandon , C. Su , S. Haar , J. Pang , and L. Paulev\u00e9 . 2019. Sequential reprogramming of Boolean networks made practical . In Proc. 17th International Conference on Computational Methods in Systems Biology (LNCS , Vol. 11773). Springer, 3-- 19 . H. Mandon, C. Su, S. Haar, J. Pang, and L. Paulev\u00e9. 2019. Sequential reprogramming of Boolean networks made practical. In Proc. 17th International Conference on Computational Methods in Systems Biology (LNCS, Vol. 11773). Springer, 3--19."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2019.2914383"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2018.2850901"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2017.2773477"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. 13th International Symposium on Automated Technology for Verification and Analysis (LNCS","volume":"220","author":"Mizera A.","unstructured":"A. Mizera , J. Pang , and Q. Yuan . 2015. ASSA-PBN: a tool for approximate steady-state analysis of large probabilistic Boolean networks . In Proc. 13th International Symposium on Automated Technology for Verification and Analysis (LNCS , Vol. 9364). Springer, 214-- 220 . A. Mizera, J. Pang, and Q. Yuan. 2015. ASSA-PBN: a tool for approximate steady-state analysis of large probabilistic Boolean networks. In Proc. 13th International Symposium on Automated Technology for Verification and Analysis (LNCS, Vol. 9364). Springer, 214--220."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2013.06.009"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0215449"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"F.J. M\u00fcller and A. Schuppert. 2011. Few inputs can reprogram biological networks. Nature 478 7369 (2011) E4. F.J. M\u00fcller and A. Schuppert. 2011. Few inputs can reprogram biological networks. Nature 478 7369 (2011) E4.","DOI":"10.1038\/nature10543"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000912"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.3389\/fgene.2016.00044"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btu787"},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. 9th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics. ACM Press, 11--20","author":"Paul S.","unstructured":"S. Paul , C. Su , J. Pang , and A. Mizera . 2018. A decomposition-based approach towards the control of Boolean networks . In Proc. 9th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics. ACM Press, 11--20 . S. Paul, C. Su, J. Pang, and A. Mizera. 2018. A decomposition-based approach towards the control of Boolean networks. In Proc. 9th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics. ACM Press, 11--20."},{"key":"e_1_3_2_1_32_1","unstructured":"S. Paul C. Su J. Pang and A. Mizera. 2019. An efficient approach towards the source-target control of Boolean networks. IEEE\/ACM Transactions on Computational Biology and Bioinformatics (2019). accepted. S. Paul C. Su J. Pang and A. Mizera. 2019. An efficient approach towards the source-target control of Boolean networks. IEEE\/ACM Transactions on Computational Biology and Bioinformatics (2019). accepted."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1158\/0008-5472.CAN-15-0602"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-3-1"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bts410"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1002\/stem.1627"},{"issue":"5","key":"e_1_3_2_1_37_1","first-page":"1","article-title":"CUDD","volume":"2","author":"Somenzi F.","year":"2015","unstructured":"F. Somenzi . 2015 . CUDD : CU Decision Diagram Package - Release 2 . 5 . 1 . http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/. F. Somenzi. 2015. CUDD: CU Decision Diagram Package - Release 2.5.1. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/.","journal-title":"CU Decision Diagram Package - Release"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cell.2016.08.055"},{"key":"e_1_3_2_1_39_1","volume-title":"Proc. 23rd International Symposium on Formal Methods (LNCS","volume":"724","author":"Su C.","unstructured":"C. Su , S. Paul , and J. Pang . 2019. Controlling large Boolean networks with temporary and permanent perturbations . In Proc. 23rd International Symposium on Formal Methods (LNCS , Vol. 11800). Springer-Verlag, 707-- 724 . C. Su, S. Paul, and J. Pang. 2019. Controlling large Boolean networks with temporary and permanent perturbations. In Proc. 23rd International Symposium on Formal Methods (LNCS, Vol. 11800). Springer-Verlag, 707--724."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2009.06.006"},{"key":"e_1_3_2_1_41_1","first-page":"1","article-title":"A geometrical approach to control and controllability of nonlinear dynamical networks","volume":"7","author":"Wang L.Z.","year":"2016","unstructured":"L.Z. Wang , R. Q. Su , Z. G. Huang , X. Wang , W. X. Wang , C. Grebogi , and Y. C. Lai . 2016 . A geometrical approach to control and controllability of nonlinear dynamical networks . Nature Communications 7 , 1 (2016), 1 -- 11 . L.Z. Wang, R. Q. Su, Z. G. Huang, X. Wang, W. X. Wang, C. Grebogi, and Y. C. Lai. 2016. A geometrical approach to control and controllability of nonlinear dynamical networks. Nature Communications 7, 1 (2016), 1--11.","journal-title":"Nature Communications"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.11.036"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.stem.2007.05.012"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1002\/mma.5616"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1004193"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1617387114"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2251819"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.amc.2019.03.059","article-title":"On the ensemble controllability of Boolean control networks using STP method","volume":"358","author":"Zhong J.","year":"2019","unstructured":"J. Zhong , Y. Liu , K.I. Kou , L. Sun , and J. Cao . 2019 . On the ensemble controllability of Boolean control networks using STP method . Appl. Math. Comput. 358 (2019), 51 -- 62 . J. Zhong, Y. Liu, K.I. Kou, L. Sun, and J. Cao. 2019. On the ensemble controllability of Boolean control networks using STP method. Appl. Math. Comput. 358 (2019), 51--62.","journal-title":"Appl. Math. Comput."}],"event":{"name":"BCB '20: 11th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics","location":"Virtual Event USA","acronym":"BCB '20","sponsor":["SIGBio ACM Special Interest Group on Bioinformatics"]},"container-title":["Proceedings of the 11th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3388440.3412464","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3388440.3412464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:30Z","timestamp":1750199610000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3388440.3412464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,21]]},"references-count":48,"alternative-id":["10.1145\/3388440.3412464","10.1145\/3388440"],"URL":"https:\/\/doi.org\/10.1145\/3388440.3412464","relation":{},"subject":[],"published":{"date-parts":[[2020,9,21]]},"assertion":[{"value":"2020-11-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}