{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:40:55Z","timestamp":1757623255942,"version":"3.44.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032014351"},{"type":"electronic","value":"9783032014368"}],"license":[{"start":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T00:00:00Z","timestamp":1755561600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T00:00:00Z","timestamp":1755561600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-01436-8_4","type":"book-chapter","created":{"date-parts":[[2025,8,18]],"date-time":"2025-08-18T03:24:27Z","timestamp":1755487467000},"page":"61-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["AEON 2025: Robust Control of\u00a0Partially-Specified Boolean Networks"],"prefix":"10.1007","author":[{"given":"Vojt\u011bch","family":"Vesel\u00fd","sequence":"first","affiliation":[]},{"given":"Eva","family":"\u0160mij\u00e1kov\u00e1","sequence":"additional","affiliation":[]},{"given":"Samuel","family":"Pastva","sequence":"additional","affiliation":[]},{"given":"Nikola","family":"Bene\u0161","sequence":"additional","affiliation":[]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,19]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bene\u0161, N., Brim, L., Huvar, O., Pastva, S., \u0160afr\u00e1nek, D., \u0160mij\u00e1kov\u00e1, E.: AEON.py: python library for attractor analysis in asynchronous Boolean networks. Bioinformatics 38(21), 4978\u20134980 (2022)","DOI":"10.1093\/bioinformatics\/btac624"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Lahiri, S.K., Wang, C. (eds.): CAV 2020. LNCS, vol. 12224. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53288-8","DOI":"10.1007\/978-3-030-53288-8"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bene\u0161, N., Brim, L., Pastva, S., \u0160afr\u00e1nek, D.: AEON 2021: bifurcation decision trees in Boolean networks. In: Computational Methods in Systems Biology, pp. 230\u2013237. Springer (2021)","DOI":"10.1007\/978-3-030-85633-5_14"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Bene\u0161, N., Brim, L., Pastva, S., \u0160afr\u00e1nek, D., \u0160mij\u00e1kov\u00e1, E.: Phenotype control of partially specified Boolean networks. In: Phenotype Control of Partially Specified Boolean Networks. In: Pang, J., Niehren, J. (eds.) Computational Methods in Systems Biology. CMSB 2023. LNCS, vol. 14137, pp. 18\u201335. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-42697-1_2","DOI":"10.1007\/978-3-031-42697-1_2"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Bene\u0161, N., Brim, L., Huvar, O., Pastva, S., \u0160afr\u00e1nek, D.: Boolean network sketches: a unifying framework for logical model inference. Bioinformatics 39(4), btad158 (2023)","DOI":"10.1093\/bioinformatics\/btad158"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Calzone, L., et al.: Mathematical modelling of cell-fate decision in response to death receptor engagement. PLOS Comput. Biol. 6, e1000702\u2013e1000702 (2010)","DOI":"10.1371\/journal.pcbi.1000702"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Chevalier, S., Boyenval, D., Maga\u00f1a-L\u00f3pez, G., Roncalli, T., Vaginay, A., Paulev\u00e9, L.: Bonesis: a python-based declarative environment for the verification, reprogramming, and synthesis of most permissive Boolean networks. In: Gori, R., Milazzo, P., Tribastone, M. (eds.) Computational Methods in Systems Biology. CMSB 2024. LNCS, vol. 14971, pp. 71\u201379. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-71671-3_6","DOI":"10.1007\/978-3-031-71671-3_6"},{"key":"4_CR8","doi-asserted-by":"publisher","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","DOI":"10.1007\/978-3-030-60327-4_9"},{"key":"4_CR9","doi-asserted-by":"publisher","DOI":"10.3389\/fams.2022.838546","volume":"8","author":"L Cifuentes-Fontanals","year":"2022","unstructured":"Cifuentes-Fontanals, L., Tonello, E., Siebert, H.: Control in Boolean networks with model checking. Front. Appl. Math. Statist. 8, 838546 (2022)","journal-title":"Front. Appl. Math. Statist."},{"key":"4_CR10","doi-asserted-by":"crossref","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, e1004571 (2015)","DOI":"10.1371\/journal.pcbi.1004571"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perl\u00e8s, B., Thieffry, D.: Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLOS Comput. Biol. 9(10), 1\u201315 (2013)","DOI":"10.1371\/journal.pcbi.1003286"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1186\/1752-1947-6-307","volume":"6","author":"N Ito","year":"2012","unstructured":"Ito, N., Kuwahara, G., Sukehiro, Y., Teratani, H.: Segmental arterial mediolysis accompanied by renal infarction and pancreatic enlargement: a case report. J. Med. Case Rep. 6, 307 (2012)","journal-title":"J. Med. Case Rep."},{"issue":"531","key":"4_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1086\/279202","volume":"45","author":"W Johannsen","year":"1911","unstructured":"Johannsen, W.: The genotype conception of heredity. Am. Nat. 45(531), 129\u2013159 (1911)","journal-title":"Am. Nat."},{"issue":"5","key":"4_CR14","doi-asserted-by":"publisher","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"},{"key":"4_CR15","doi-asserted-by":"publisher","unstructured":"Klarner, H., Streck, A., \u0160afr\u00e1nek, D., Kol\u010d\u00e1k, J., Siebert, H.: Parameter identification and model ranking of Thomas networks. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS, pp. 207\u2013226. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33636-2_13","DOI":"10.1007\/978-3-642-33636-2_13"},{"issue":"10","key":"4_CR16","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\u2013an R package for generation, reconstruction and analysis of Boolean networks. Bioinformatics 26(10), 1378\u20131380 (2010)","journal-title":"Bioinformatics"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.24072\/pcjournal.255","volume":"3","author":"L Paulev\u00e9","year":"2023","unstructured":"Paulev\u00e9, L.: Marker and source-marker reprogramming of most permissive Boolean networks and ensembles with BoNesis. Peer Commun. J. 3, 1\u201325 (2023)","journal-title":"Peer Commun. J."},{"issue":"12","key":"4_CR18","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1016\/j.crvi.2014.10.002","volume":"337","author":"A Poret","year":"2014","unstructured":"Poret, A., Boissel, J.P.: An in silico target identification using Boolean network attractors: avoiding pathological phenotypes. C.R. Biol. 337(12), 661\u2013678 (2014)","journal-title":"C.R. Biol."},{"issue":"2","key":"4_CR19","doi-asserted-by":"publisher","DOI":"10.1098\/rsos.171852","volume":"5","author":"A Poret","year":"2018","unstructured":"Poret, A., Guziolowski, C.: Therapeutic target discovery using Boolean network attractors: improvements of kali. R. Soc. Open Sci. 5(2), 171852 (2018)","journal-title":"R. Soc. Open Sci."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Rozum, J.C., Campbell, C., Newby, E., Nasrollahi, F.S.F., Albert, R.: Boolean Networks as Predictive Models of Emergent Biological Behaviors. Cambridge University Press, Cambridge (2024)","DOI":"10.1017\/9781009292955"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Rozum, J.C., Deritei, D., Park, K.H., G\u00f3mez Tejeda\u00a0Za\u00f1udo, J., Albert, R.: pystablemotifs: Python library for attractor identification and control in Boolean networks. Bioinformatics 38(5), 1465\u20131466 (2022)","DOI":"10.1093\/bioinformatics\/btab825"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Su, C., Pang, J.: A dynamics-based approach for the target control of Boolean networks. In: ACM International Conference on Bioinformatics, Computational Biology and Health Informatics, pp.\u00a01\u20138. Association for Computing Machinery (2020)","DOI":"10.1145\/3388440.3412464"},{"issue":"6","key":"4_CR23","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1093\/bioinformatics\/btaa752","volume":"37","author":"C Su","year":"2021","unstructured":"Su, C., Pang, J.: CABEAN: a software for the control of asynchronous Boolean networks. Bioinformatics 37(6), 879\u2013881 (2021)","journal-title":"Bioinformatics"},{"issue":"4","key":"4_CR24","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1004193","volume":"11","author":"JG Zanudo","year":"2015","unstructured":"Zanudo, J.G., Albert, R.: Cell fate reprogramming by control of intracellular network dynamics. PLoS Comput. Biol. 11(4), e1004193 (2015)","journal-title":"PLoS Comput. Biol."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-01436-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T05:02:30Z","timestamp":1757394150000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01436-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,19]]},"ISBN":["9783032014351","9783032014368"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01436-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,19]]},"assertion":[{"value":"19 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lyon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2025.sciencesconf.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}