[{"doi":"10.1093/bioinformatics/btaf280","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","pmid":1,"quality_controlled":"1","department":[{"_id":"ToHe"}],"has_accepted_license":"1","publication":"Bioinformatics","issue":"5","DOAJ_listed":"1","title":"Mapping the attractor landscape of Boolean networks with biobalm","type":"journal_article","abstract":[{"lang":"eng","text":"Motivation: Boolean networks are popular dynamical models of cellular processes in systems biology. Their attractors model phenotypes that arise from the interplay of key regulatory subcircuits. A succession diagram (SD) describes this interplay in a discrete analog of Waddington’s epigenetic attractor landscape that allows for fast identification of attractors and attractor control strategies. Efficient computational tools for studying SDs are essential for the understanding of Boolean attractor landscapes and connecting them to their biological functions.\r\nResults: We present a new approach to SD construction for asynchronously updated Boolean networks, implemented in the biologist’s Boolean attractor landscape mapper, biobalm. We compare biobalm to similar tools and find a substantial performance increase in SD construction, attractor identification, and attractor control. We perform the most comprehensive comparative analysis to date of the SD structure in experimentally-validated Boolean models of cell processes and random ensembles. We find that random models (including critical Kauffman networks) have relatively small SDs, indicating simple decision structures. In contrast, nonrandom models from the literature are enriched in extremely large SDs, indicating an abundance of decision points and suggesting the presence of complex Waddington landscapes in nature.\r\nAvailability and implementation: The tool biobalm is available online at https://github.com/jcrozum/biobalm. Further data, scripts for testing, analysis, and figure generation are available online at https://github.com/jcrozum/biobalm-analysis and in the reproducibility artefact at https://doi.org/10.5281/zenodo.13854760."}],"citation":{"ieee":"V. G. Trinh, K. H. Park, S. Pastva, and J. C. Rozum, “Mapping the attractor landscape of Boolean networks with biobalm,” <i>Bioinformatics</i>, vol. 41, no. 5. Oxford University Press, 2025.","ama":"Trinh VG, Park KH, Pastva S, Rozum JC. Mapping the attractor landscape of Boolean networks with biobalm. <i>Bioinformatics</i>. 2025;41(5). doi:<a href=\"https://doi.org/10.1093/bioinformatics/btaf280\">10.1093/bioinformatics/btaf280</a>","mla":"Trinh, Van Giang, et al. “Mapping the Attractor Landscape of Boolean Networks with Biobalm.” <i>Bioinformatics</i>, vol. 41, no. 5, btaf280, Oxford University Press, 2025, doi:<a href=\"https://doi.org/10.1093/bioinformatics/btaf280\">10.1093/bioinformatics/btaf280</a>.","apa":"Trinh, V. G., Park, K. H., Pastva, S., &#38; Rozum, J. C. (2025). Mapping the attractor landscape of Boolean networks with biobalm. <i>Bioinformatics</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/bioinformatics/btaf280\">https://doi.org/10.1093/bioinformatics/btaf280</a>","ista":"Trinh VG, Park KH, Pastva S, Rozum JC. 2025. Mapping the attractor landscape of Boolean networks with biobalm. Bioinformatics. 41(5), btaf280.","chicago":"Trinh, Van Giang, Kyu Hyong Park, Samuel Pastva, and Jordan C. Rozum. “Mapping the Attractor Landscape of Boolean Networks with Biobalm.” <i>Bioinformatics</i>. Oxford University Press, 2025. <a href=\"https://doi.org/10.1093/bioinformatics/btaf280\">https://doi.org/10.1093/bioinformatics/btaf280</a>.","short":"V.G. Trinh, K.H. Park, S. Pastva, J.C. Rozum, Bioinformatics 41 (2025)."},"article_number":"btaf280","oa_version":"Published Version","publisher":"Oxford University Press","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020"}],"month":"05","article_processing_charge":"Yes","corr_author":"1","isi":1,"intvolume":"        41","OA_type":"gold","article_type":"original","volume":41,"ec_funded":1,"OA_place":"publisher","file":[{"file_size":2695801,"checksum":"fa9d68aa0f5ce37598a623c9be936f09","date_created":"2025-06-10T07:07:45Z","creator":"dernst","date_updated":"2025-06-10T07:07:45Z","file_id":"19801","file_name":"2025_Bioinformatics_Trinh.pdf","relation":"main_file","content_type":"application/pdf","success":1,"access_level":"open_access"}],"publication_identifier":{"eissn":["1367-4811"]},"status":"public","language":[{"iso":"eng"}],"related_material":{"link":[{"url":"https://github.com/jcrozum/biobalm","relation":"software"}],"record":[{"id":"19800","relation":"research_data","status":"public"}]},"external_id":{"pmid":["40327535"],"isi":["001493400600001"]},"date_published":"2025-05-01T00:00:00Z","date_created":"2025-06-08T22:01:22Z","author":[{"full_name":"Trinh, Van Giang","last_name":"Trinh","first_name":"Van Giang"},{"full_name":"Park, Kyu Hyong","first_name":"Kyu Hyong","last_name":"Park"},{"first_name":"Samuel","last_name":"Pastva","full_name":"Pastva, Samuel","orcid":"0000-0003-1993-0331","id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b"},{"first_name":"Jordan C.","last_name":"Rozum","full_name":"Rozum, Jordan C."}],"date_updated":"2025-09-30T12:46:33Z","year":"2025","publication_status":"published","scopus_import":"1","file_date_updated":"2025-06-10T07:07:45Z","acknowledgement":"V.-G.T. was supported by Institut Carnot STAR, Marseille, France. K.H.P. was supported by NSF grant MCB1715826 to Réka Albert. S.P. has received funding from the European Union’s Horizon 2020 Research and Innovation Programme under the Marie Sklodowska-Curie Grant Agreement No. 101034413. J.C.R. was supported by internal departmental funds provided by Luis M. Rocha. No funding bodies had any role in study design, analysis, decision to publish, or preparation of the article.","day":"01","_id":"19796","oa":1,"ddc":["000"]},{"oa_version":"Published Version","article_number":"11","citation":{"short":"S. Pastva, K.H. Park, O. Huvar, J.C. Rozum, R. Albert, Journal of Mathematical Biology 91 (2025).","chicago":"Pastva, Samuel, Kyu Hyong Park, Ondřej Huvar, Jordan C. Rozum, and Réka Albert. “An Open Problem: Why Are Motif-Avoidant Attractors so Rare in Asynchronous Boolean Networks?” <i>Journal of Mathematical Biology</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s00285-025-02235-8\">https://doi.org/10.1007/s00285-025-02235-8</a>.","apa":"Pastva, S., Park, K. H., Huvar, O., Rozum, J. C., &#38; Albert, R. (2025). An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks? <i>Journal of Mathematical Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00285-025-02235-8\">https://doi.org/10.1007/s00285-025-02235-8</a>","mla":"Pastva, Samuel, et al. “An Open Problem: Why Are Motif-Avoidant Attractors so Rare in Asynchronous Boolean Networks?” <i>Journal of Mathematical Biology</i>, vol. 91, 11, Springer Nature, 2025, doi:<a href=\"https://doi.org/10.1007/s00285-025-02235-8\">10.1007/s00285-025-02235-8</a>.","ama":"Pastva S, Park KH, Huvar O, Rozum JC, Albert R. An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks? <i>Journal of Mathematical Biology</i>. 2025;91. doi:<a href=\"https://doi.org/10.1007/s00285-025-02235-8\">10.1007/s00285-025-02235-8</a>","ieee":"S. Pastva, K. H. Park, O. Huvar, J. C. Rozum, and R. Albert, “An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?,” <i>Journal of Mathematical Biology</i>, vol. 91. Springer Nature, 2025.","ista":"Pastva S, Park KH, Huvar O, Rozum JC, Albert R. 2025. An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks? Journal of Mathematical Biology. 91, 11."},"type":"journal_article","abstract":[{"lang":"eng","text":"Asynchronous Boolean networks are a type of discrete dynamical system in which each variable can take one of two states, and a single variable state is updated in each time step according to pre-selected rules. Boolean networks are popular in systems biology due to their ability to model long-term biological phenotypes within a qualitative, predictive framework. Boolean networks model phenotypes as attractors, which are closely linked to minimal trap spaces (inescapable hypercubes in the system’s state space). In biological applications, attractors and minimal trap spaces are typically in one-to-one correspondence. However, this correspondence is not guaranteed: motif-avoidant attractors (MAAs) that lie outside minimal trap spaces are possible. MAAs are rare and poorly understood, despite recent efforts. In this contribution to the BMB & JMB Special Collection “Problems, Progress and Perspectives in Mathematical and Computational Biology”, we summarize the current state of knowledge regarding MAAs and present several novel observations regarding their response to node deletion reductions and linear extensions of edges. We conduct large-scale computational studies on an ensemble of 14 000 models derived from published Boolean models of biological systems, and more than 100 million Random Boolean Networks. Our findings quantify the rarity of MAAs; in particular, we only observed MAAs in biological models after applying standard simplification methods, highlighting the role of network reduction in introducing MAAs into the dynamics. We also show that MAAs are fragile to linear extensions: in sparse networks, even a single linear node can disrupt virtually all MAAs. Motivated by this observation, we improve the upper bound on the number of delays needed to disrupt a motif-avoidant attractor."}],"title":"An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?","corr_author":"1","article_processing_charge":"Yes (in subscription journal)","month":"06","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020"}],"publisher":"Springer Nature","quality_controlled":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.1007/s00285-025-02235-8","arxiv":1,"publication":"Journal of Mathematical Biology","has_accepted_license":"1","department":[{"_id":"ToHe"}],"year":"2025","publication_status":"published","date_updated":"2025-09-30T13:36:46Z","author":[{"first_name":"Samuel","last_name":"Pastva","full_name":"Pastva, Samuel","id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","orcid":"0000-0003-1993-0331"},{"first_name":"Kyu Hyong","last_name":"Park","full_name":"Park, Kyu Hyong"},{"last_name":"Huvar","first_name":"Ondřej","full_name":"Huvar, Ondřej"},{"full_name":"Rozum, Jordan C.","last_name":"Rozum","first_name":"Jordan C."},{"full_name":"Albert, Réka","last_name":"Albert","first_name":"Réka"}],"date_created":"2025-06-22T22:02:05Z","external_id":{"isi":["001507009300001"],"arxiv":["2410.03976"]},"date_published":"2025-06-12T00:00:00Z","language":[{"iso":"eng"}],"status":"public","_id":"19854","ddc":["000"],"oa":1,"day":"12","acknowledgement":"Ondřej Huvar has been supported by the Czech Science Foundation grant No. GA22-10845S. Samuel Pastva received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Grant Agreement No. 101034413. Kyu Hyong Park and Réka Albert have been supported by NSF grant MCB 1715826 and ARO grant 79961-SM-MUR. No funding bodies had any role in study design, analysis, decision to publish, or preparation of the manuscript.","scopus_import":"1","file_date_updated":"2025-06-23T11:10:01Z","article_type":"original","OA_type":"hybrid","isi":1,"intvolume":"        91","publication_identifier":{"eissn":["1432-1416"],"issn":["0303-6812"]},"file":[{"file_size":1243163,"checksum":"a385ef2662f1d0c3497ed3f2721fe594","file_name":"2025_JourMathBiology_Pastva.pdf","creator":"dernst","date_created":"2025-06-23T11:10:01Z","date_updated":"2025-06-23T11:10:01Z","file_id":"19871","content_type":"application/pdf","relation":"main_file","access_level":"open_access","success":1}],"OA_place":"publisher","ec_funded":1,"volume":91},{"acknowledgement":"The work has been supported by the Czech Science Foundation grant No. GA22-10845S. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Grant Agreement No. 101034413.","scopus_import":"1","_id":"18177","day":"19","date_published":"2024-09-19T00:00:00Z","external_id":{"isi":["001333144400002"]},"status":"public","language":[{"iso":"eng"}],"year":"2024","publication_status":"published","date_created":"2024-10-06T22:01:12Z","author":[{"last_name":"Beneš","first_name":"Nikola","full_name":"Beneš, Nikola"},{"full_name":"Brim, Luboš","last_name":"Brim","first_name":"Luboš"},{"last_name":"Huvar","first_name":"Ondřej","full_name":"Huvar, Ondřej"},{"id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","orcid":"0000-0003-1993-0331","full_name":"Pastva, Samuel","last_name":"Pastva","first_name":"Samuel"},{"full_name":"Šafránek, David","first_name":"David","last_name":"Šafránek"}],"date_updated":"2025-09-08T09:54:27Z","ec_funded":1,"volume":14971,"publication_identifier":{"issn":["0302-9743"],"isbn":["9783031716706"],"eissn":["1611-3349"]},"alternative_title":["LNBI"],"isi":1,"intvolume":"     14971","publisher":"Springer Nature","project":[{"grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program"}],"article_processing_charge":"No","month":"09","type":"conference","abstract":[{"lang":"eng","text":"Partially Specified Boolean Networks (PSBNs) represent a family of Boolean models resulting from possible interpretations of unknown update logics. Hybrid extension of CTL (HCTL) has the power to express complex dynamical phenomena, such as oscillations or stability. We present BNClassifier to classify Boolean Networks corresponding to a given PSBN according to criteria specified in HCTL. The implementation of the tool is fully symbolic (based on BDDs). The results are visualised using the machine-learning-based technology of decision trees."}],"title":"BNClassifier: Classifying boolean models by dynamic properties","page":"19-26","oa_version":"None","citation":{"short":"N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, in:, Computational Methods in Systems Biology, Springer Nature, 2024, pp. 19–26.","chicago":"Beneš, Nikola, Luboš Brim, Ondřej Huvar, Samuel Pastva, and David Šafránek. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” In <i>Computational Methods in Systems Biology</i>, 14971:19–26. Springer Nature, 2024. <a href=\"https://doi.org/10.1007/978-3-031-71671-3_2\">https://doi.org/10.1007/978-3-031-71671-3_2</a>.","apa":"Beneš, N., Brim, L., Huvar, O., Pastva, S., &#38; Šafránek, D. (2024). BNClassifier: Classifying boolean models by dynamic properties. In <i>Computational Methods in Systems Biology</i> (Vol. 14971, pp. 19–26). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-71671-3_2\">https://doi.org/10.1007/978-3-031-71671-3_2</a>","mla":"Beneš, Nikola, et al. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” <i>Computational Methods in Systems Biology</i>, vol. 14971, Springer Nature, 2024, pp. 19–26, doi:<a href=\"https://doi.org/10.1007/978-3-031-71671-3_2\">10.1007/978-3-031-71671-3_2</a>.","ama":"Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. BNClassifier: Classifying boolean models by dynamic properties. In: <i>Computational Methods in Systems Biology</i>. Vol 14971. Springer Nature; 2024:19-26. doi:<a href=\"https://doi.org/10.1007/978-3-031-71671-3_2\">10.1007/978-3-031-71671-3_2</a>","ieee":"N. Beneš, L. Brim, O. Huvar, S. Pastva, and D. Šafránek, “BNClassifier: Classifying boolean models by dynamic properties,” in <i>Computational Methods in Systems Biology</i>, 2024, vol. 14971, pp. 19–26.","ista":"Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. 2024. BNClassifier: Classifying boolean models by dynamic properties. Computational Methods in Systems Biology. , LNBI, vol. 14971, 19–26."},"department":[{"_id":"ToHe"}],"publication":"Computational Methods in Systems Biology","doi":"10.1007/978-3-031-71671-3_2","quality_controlled":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"abstract":[{"text":"This archive contains all the code and data necessary to reproduce the results presented in the \r\n\"Mapping the attractor landscape of Boolean networks\" paper.","lang":"eng"}],"type":"research_data_reference","related_material":{"record":[{"id":"19796","relation":"used_in_publication","status":"public"}]},"date_published":"2024-09-28T00:00:00Z","status":"public","title":"Mapping the attractor landscape of Boolean networks","oa_version":"Published Version","year":"2024","author":[{"full_name":"trinh, Van Giang","last_name":"trinh","first_name":"Van Giang"},{"full_name":"Park, Kyu Hyong","last_name":"Park","first_name":"Kyu Hyong"},{"full_name":"Pastva, Samuel","id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","orcid":"0000-0003-1993-0331","last_name":"Pastva","first_name":"Samuel"},{"last_name":"Rozum","first_name":"Jordan","full_name":"Rozum, Jordan"}],"citation":{"mla":"trinh, Van Giang, et al. <i>Mapping the Attractor Landscape of Boolean Networks</i>. Zenodo, 2024, doi:<a href=\"https://doi.org/10.5281/ZENODO.13854759\">10.5281/ZENODO.13854759</a>.","apa":"trinh, V. G., Park, K. H., Pastva, S., &#38; Rozum, J. (2024). Mapping the attractor landscape of Boolean networks. Zenodo. <a href=\"https://doi.org/10.5281/ZENODO.13854759\">https://doi.org/10.5281/ZENODO.13854759</a>","ieee":"V. G. trinh, K. H. Park, S. Pastva, and J. Rozum, “Mapping the attractor landscape of Boolean networks.” Zenodo, 2024.","ama":"trinh VG, Park KH, Pastva S, Rozum J. Mapping the attractor landscape of Boolean networks. 2024. doi:<a href=\"https://doi.org/10.5281/ZENODO.13854759\">10.5281/ZENODO.13854759</a>","ista":"trinh VG, Park KH, Pastva S, Rozum J. 2024. Mapping the attractor landscape of Boolean networks, Zenodo, <a href=\"https://doi.org/10.5281/ZENODO.13854759\">10.5281/ZENODO.13854759</a>.","short":"V.G. trinh, K.H. Park, S. Pastva, J. Rozum, (2024).","chicago":"trinh, Van Giang, Kyu Hyong Park, Samuel Pastva, and Jordan Rozum. “Mapping the Attractor Landscape of Boolean Networks.” Zenodo, 2024. <a href=\"https://doi.org/10.5281/ZENODO.13854759\">https://doi.org/10.5281/ZENODO.13854759</a>."},"date_created":"2025-06-10T07:10:01Z","date_updated":"2025-09-30T12:46:33Z","publisher":"Zenodo","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.13854760"}],"_id":"19800","ddc":["000"],"oa":1,"month":"09","day":"28","article_processing_charge":"No","doi":"10.5281/ZENODO.13854759","OA_type":"green","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ToHe"}],"has_accepted_license":"1","OA_place":"repository"},{"abstract":[{"text":"Boolean Networks (BNs) are widely used as a modeling formalism in several domains, notably systems biology and computer science. A fundamental problem in BN analysis is the enumeration of trap spaces, which are hypercubes in the state space that cannot be escaped once entered. Several methods have been proposed for enumerating trap spaces, however they often suffer from scalability and efficiency issues, particularly for large and complex models. To our knowledge, the most efficient and recent methods for the trap space enumeration all rely on Answer Set Programming (ASP), which has been widely applied to the analysis of BNs. Motivated by these considerations, our work proposes a new method for enumerating trap spaces in BNs using ASP. We evaluate the method on a mix of 250+ real-world and 400+ randomly generated BNs, showing that it enables analysis of models beyond the capabilities of existing tools (namely pyboolnet, mpbn, trappist, and trapmvn).","lang":"eng"}],"type":"conference","title":"Scalable enumeration of trap spaces in boolean networks via answer set programming","page":"10714-10722","oa_version":"Published Version","citation":{"short":"G. Trinh, B. Benhamou, S. Pastva, S. Soliman, in:, Proceedings of the 38th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–10722.","chicago":"Trinh, Giang, Belaid Benhamou, Samuel Pastva, and Sylvain Soliman. “Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.” In <i>Proceedings of the 38th AAAI Conference on Artificial Intelligence</i>, 38:10714–22. Association for the Advancement of Artificial Intelligence, 2024. <a href=\"https://doi.org/10.1609/aaai.v38i9.28943\">https://doi.org/10.1609/aaai.v38i9.28943</a>.","apa":"Trinh, G., Benhamou, B., Pastva, S., &#38; Soliman, S. (2024). Scalable enumeration of trap spaces in boolean networks via answer set programming. In <i>Proceedings of the 38th AAAI Conference on Artificial Intelligence</i> (Vol. 38, pp. 10714–10722). Association for the Advancement of Artificial Intelligence. <a href=\"https://doi.org/10.1609/aaai.v38i9.28943\">https://doi.org/10.1609/aaai.v38i9.28943</a>","mla":"Trinh, Giang, et al. “Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.” <i>Proceedings of the 38th AAAI Conference on Artificial Intelligence</i>, vol. 38, no. 9, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–22, doi:<a href=\"https://doi.org/10.1609/aaai.v38i9.28943\">10.1609/aaai.v38i9.28943</a>.","ieee":"G. Trinh, B. Benhamou, S. Pastva, and S. Soliman, “Scalable enumeration of trap spaces in boolean networks via answer set programming,” in <i>Proceedings of the 38th AAAI Conference on Artificial Intelligence</i>, 2024, vol. 38, no. 9, pp. 10714–10722.","ama":"Trinh G, Benhamou B, Pastva S, Soliman S. Scalable enumeration of trap spaces in boolean networks via answer set programming. In: <i>Proceedings of the 38th AAAI Conference on Artificial Intelligence</i>. Vol 38. Association for the Advancement of Artificial Intelligence; 2024:10714-10722. doi:<a href=\"https://doi.org/10.1609/aaai.v38i9.28943\">10.1609/aaai.v38i9.28943</a>","ista":"Trinh G, Benhamou B, Pastva S, Soliman S. 2024. Scalable enumeration of trap spaces in boolean networks via answer set programming. Proceedings of the 38th AAAI Conference on Artificial Intelligence. vol. 38, 10714–10722."},"publisher":"Association for the Advancement of Artificial Intelligence","project":[{"grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020"}],"main_file_link":[{"open_access":"1","url":"https://amu.hal.science/hal-04523118/"}],"article_processing_charge":"No","month":"03","doi":"10.1609/aaai.v38i9.28943","quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Proceedings of the 38th AAAI Conference on Artificial Intelligence","department":[{"_id":"ToHe"}],"issue":"9","date_published":"2024-03-25T00:00:00Z","status":"public","language":[{"iso":"eng"}],"year":"2024","publication_status":"published","author":[{"first_name":"Giang","last_name":"Trinh","full_name":"Trinh, Giang"},{"first_name":"Belaid","last_name":"Benhamou","full_name":"Benhamou, Belaid"},{"id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","orcid":"0000-0003-1993-0331","full_name":"Pastva, Samuel","last_name":"Pastva","first_name":"Samuel"},{"full_name":"Soliman, Sylvain","first_name":"Sylvain","last_name":"Soliman"}],"date_created":"2024-04-14T22:01:02Z","date_updated":"2025-04-14T07:54:55Z","acknowledgement":"This work was supported by Institut Carnot STAR, Marseille, France and by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413.","scopus_import":"1","oa":1,"_id":"15321","day":"25","intvolume":"        38","ec_funded":1,"volume":38,"publication_identifier":{"isbn":["1577358872"],"eissn":["2374-3468"],"issn":["2159-5399"]}},{"citation":{"ista":"Beneš N, Brim L, Pastva S, Šafránek D, Šmijáková E. 2023. Phenotype control of partially specified boolean networks. 21st International Conference on Computational Methods in Systems Biology. CMSB: Computational Methods in Systems Biology, LNBI, vol. 14137, 18–35.","ieee":"N. Beneš, L. Brim, S. Pastva, D. Šafránek, and E. Šmijáková, “Phenotype control of partially specified boolean networks,” in <i>21st International Conference on Computational Methods in Systems Biology</i>, Luxembourg City, Luxembourg, 2023, vol. 14137, pp. 18–35.","ama":"Beneš N, Brim L, Pastva S, Šafránek D, Šmijáková E. Phenotype control of partially specified boolean networks. In: <i>21st International Conference on Computational Methods in Systems Biology</i>. Vol 14137. Springer Nature; 2023:18-35. doi:<a href=\"https://doi.org/10.1007/978-3-031-42697-1_2\">10.1007/978-3-031-42697-1_2</a>","mla":"Beneš, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.” <i>21st International Conference on Computational Methods in Systems Biology</i>, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:<a href=\"https://doi.org/10.1007/978-3-031-42697-1_2\">10.1007/978-3-031-42697-1_2</a>.","apa":"Beneš, N., Brim, L., Pastva, S., Šafránek, D., &#38; Šmijáková, E. (2023). Phenotype control of partially specified boolean networks. In <i>21st International Conference on Computational Methods in Systems Biology</i> (Vol. 14137, pp. 18–35). Luxembourg City, Luxembourg: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-42697-1_2\">https://doi.org/10.1007/978-3-031-42697-1_2</a>","chicago":"Beneš, Nikola, Luboš Brim, Samuel Pastva, David Šafránek, and Eva Šmijáková. “Phenotype Control of Partially Specified Boolean Networks.” In <i>21st International Conference on Computational Methods in Systems Biology</i>, 14137:18–35. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-42697-1_2\">https://doi.org/10.1007/978-3-031-42697-1_2</a>.","short":"N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35."},"oa_version":"Submitted Version","page":"18-35","title":"Phenotype control of partially specified boolean networks","type":"conference","abstract":[{"lang":"eng","text":"Partially specified Boolean networks (PSBNs) represent a promising framework for the qualitative modelling of biological systems in which the logic of interactions is not completely known. Phenotype control aims to stabilise the network in states exhibiting specific traits.\r\nIn this paper, we define the phenotype control problem in the context of asynchronous PSBNs and propose a novel semi-symbolic algorithm for solving this problem with permanent variable perturbations."}],"month":"09","article_processing_charge":"No","project":[{"grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publisher":"Springer Nature","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","quality_controlled":"1","doi":"10.1007/978-3-031-42697-1_2","publication":"21st International Conference on Computational Methods in Systems Biology","has_accepted_license":"1","department":[{"_id":"ToHe"}],"date_updated":"2025-09-09T14:25:46Z","date_created":"2023-10-08T22:01:18Z","author":[{"last_name":"Beneš","first_name":"Nikola","full_name":"Beneš, Nikola"},{"first_name":"Luboš","last_name":"Brim","full_name":"Brim, Luboš"},{"id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","orcid":"0000-0003-1993-0331","full_name":"Pastva, Samuel","first_name":"Samuel","last_name":"Pastva"},{"last_name":"Šafránek","first_name":"David","full_name":"Šafránek, David"},{"full_name":"Šmijáková, Eva","first_name":"Eva","last_name":"Šmijáková"}],"publication_status":"published","year":"2023","language":[{"iso":"eng"}],"status":"public","date_published":"2023-09-09T00:00:00Z","external_id":{"isi":["001156280600002"]},"day":"09","oa":1,"_id":"14411","ddc":["000"],"scopus_import":"1","file_date_updated":"2024-02-16T08:26:32Z","conference":{"location":"Luxembourg City, Luxembourg","start_date":"2023-09-13","name":"CMSB: Computational Methods in Systems Biology","end_date":"2023-09-15"},"acknowledgement":"This work was supported by the Czech Foundation grant No. GA22-10845S, Grant Agency of Masaryk University grant No. MUNI/G/1771/2020, and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413.","isi":1,"intvolume":"     14137","alternative_title":["LNBI"],"file":[{"success":1,"access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_id":"14997","date_updated":"2024-02-16T08:26:32Z","creator":"spastva","date_created":"2024-02-16T08:26:32Z","file_name":"cmsb2023.pdf","checksum":"6f71bdaedb770b52380222fd9f4d7937","file_size":691582}],"publication_identifier":{"isbn":["9783031426964"],"eissn":["1611-3349"],"issn":["0302-9743"]},"volume":14137,"ec_funded":1},{"page":"122-131","oa_version":"Published Version","citation":{"short":"S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.","chicago":"Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.” In <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design</i>, 122–31. TU Vienna Academic Press, 2023. <a href=\"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20\">https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20</a>.","mla":"Pastva, Samuel, and Thomas A. Henzinger. “Binary Decision Diagrams on Modern Hardware.” <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design</i>, TU Vienna Academic Press, 2023, pp. 122–31, doi:<a href=\"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20\">10.34727/2023/isbn.978-3-85448-060-0_20</a>.","apa":"Pastva, S., &#38; Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design</i> (pp. 122–131). Ames, IA, United States: TU Vienna Academic Press. <a href=\"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20\">https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20</a>","ama":"Pastva S, Henzinger TA. Binary decision diagrams on modern hardware. In: <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design</i>. TU Vienna Academic Press; 2023:122-131. doi:<a href=\"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20\">10.34727/2023/isbn.978-3-85448-060-0_20</a>","ieee":"S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in <i>Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design</i>, Ames, IA, United States, 2023, pp. 122–131.","ista":"Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 122–131."},"type":"conference","abstract":[{"lang":"eng","text":"Binary decision diagrams (BDDs) are one of the fundamental data structures in formal methods and computer science in general. However, the performance of BDD-based algorithms greatly depends on memory latency due to the reliance on large hash tables and thus, by extension, on the speed of random memory access. This hinders the full utilisation of resources available on modern CPUs, since the absolute memory latency has not improved significantly for at least a decade. In this paper, we explore several implementation techniques that improve the performance of BDD manipulation either through enhanced memory locality or by partially eliminating random memory access. On a benchmark suite of 600+ BDDs derived from real-world applications, we demonstrate runtime that is comparable or better than parallelising the same operations on eight CPU cores. "}],"title":"Binary decision diagrams on modern hardware","corr_author":"1","article_processing_charge":"No","month":"10","project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program"},{"name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publisher":"TU Vienna Academic Press","quality_controlled":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.34727/2023/isbn.978-3-85448-060-0_20","has_accepted_license":"1","publication":"Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design","department":[{"_id":"ToHe"}],"year":"2023","publication_status":"published","date_updated":"2025-09-09T14:04:14Z","author":[{"last_name":"Pastva","first_name":"Samuel","full_name":"Pastva, Samuel","id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","orcid":"0000-0003-1993-0331"},{"first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A"}],"date_created":"2023-12-31T23:01:03Z","external_id":{"isi":["001504402400020"]},"date_published":"2023-10-01T00:00:00Z","language":[{"iso":"eng"}],"status":"public","ddc":["000"],"_id":"14718","oa":1,"day":"01","acknowledgement":"This work was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413 and the\r\n“VAMOS” grant ERC-2020-AdG 101020093.","conference":{"name":"FMCAD: Formal Methods in Computer-Aided Design","end_date":"2023-10-27","location":"Ames, IA, United States","start_date":"2023-10-25"},"scopus_import":"1","file_date_updated":"2024-01-02T08:14:23Z","isi":1,"publication_identifier":{"isbn":["9783854480600"]},"file":[{"checksum":"818d6e13dd508f3a04f0941081022e5d","file_size":524321,"file_id":"14721","date_updated":"2024-01-02T08:14:23Z","creator":"dernst","date_created":"2024-01-02T08:14:23Z","file_name":"2023_FMCAD_Pastva.pdf","relation":"main_file","content_type":"application/pdf","success":1,"access_level":"open_access"}],"ec_funded":1},{"isi":1,"intvolume":"        39","article_type":"original","ec_funded":1,"volume":39,"publication_identifier":{"eissn":["1367-4811"]},"file":[{"file_size":478740,"checksum":"2cb90ddf781baefddf47eac4b54e2a03","date_created":"2023-05-02T07:39:04Z","creator":"dernst","date_updated":"2023-05-02T07:39:04Z","file_id":"12886","file_name":"2023_Bioinformatics_Benes.pdf","relation":"main_file","content_type":"application/pdf","success":1,"access_level":"open_access"}],"related_material":{"link":[{"relation":"software","url":"https://doi.org/10.5281/zenodo.7688740"}]},"external_id":{"pmid":["37004199"],"isi":["000976610800001"]},"date_published":"2023-04-03T00:00:00Z","status":"public","language":[{"iso":"eng"}],"year":"2023","publication_status":"published","author":[{"first_name":"Nikola","last_name":"Beneš","full_name":"Beneš, Nikola"},{"full_name":"Brim, Luboš","first_name":"Luboš","last_name":"Brim"},{"first_name":"Ondřej","last_name":"Huvar","full_name":"Huvar, Ondřej"},{"last_name":"Pastva","first_name":"Samuel","orcid":"0000-0003-1993-0331","id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","full_name":"Pastva, Samuel"},{"full_name":"Šafránek, David","last_name":"Šafránek","first_name":"David"}],"date_created":"2023-04-30T22:01:05Z","date_updated":"2025-05-14T11:06:50Z","acknowledgement":"This work was partially supported by GACR [grant No. GA22-10845S]; and Grant Agency of Masaryk University [grant No. MUNI/G/1771/2020]. This work was partially supported by European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie [Grant Agreement No. 101034413 to S.P.].","scopus_import":"1","file_date_updated":"2023-05-02T07:39:04Z","_id":"12876","ddc":["000"],"oa":1,"day":"03","doi":"10.1093/bioinformatics/btad158","quality_controlled":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pmid":1,"department":[{"_id":"ToHe"}],"publication":"Bioinformatics","has_accepted_license":"1","issue":"4","abstract":[{"lang":"eng","text":"Motivation: The problem of model inference is of fundamental importance to systems biology. Logical models (e.g. Boolean networks; BNs) represent a computationally attractive approach capable of handling large biological networks. The models are typically inferred from experimental data. However, even with a substantial amount of experimental data supported by some prior knowledge, existing inference methods often focus on a small sample of admissible candidate models only.\r\n\r\nResults: We propose Boolean network sketches as a new formal instrument for the inference of Boolean networks. A sketch integrates (typically partial) knowledge about the network’s topology and the update logic (obtained through, e.g. a biological knowledge base or a literature search), as well as further assumptions about the properties of the network’s transitions (e.g. the form of its attractor landscape), and additional restrictions on the model dynamics given by the measured experimental data. Our new BNs inference algorithm starts with an ‘initial’ sketch, which is extended by adding restrictions representing experimental data to a ‘data-informed’ sketch and subsequently computes all BNs consistent with the data-informed sketch. Our algorithm is based on a symbolic representation and coloured model-checking. Our approach is unique in its ability to cover a broad spectrum of knowledge and efficiently produce a compact representation of all inferred BNs. We evaluate the method on a non-trivial collection of real-world and simulated data."}],"type":"journal_article","title":"Boolean network sketches: A unifying framework for logical model inference","oa_version":"Published Version","citation":{"short":"N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, Bioinformatics 39 (2023).","chicago":"Beneš, Nikola, Luboš Brim, Ondřej Huvar, Samuel Pastva, and David Šafránek. “Boolean Network Sketches: A Unifying Framework for Logical Model Inference.” <i>Bioinformatics</i>. Oxford University Press, 2023. <a href=\"https://doi.org/10.1093/bioinformatics/btad158\">https://doi.org/10.1093/bioinformatics/btad158</a>.","ista":"Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. 2023. Boolean network sketches: A unifying framework for logical model inference. Bioinformatics. 39(4), btad158.","mla":"Beneš, Nikola, et al. “Boolean Network Sketches: A Unifying Framework for Logical Model Inference.” <i>Bioinformatics</i>, vol. 39, no. 4, btad158, Oxford University Press, 2023, doi:<a href=\"https://doi.org/10.1093/bioinformatics/btad158\">10.1093/bioinformatics/btad158</a>.","apa":"Beneš, N., Brim, L., Huvar, O., Pastva, S., &#38; Šafránek, D. (2023). Boolean network sketches: A unifying framework for logical model inference. <i>Bioinformatics</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/bioinformatics/btad158\">https://doi.org/10.1093/bioinformatics/btad158</a>","ama":"Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. Boolean network sketches: A unifying framework for logical model inference. <i>Bioinformatics</i>. 2023;39(4). doi:<a href=\"https://doi.org/10.1093/bioinformatics/btad158\">10.1093/bioinformatics/btad158</a>","ieee":"N. Beneš, L. Brim, O. Huvar, S. Pastva, and D. Šafránek, “Boolean network sketches: A unifying framework for logical model inference,” <i>Bioinformatics</i>, vol. 39, no. 4. Oxford University Press, 2023."},"article_number":"btad158","publisher":"Oxford University Press","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"project":[{"call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413"}],"article_processing_charge":"No","month":"04"},{"publication_status":"published","year":"2023","date_updated":"2025-05-14T11:07:28Z","date_created":"2023-07-23T22:01:12Z","author":[{"full_name":"Trinh, Van Giang","last_name":"Trinh","first_name":"Van Giang"},{"full_name":"Benhamou, Belaid","first_name":"Belaid","last_name":"Benhamou"},{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Samuel","last_name":"Pastva","id":"07c5ea74-f61c-11ec-a664-aa7c5d957b2b","orcid":"0000-0003-1993-0331","full_name":"Pastva, Samuel"}],"date_published":"2023-06-30T00:00:00Z","related_material":{"link":[{"url":"https://github.com/giang-trinh/trap-mvn","relation":"software"}]},"external_id":{"pmid":["37387165"],"isi":["001027457000060"]},"language":[{"iso":"eng"}],"status":"public","_id":"13263","oa":1,"ddc":["000"],"day":"30","acknowledgement":"This work was supported by L’Institut Carnot STAR, Marseille, France, and by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. [101034413].","scopus_import":"1","file_date_updated":"2023-07-31T11:09:05Z","article_type":"original","intvolume":"        39","isi":1,"publication_identifier":{"issn":["1367-4803"],"eissn":["1367-4811"]},"file":[{"relation":"main_file","content_type":"application/pdf","success":1,"access_level":"open_access","file_size":641736,"checksum":"ba3abe1171df1958413b7c7f957f5486","creator":"dernst","date_created":"2023-07-31T11:09:05Z","file_id":"13335","date_updated":"2023-07-31T11:09:05Z","file_name":"2023_Bioinformatics_Trinh.pdf"}],"ec_funded":1,"volume":39,"page":"i513-i522","oa_version":"Published Version","citation":{"ista":"Trinh VG, Benhamou B, Henzinger TA, Pastva S. 2023. Trap spaces of multi-valued networks: Definition, computation, and applications. Bioinformatics. 39(Supplement_1), i513–i522.","ieee":"V. G. Trinh, B. Benhamou, T. A. Henzinger, and S. Pastva, “Trap spaces of multi-valued networks: Definition, computation, and applications,” <i>Bioinformatics</i>, vol. 39, no. Supplement_1. Oxford University Press, pp. i513–i522, 2023.","ama":"Trinh VG, Benhamou B, Henzinger TA, Pastva S. Trap spaces of multi-valued networks: Definition, computation, and applications. <i>Bioinformatics</i>. 2023;39(Supplement_1):i513-i522. doi:<a href=\"https://doi.org/10.1093/bioinformatics/btad262\">10.1093/bioinformatics/btad262</a>","apa":"Trinh, V. G., Benhamou, B., Henzinger, T. A., &#38; Pastva, S. (2023). Trap spaces of multi-valued networks: Definition, computation, and applications. <i>Bioinformatics</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/bioinformatics/btad262\">https://doi.org/10.1093/bioinformatics/btad262</a>","mla":"Trinh, Van Giang, et al. “Trap Spaces of Multi-Valued Networks: Definition, Computation, and Applications.” <i>Bioinformatics</i>, vol. 39, no. Supplement_1, Oxford University Press, 2023, pp. i513–22, doi:<a href=\"https://doi.org/10.1093/bioinformatics/btad262\">10.1093/bioinformatics/btad262</a>.","chicago":"Trinh, Van Giang, Belaid Benhamou, Thomas A Henzinger, and Samuel Pastva. “Trap Spaces of Multi-Valued Networks: Definition, Computation, and Applications.” <i>Bioinformatics</i>. Oxford University Press, 2023. <a href=\"https://doi.org/10.1093/bioinformatics/btad262\">https://doi.org/10.1093/bioinformatics/btad262</a>.","short":"V.G. Trinh, B. Benhamou, T.A. Henzinger, S. Pastva, Bioinformatics 39 (2023) i513–i522."},"type":"journal_article","abstract":[{"lang":"eng","text":"Motivation: Boolean networks are simple but efficient mathematical formalism for modelling complex biological systems. However, having only two levels of activation is sometimes not enough to fully capture the dynamics of real-world biological systems. Hence, the need for multi-valued networks (MVNs), a generalization of Boolean networks. Despite the importance of MVNs for modelling biological systems, only limited progress has been made on developing theories, analysis methods, and tools that can support them. In particular, the recent use of trap spaces in Boolean networks made a great impact on the field of systems biology, but there has been no similar concept defined and studied for MVNs to date.\r\n\r\nResults: In this work, we generalize the concept of trap spaces in Boolean networks to that in MVNs. We then develop the theory and the analysis methods for trap spaces in MVNs. In particular, we implement all proposed methods in a Python package called trapmvn. Not only showing the applicability of our approach via a realistic case study, we also evaluate the time efficiency of the method on a large collection of real-world models. The experimental results confirm the time efficiency, which we believe enables more accurate analysis on larger and more complex multi-valued models."}],"title":"Trap spaces of multi-valued networks: Definition, computation, and applications","corr_author":"1","month":"06","article_processing_charge":"Yes","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"project":[{"call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413"}],"publisher":"Oxford University Press","quality_controlled":"1","pmid":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1093/bioinformatics/btad262","issue":"Supplement_1","department":[{"_id":"ToHe"}],"has_accepted_license":"1","publication":"Bioinformatics"}]