{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T15:37:59Z","timestamp":1784129879794,"version":"3.55.0"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030309411","type":"print"},{"value":"9783030309428","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30942-8_41","type":"book-chapter","created":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T23:03:06Z","timestamp":1569193386000},"page":"707-724","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Controlling Large Boolean Networks with Temporary and Permanent Perturbations"],"prefix":"10.1007","author":[{"given":"Cui","family":"Su","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Soumya","family":"Paul","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"issue":"2","key":"41_CR1","doi-asserted-by":"publisher","first-page":"a018606","DOI":"10.1101\/cshperspect.a018606","volume":"6","author":"K Takahashi","year":"2014","unstructured":"Takahashi, K.: Cellular reprogramming. Cold Spring Harb. Perspect. Biol. 6(2), a018606 (2014)","journal-title":"Cold Spring Harb. Perspect. Biol."},{"issue":"6","key":"41_CR2","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.1002\/stem.1627","volume":"32","author":"AD Sol","year":"2014","unstructured":"Sol, A.D., Buckley, N.: Concise review: a population shift view of cellular reprogramming. Stem Cells 32(6), 1367\u20131372 (2014)","journal-title":"Stem Cells"},{"issue":"7273","key":"41_CR3","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1038\/nature08533","volume":"462","author":"T Graf","year":"2009","unstructured":"Graf, T., Enver, T.: Forcing cells to change lineages. Nature 462(7273), 587\u2013594 (2009)","journal-title":"Nature"},{"issue":"6","key":"41_CR4","doi-asserted-by":"publisher","first-page":"1386","DOI":"10.1016\/j.cell.2016.08.055","volume":"166","author":"D Srivastava","year":"2016","unstructured":"Srivastava, D., DeWitt, N.: In vivo cellular reprogramming: the next generation. Cell 166(6), 1386\u20131396 (2016)","journal-title":"Cell"},{"key":"41_CR5","doi-asserted-by":"publisher","first-page":"11323","DOI":"10.1038\/ncomms11323","volume":"7","author":"LZ Wang","year":"2016","unstructured":"Wang, L.Z., et al.: A geometrical approach to control and controllability of nonlinear dynamical networks. Nat. Commun. 7, 11323 (2016)","journal-title":"Nat. Commun."},{"issue":"4","key":"41_CR6","doi-asserted-by":"publisher","first-page":"e1004193","DOI":"10.1371\/journal.pcbi.1004193","volume":"11","author":"JGT Za\u00f1udo","year":"2015","unstructured":"Za\u00f1udo, J.G.T., Albert, R.: Cell fate reprogramming by control of intracellular network dynamics. PLoS Comput. Biol. 11(4), e1004193 (2015)","journal-title":"PLoS Comput. Biol."},{"key":"41_CR7","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1038\/224177a0","volume":"224","author":"SA Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Homeostasis and differentiation in random genetic control networks. Nature 224, 177\u2013178 (1969)","journal-title":"Nature"},{"key":"41_CR8","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\u201373 (2011)","journal-title":"Nature"},{"key":"41_CR9","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."},{"key":"41_CR10","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). \nhttps:\/\/doi.org\/10.1007\/978-3-319-45177-0_5"},{"issue":"5747","key":"41_CR11","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1126\/science.1119959","volume":"310","author":"S Bornholdt","year":"2005","unstructured":"Bornholdt, S.: Less is more in modeling large genetic networks. Science 310(5747), 449\u2013451 (2005)","journal-title":"Science"},{"key":"41_CR12","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/j.jtbi.2013.06.009","volume":"335","author":"A Mochizuki","year":"2013","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)","journal-title":"J. Theor. Biol."},{"issue":"28","key":"41_CR13","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."},{"key":"41_CR14","doi-asserted-by":"publisher","first-page":"2223","DOI":"10.1038\/srep02223","volume":"3","author":"J Kim","year":"2013","unstructured":"Kim, J., Park, S., Cho, K.: Discovery of a kernel for controlling biomolecular regulatory networks. Sci. Rep. 3, 2223 (2013)","journal-title":"Sci. Rep."},{"issue":"8","key":"41_CR15","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"},{"issue":"2","key":"41_CR16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1038\/nrm1570","volume":"6","author":"JA Papin","year":"2005","unstructured":"Papin, J.A., Hunter, T., Palsson, B.O., Subramaniam, S.: Reconstruction of cellular signalling networks and analysis of their properties. Nat. Rev. Mol. Cell Biol. 6(2), 99 (2005)","journal-title":"Nat. Rev. Mol. Cell Biol."},{"key":"41_CR17","doi-asserted-by":"publisher","first-page":"1942","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, 1942 (2013)","journal-title":"Nat. Commun."},{"issue":"2","key":"41_CR18","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.tibtech.2017.10.008","volume":"36","author":"D Germini","year":"2018","unstructured":"Germini, D., Tsfasman, T., Zakharova, V.V., Sjakste, N., Lipinski, M., Vassetzky, Y.: A comparison of techniques to evaluate the effectiveness of genome editing. Trends Biotechnol. 36(2), 147\u2013159 (2018)","journal-title":"Trends Biotechnol."},{"key":"41_CR19","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 9th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics, pp. 11\u201320. ACM Press (2018)","DOI":"10.1145\/3233547.3233550"},{"issue":"8","key":"41_CR20","doi-asserted-by":"publisher","first-page":"e22649","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), e22649 (2011)","journal-title":"PLOS one"},{"issue":"7369","key":"41_CR21","doi-asserted-by":"publisher","first-page":"E4","DOI":"10.1038\/nature10543","volume":"478","author":"F M\u00fcller","year":"2011","unstructured":"M\u00fcller, F., Schuppert, A.: Few inputs can reprogram biological networks. Nature 478(7369), E4 (2011)","journal-title":"Nature"},{"issue":"4","key":"41_CR22","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1016\/j.cell.2006.07.024","volume":"126","author":"K Takahashi","year":"2006","unstructured":"Takahashi, K., Yamanaka, S.: Induction of pluripotent stem cells from mouse embryonic and adult fibroblast cultures by defined factors. Cell 126(4), 663\u2013676 (2006)","journal-title":"Cell"},{"issue":"4","key":"41_CR23","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. Bioinform. 15(4), 1203\u20131216 (2018)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform."},{"issue":"10","key":"41_CR24","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."},{"key":"41_CR25","doi-asserted-by":"crossref","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. Bioinform. (2019)","DOI":"10.1109\/TCBB.2019.2915081"},{"key":"41_CR26","doi-asserted-by":"publisher","first-page":"D455","DOI":"10.1093\/nar\/gkn858","volume":"37","author":"R Zhang","year":"2008","unstructured":"Zhang, R., Lin, Y.: Deg 5.0, a database of essential genes in both prokaryotes and eukaryotes. Nucleic Acids Res. 37, D455\u2013D458 (2008). (Database issue)","journal-title":"Nucleic Acids Res."},{"issue":"10","key":"41_CR27","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)","journal-title":"PLOS one"},{"issue":"1","key":"41_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-3-1","volume":"3","author":"O Sahin","year":"2009","unstructured":"Sahin, O., et al.: Modeling ERBB receptor-regulated G1\/S transition to find novel targets for de novo trastuzumab resistance. BMC Syst. Biol. 3(1), 1 (2009)","journal-title":"BMC Syst. Biol."},{"issue":"11","key":"41_CR29","doi-asserted-by":"publisher","first-page":"e1004571","DOI":"10.1371\/journal.pcbi.1004571","volume":"11","author":"DPA Cohen","year":"2015","unstructured":"Cohen, D.P.A., Martignetti, L., Robine, S., Barillot, E., Zinovyev, A., Calzone, L.: Mathematical modelling of molecular pathways enabling tumour cell invasion and migration. PLoS Comput. Biol. 11(11), e1004571 (2015)","journal-title":"PLoS Comput. Biol."},{"key":"41_CR30","doi-asserted-by":"publisher","first-page":"44","DOI":"10.3389\/fgene.2016.00044","volume":"7","author":"B Offermann","year":"2016","unstructured":"Offermann, B., et al.: Boolean modeling reveals the necessity of transcriptional regulation for bistability in PC12 cell differentiation. Front. Genet. 7, 44 (2016)","journal-title":"Front. Genet."},{"issue":"23","key":"41_CR31","doi-asserted-by":"publisher","first-page":"5792","DOI":"10.1073\/pnas.1610622114","volume":"114","author":"S Collombet","year":"2017","unstructured":"Collombet, S., et al.: Logical modeling of lymphoid and myeloid cell specification and transdifferentiation. Proc. Natl. Acad. Sci. 114(23), 5792\u20135799 (2017)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"10","key":"41_CR32","doi-asserted-by":"publisher","first-page":"e1003286","DOI":"10.1371\/journal.pcbi.1003286","volume":"9","author":"L Grieco","year":"2013","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perles, B., Thieffry, D.: Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput. Biol. 9(10), e1003286 (2013)","journal-title":"PLoS Comput. Biol."},{"issue":"18","key":"41_CR33","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1093\/bioinformatics\/bts410","volume":"28","author":"A Singh","year":"2012","unstructured":"Singh, A., Nascimento, J.M., Kowar, S., Busch, H., Boerries, M.: Boolean approach to signalling pathway modelling in HGF-induced keratinocyte migration. Bioinformatics 28(18), 495\u2013501 (2012)","journal-title":"Bioinformatics"},{"key":"41_CR34","doi-asserted-by":"publisher","first-page":"599","DOI":"10.3389\/fimmu.2014.00599","volume":"5","author":"BD Conroy","year":"2014","unstructured":"Conroy, B.D., et al.: Design, assessment, and in vivo evaluation of a computational model illustrating the role of CAV1 in CD4+ T-lymphocytes. Front. Immunol. 5, 599 (2014)","journal-title":"Front. Immunol."},{"key":"41_CR35","doi-asserted-by":"crossref","unstructured":"Mandon, H., Su, C., Haar, S., Pang, J., Paulev\u00e9, L.: Sequential reprogramming of Boolean networks made practical. In: Proceedings 17th International Conference on Computational Methods in Systems Biology. LNCS, Springer-Verlag (2019)","DOI":"10.1007\/978-3-030-31304-3_1"},{"key":"41_CR36","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717631","volume-title":"Probabilistic Boolean Networks: The Modeling and Control of Gene Regulatory Networks","author":"I Shmulevich","year":"2010","unstructured":"Shmulevich, I., Dougherty, E.R.: Probabilistic Boolean Networks: The Modeling and Control of Gene Regulatory Networks. SIAM Press, Philadelphia (2010)"},{"key":"41_CR37","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1186\/1478-811X-11-46","volume":"11","author":"P Trairatphisan","year":"2013","unstructured":"Trairatphisan, P., Mizera, A., Pang, J., Tantar, A.A., Schneider, J., Sauter, T.: Recent development and biomedical applications of probabilistic Boolean networks. Cell Commun. Signal. 11, 46 (2013)","journal-title":"Cell Commun. Signal."}],"container-title":["Lecture Notes in Computer Science","Formal Methods \u2013 The Next 30 Years"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30942-8_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,5]],"date-time":"2020-05-05T06:12:14Z","timestamp":1588659134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30942-8_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030309411","9783030309428"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30942-8_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 September 2019","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":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2019.inesctec.pt\/","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":"129","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":"44","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":"7","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":"34% - 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":"4","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,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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}