{"id":"https://openalex.org/W4404818171","doi":"https://doi.org/10.1007/978-981-96-0617-7_16","title":"Observability of\u00a0Boolean Control Networks: New Definition and\u00a0Verification Algorithm","display_name":"Observability of\u00a0Boolean Control Networks: New Definition and\u00a0Verification Algorithm","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4404818171","doi":"https://doi.org/10.1007/978-981-96-0617-7_16"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-96-0617-7_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-96-0617-7_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078427843","display_name":"Guisen Wu","orcid":"https://orcid.org/0000-0002-5868-3049"},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Guisen Wu","raw_affiliation_strings":["School of Computer and Information Science, Southwest University, Chongqing, China"],"affiliations":[{"raw_affiliation_string":"School of Computer and Information Science, Southwest University, Chongqing, China","institution_ids":["https://openalex.org/I142108993"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100405109","display_name":"Zhiming Liu","orcid":"https://orcid.org/0000-0001-9771-3071"},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiming Liu","raw_affiliation_strings":["School of Computer and Information Science, Southwest University, Chongqing, China"],"affiliations":[{"raw_affiliation_string":"School of Computer and Information Science, Southwest University, Chongqing, China","institution_ids":["https://openalex.org/I142108993"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073684178","display_name":"Jun Pang","orcid":"https://orcid.org/0000-0002-4521-4112"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Jun Pang","raw_affiliation_strings":["Department of Computer Science, University of Luxembourg, Esch-sur-Alzette, Luxembourg"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Luxembourg, Esch-sur-Alzette, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078427843"],"corresponding_institution_ids":["https://openalex.org/I142108993"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.51812923,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"278","last_page":"296"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9994999766349792,"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.9994999766349792,"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.9930999875068665,"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"}},{"id":"https://openalex.org/T10211","display_name":"Computational Drug Discovery Methods","score":0.9265999794006348,"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/observability","display_name":"Observability","score":0.8616223931312561},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8233205080032349},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5433242917060852},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5026383399963379},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44864848256111145},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4313041567802429},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.4183151423931122},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.3296799659729004},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20509463548660278},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11753717064857483}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.8616223931312561},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8233205080032349},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5433242917060852},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5026383399963379},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44864848256111145},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4313041567802429},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.4183151423931122},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.3296799659729004},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20509463548660278},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11753717064857483},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-981-96-0617-7_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-981-96-0617-7_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:orbilu.uni.lu:10993/62816","is_oa":false,"landing_page_url":"https://orbilu.uni.lu/handle/10993/62816","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lecture Notes in Computer Science, 278-296 (2024); 25th International Conference on Formal Engineering Methods, Japan [JP], 2024/12","raw_type":"peer reviewed"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1807981783","https://openalex.org/W1971224531","https://openalex.org/W1979831177","https://openalex.org/W1991720013","https://openalex.org/W2030061216","https://openalex.org/W2030235975","https://openalex.org/W2032619610","https://openalex.org/W2077895748","https://openalex.org/W2101408219","https://openalex.org/W2108723074","https://openalex.org/W2153364687","https://openalex.org/W2169582265","https://openalex.org/W2194530502","https://openalex.org/W2313804277","https://openalex.org/W2344696827","https://openalex.org/W2735586323","https://openalex.org/W2802367398","https://openalex.org/W2942520683","https://openalex.org/W2944603686","https://openalex.org/W2958145513","https://openalex.org/W2964830096","https://openalex.org/W2965827458","https://openalex.org/W2973446888","https://openalex.org/W3140253964","https://openalex.org/W3140409016","https://openalex.org/W3198591263","https://openalex.org/W4205828178","https://openalex.org/W4212908414","https://openalex.org/W4236757217","https://openalex.org/W4281812384","https://openalex.org/W4388861157"],"related_works":["https://openalex.org/W2109998394","https://openalex.org/W4241453319","https://openalex.org/W2133491672","https://openalex.org/W1976822807","https://openalex.org/W3029381898","https://openalex.org/W1996276855","https://openalex.org/W2060171268","https://openalex.org/W4248224315","https://openalex.org/W2169792446","https://openalex.org/W2187008505"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}