{"id":"https://openalex.org/W2883975869","doi":"https://doi.org/10.1109/tcbb.2018.2879097","title":"Basins of Attraction, Commitment Sets, and Phenotypes of Boolean Networks","display_name":"Basins of Attraction, Commitment Sets, and Phenotypes of Boolean Networks","publication_year":2018,"publication_date":"2018-12-18","ids":{"openalex":"https://openalex.org/W2883975869","doi":"https://doi.org/10.1109/tcbb.2018.2879097","mag":"2883975869","pmid":"https://pubmed.ncbi.nlm.nih.gov/30575543"},"language":"en","primary_location":{"id":"doi:10.1109/tcbb.2018.2879097","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tcbb.2018.2879097","pdf_url":"https://ieeexplore.ieee.org/ielx7/8857/4359833/08580379.pdf","source":{"id":"https://openalex.org/S36029991","display_name":"IEEE/ACM Transactions on Computational Biology and Bioinformatics","issn_l":"1545-5963","issn":["1545-5963","1557-9964","2374-0043"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Computational Biology and Bioinformatics","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite","pubmed"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://ieeexplore.ieee.org/ielx7/8857/4359833/08580379.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045762990","display_name":"Hannes Klarner","orcid":"https://orcid.org/0000-0001-7665-9686"},"institutions":[{"id":"https://openalex.org/I75951250","display_name":"Freie Universit\u00e4t Berlin","ror":"https://ror.org/046ak2485","country_code":"DE","type":"education","lineage":["https://openalex.org/I75951250"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hannes Klarner","raw_affiliation_strings":["Department of Mathematics, Freie Universität Berlin, Berlin, Germany","[Department of Mathematics, Freie Universit\u00e4t Berlin, Berlin, Germany]"],"raw_orcid":"https://orcid.org/0000-0001-7665-9686","affiliations":[{"raw_affiliation_string":"Department of Mathematics, Freie Universität Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I75951250"]},{"raw_affiliation_string":"[Department of Mathematics, Freie Universit\u00e4t Berlin, Berlin, Germany]","institution_ids":["https://openalex.org/I75951250"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020549448","display_name":"Frederike Heinitz","orcid":null},"institutions":[{"id":"https://openalex.org/I75951250","display_name":"Freie Universit\u00e4t Berlin","ror":"https://ror.org/046ak2485","country_code":"DE","type":"education","lineage":["https://openalex.org/I75951250"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Frederike Heinitz","raw_affiliation_strings":["Department of Mathematics, Freie Universität Berlin, Berlin, Germany","[Department of Mathematics, Freie Universit\u00e4t Berlin, Berlin, Germany]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Freie Universität Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I75951250"]},{"raw_affiliation_string":"[Department of Mathematics, Freie Universit\u00e4t Berlin, Berlin, Germany]","institution_ids":["https://openalex.org/I75951250"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051161294","display_name":"Sarah Nee","orcid":null},"institutions":[{"id":"https://openalex.org/I75951250","display_name":"Freie Universit\u00e4t Berlin","ror":"https://ror.org/046ak2485","country_code":"DE","type":"education","lineage":["https://openalex.org/I75951250"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sarah Nee","raw_affiliation_strings":["Department of Mathematics, Freie Universität Berlin, Berlin, Germany","[Department of Mathematics, Freie Universit\u00e4t Berlin, Berlin, Germany]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Freie Universität Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I75951250"]},{"raw_affiliation_string":"[Department of Mathematics, Freie Universit\u00e4t Berlin, Berlin, Germany]","institution_ids":["https://openalex.org/I75951250"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038737222","display_name":"Heike Siebert","orcid":"https://orcid.org/0000-0002-8962-1107"},"institutions":[{"id":"https://openalex.org/I75951250","display_name":"Freie Universit\u00e4t Berlin","ror":"https://ror.org/046ak2485","country_code":"DE","type":"education","lineage":["https://openalex.org/I75951250"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Heike Siebert","raw_affiliation_strings":["Department of Mathematics, Freie Universität Berlin, Berlin, Germany","[Department of Mathematics, Freie Universit\u00e4t Berlin, Berlin, Germany]"],"raw_orcid":"https://orcid.org/0000-0002-8962-1107","affiliations":[{"raw_affiliation_string":"Department of Mathematics, Freie Universität Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I75951250"]},{"raw_affiliation_string":"[Department of Mathematics, Freie Universit\u00e4t Berlin, Berlin, Germany]","institution_ids":["https://openalex.org/I75951250"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0928,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.47938664,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"17","issue":"4","first_page":"1115","last_page":"1124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.989799976348877,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/attractor","display_name":"Attractor","score":0.6665690541267395},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6487215161323547},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5499274134635925},{"id":"https://openalex.org/keywords/realizability","display_name":"Realizability","score":0.5334558486938477},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.5026943683624268},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.4948346018791199},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4799611568450928},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.45935630798339844},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.44864118099212646},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4436952769756317},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44179320335388184},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.4117944836616516},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.33504483103752136},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24605482816696167},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23670709133148193},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20796364545822144}],"concepts":[{"id":"https://openalex.org/C164380108","wikidata":"https://www.wikidata.org/wiki/Q507187","display_name":"Attractor","level":2,"score":0.6665690541267395},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6487215161323547},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5499274134635925},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.5334558486938477},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.5026943683624268},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.4948346018791199},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4799611568450928},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.45935630798339844},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.44864118099212646},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4436952769756317},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44179320335388184},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.4117944836616516},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.33504483103752136},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24605482816696167},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23670709133148193},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20796364545822144},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D001749","descriptor_name":"Urinary Bladder Neoplasms","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D001749","descriptor_name":"Urinary Bladder Neoplasms","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D001749","descriptor_name":"Urinary Bladder Neoplasms","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D001749","descriptor_name":"Urinary Bladder Neoplasms","qualifier_ui":"Q000473","qualifier_name":"pathology","is_major_topic":false},{"descriptor_ui":"D001749","descriptor_name":"Urinary Bladder Neoplasms","qualifier_ui":"Q000473","qualifier_name":"pathology","is_major_topic":false},{"descriptor_ui":"D001749","descriptor_name":"Urinary Bladder Neoplasms","qualifier_ui":"Q000473","qualifier_name":"pathology","is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008957","descriptor_name":"Models, Genetic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008957","descriptor_name":"Models, Genetic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008957","descriptor_name":"Models, Genetic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D010641","descriptor_name":"Phenotype","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D010641","descriptor_name":"Phenotype","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D010641","descriptor_name":"Phenotype","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D014408","descriptor_name":"Biomarkers, Tumor","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D014408","descriptor_name":"Biomarkers, Tumor","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D014408","descriptor_name":"Biomarkers, Tumor","qualifier_ui":"Q000235","qualifier_name":"genetics","is_major_topic":false},{"descriptor_ui":"D049490","descriptor_name":"Systems Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D049490","descriptor_name":"Systems Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D049490","descriptor_name":"Systems Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false}],"locations_count":5,"locations":[{"id":"doi:10.1109/tcbb.2018.2879097","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tcbb.2018.2879097","pdf_url":"https://ieeexplore.ieee.org/ielx7/8857/4359833/08580379.pdf","source":{"id":"https://openalex.org/S36029991","display_name":"IEEE/ACM Transactions on Computational Biology and Bioinformatics","issn_l":"1545-5963","issn":["1545-5963","1557-9964","2374-0043"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Computational Biology and Bioinformatics","raw_type":"journal-article"},{"id":"pmid:30575543","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/30575543","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM transactions on computational biology and bioinformatics","raw_type":null},{"id":"pmh:oai:arXiv.org:1807.10103","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1807.10103","pdf_url":"https://arxiv.org/pdf/1807.10103","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2883975869","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1807.10103","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1807.10103","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1807.10103","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/tcbb.2018.2879097","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tcbb.2018.2879097","pdf_url":"https://ieeexplore.ieee.org/ielx7/8857/4359833/08580379.pdf","source":{"id":"https://openalex.org/S36029991","display_name":"IEEE/ACM Transactions on Computational Biology and Bioinformatics","issn_l":"1545-5963","issn":["1545-5963","1557-9964","2374-0043"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Computational Biology and Bioinformatics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G630620268","display_name":null,"funder_award_id":"0316195","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"}],"funders":[{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2883975869.pdf","grobid_xml":"https://content.openalex.org/works/W2883975869.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1489391022","https://openalex.org/W1957120807","https://openalex.org/W1989284002","https://openalex.org/W2041289840","https://openalex.org/W2046881634","https://openalex.org/W2048152443","https://openalex.org/W2053367939","https://openalex.org/W2059110753","https://openalex.org/W2101577148","https://openalex.org/W2105761964","https://openalex.org/W2114342401","https://openalex.org/W2119375092","https://openalex.org/W2121149194","https://openalex.org/W2129525969","https://openalex.org/W2136559804","https://openalex.org/W2139391027","https://openalex.org/W2147013823","https://openalex.org/W2160939581","https://openalex.org/W2161636210","https://openalex.org/W2176409730","https://openalex.org/W2269418830","https://openalex.org/W2271801128","https://openalex.org/W2399401844","https://openalex.org/W2551780851","https://openalex.org/W2786241182","https://openalex.org/W2890743457","https://openalex.org/W3102568738","https://openalex.org/W6712656616"],"related_works":["https://openalex.org/W2115607874","https://openalex.org/W102368802","https://openalex.org/W2118045105","https://openalex.org/W3149178913","https://openalex.org/W1548119156","https://openalex.org/W2464558244","https://openalex.org/W2883911149","https://openalex.org/W2952883064","https://openalex.org/W1570974359","https://openalex.org/W2618327093","https://openalex.org/W2951486723","https://openalex.org/W1670414829","https://openalex.org/W3128617813","https://openalex.org/W1549102999","https://openalex.org/W2044050383","https://openalex.org/W2526916212","https://openalex.org/W1484470471","https://openalex.org/W1523674847","https://openalex.org/W3168762394","https://openalex.org/W3204788225"],"abstract_inverted_index":{"The":[0],"attractors":[1,42],"of":[2,50,59,71,95,136,145,172,175,188],"Boolean":[3],"networks":[4],"and":[5,18,38,84,147,169,215,220],"their":[6,45],"basins":[7,70],"have":[8],"been":[9],"shown":[10],"to":[11,36,116,127,142],"be":[12,93,125],"highly":[13],"relevant":[14],"for":[15,69,82,209],"model":[16,166,178],"validation":[17],"predictive":[19],"modeling,":[20],"e.g.,":[21],"in":[22,152,202],"systems":[23],"biology.":[24],"Yet,":[25],"there":[26],"are":[27,34,73,114,130,195],"currently":[28],"very":[29],"few":[30],"tools":[31],"available":[32,184],"that":[33,90,113,129,185],"able":[35],"compute":[37],"visualize":[39],"not":[40,54],"only":[41,55],"but":[43,64],"also":[44,65],"basins.":[46,98],"In":[47,76,99],"the":[48,57,66,79,88,108,117,133,143,173,176,190,211],"realm":[49],"asynchronous,":[51],"non-deterministic":[52],"modeling":[53],"is":[56,182,186],"repertoire":[58],"software":[60,180],"even":[61],"more":[62],"limited,":[63],"formal":[67],"notions":[68,144,194],"attraction":[72],"often":[74],"lacking.":[75],"this":[77,100,104],"setting,":[78],"difficulty":[80],"both":[81],"theory":[83],"computation":[85],"arises":[86],"from":[87],"fact":[89],"states":[91],"may":[92],"elements":[94],"several":[96],"distinct":[97],"paper,":[101],"we":[102,150,162],"address":[103],"topic":[105],"by":[106],"partitioning":[107],"state":[109,174],"space":[110],"into":[111],"sets":[112,122,128],"committed":[115],"same":[118],"attractors.":[119],"These":[120],"commitment":[121,213],"can":[123],"easily":[124],"generalized":[126],"equivalent":[131,164],"w.r.t.":[132],"long-term":[134],"behaviors":[135],"pre-selected":[137],"nodes":[138],"which":[139,149],"leads":[140],"us":[141],"markers":[146],"phenotypes":[148,216],"illustrate":[151],"a":[153],"case":[154],"study":[155],"on":[156],"bladder":[157],"tumorigenesis.":[158],"For":[159],"every":[160],"concept,":[161],"propose":[163],"CTL":[165],"checking":[167,179],"queries":[168],"an":[170],"extension":[171],"art":[177],"NuSMV":[181],"made":[183],"capable":[187],"computing":[189],"respective":[191],"sets.":[192],"All":[193],"fully":[196],"integrated":[197],"as":[198,217],"three":[199],"new":[200],"modules":[201],"our":[203],"Python":[204],"package":[205],"PyBoolNet,":[206],"including":[207],"functions":[208],"visualizing":[210],"basins,":[212],"sets,":[214],"quotient":[218],"graphs":[219],"pie":[221],"charts.":[222]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}