{"id":"https://openalex.org/W1569248486","doi":"https://doi.org/10.1007/978-3-642-03845-7_15","title":"A Bayesian Approach to Model Checking Biological Systems","display_name":"A Bayesian Approach to Model Checking Biological Systems","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1569248486","doi":"https://doi.org/10.1007/978-3-642-03845-7_15","mag":"1569248486"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-03845-7_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-03845-7_15","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/A5075978538","display_name":"Sumit Kumar Jha","orcid":"https://orcid.org/0000-0003-0354-2940"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sumit K. Jha","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, USA","Computer Science Department Carnegie-Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Department Carnegie-Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105356861","display_name":"Edmund M. Clarke","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edmund M. Clarke","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, USA","Computer Science Department Carnegie-Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Department Carnegie-Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042353780","display_name":"Christopher J. Langmead","orcid":"https://orcid.org/0000-0001-7521-6736"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher J. Langmead","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, USA","Lane Center for Computational Biology, Carnegie Mellon University, USA","Computer Science Department, Carnegie Mellon University, USA and Lane Center for Computational Biology, Carnegie Mellon University, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Lane Center for Computational Biology, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, USA and Lane Center for Computational Biology, Carnegie Mellon University, USA#TAB#","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111509283","display_name":"Axel Legay","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Axel Legay","raw_affiliation_strings":["Institut d\u2019Informatique INRIA, Rennes, France","Institut d'Informatique INRIA, Rennes, France#TAB#"],"affiliations":[{"raw_affiliation_string":"Institut d\u2019Informatique INRIA, Rennes, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Institut d'Informatique INRIA, Rennes, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080481427","display_name":"Andr\u00e9 Platzer","orcid":"https://orcid.org/0000-0001-7238-5710"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andr\u00e9 Platzer","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, USA","Computer Science Department Carnegie-Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Department Carnegie-Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054022139","display_name":"Paolo Zuliani","orcid":"https://orcid.org/0000-0001-6033-5919"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paolo Zuliani","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, USA","Computer Science Department Carnegie-Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Department Carnegie-Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5075978538"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":26.9257,"has_fulltext":false,"cited_by_count":251,"citation_normalized_percentile":{"value":0.99851837,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"218","last_page":"234"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9977999925613403,"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.9977999925613403,"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.9817000031471252,"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/T10683","display_name":"Mass Spectrometry Techniques and Applications","score":0.9815999865531921,"subfield":{"id":"https://openalex.org/subfields/1607","display_name":"Spectroscopy"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8020561933517456},{"id":"https://openalex.org/keywords/frequentist-inference","display_name":"Frequentist inference","score":0.72966068983078},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6656461954116821},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.5684361457824707},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5070767402648926},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.47701096534729004},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4584561884403229},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.45723021030426025},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4512341618537903},{"id":"https://openalex.org/keywords/bayesian-inference","display_name":"Bayesian inference","score":0.3718351423740387},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.350119948387146},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3357508182525635},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13648191094398499},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09289592504501343}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8020561933517456},{"id":"https://openalex.org/C162376815","wikidata":"https://www.wikidata.org/wiki/Q2158281","display_name":"Frequentist inference","level":4,"score":0.72966068983078},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6656461954116821},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.5684361457824707},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5070767402648926},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.47701096534729004},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4584561884403229},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.45723021030426025},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4512341618537903},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.3718351423740387},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.350119948387146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3357508182525635},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13648191094398499},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09289592504501343}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-03845-7_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-03845-7_15","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:eprint.ncl.ac.uk:188989","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402485","display_name":"Newcastle University ePrints (Newcastle Univesity)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I84884186","host_organization_name":"Newcastle University","host_organization_lineage":["https://openalex.org/I84884186"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:iris.uniroma1.it:11573/1681097","is_oa":false,"landing_page_url":"https://hdl.handle.net/11573/1681097","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W339627914","https://openalex.org/W657718082","https://openalex.org/W1480600454","https://openalex.org/W1489725951","https://openalex.org/W1501731334","https://openalex.org/W1520566118","https://openalex.org/W1525246288","https://openalex.org/W1532361198","https://openalex.org/W1533572394","https://openalex.org/W1544634046","https://openalex.org/W1556566737","https://openalex.org/W1560643704","https://openalex.org/W1566900355","https://openalex.org/W1569248486","https://openalex.org/W1575619134","https://openalex.org/W1587845087","https://openalex.org/W1589421353","https://openalex.org/W1590315663","https://openalex.org/W1606860353","https://openalex.org/W1783413852","https://openalex.org/W1806449990","https://openalex.org/W1859458367","https://openalex.org/W1972203711","https://openalex.org/W1980570931","https://openalex.org/W1995442333","https://openalex.org/W1999836359","https://openalex.org/W2003591835","https://openalex.org/W2007072455","https://openalex.org/W2008754425","https://openalex.org/W2023808162","https://openalex.org/W2026824634","https://openalex.org/W2028637393","https://openalex.org/W2028785275","https://openalex.org/W2037689113","https://openalex.org/W2060268739","https://openalex.org/W2067971887","https://openalex.org/W2080560821","https://openalex.org/W2107697435","https://openalex.org/W2108493072","https://openalex.org/W2109453611","https://openalex.org/W2110119905","https://openalex.org/W2110796675","https://openalex.org/W2118039525","https://openalex.org/W2126163471","https://openalex.org/W2131463591","https://openalex.org/W2134704464","https://openalex.org/W2141881497","https://openalex.org/W2155418451","https://openalex.org/W2166656159","https://openalex.org/W2167770337","https://openalex.org/W2238201325","https://openalex.org/W2315453164","https://openalex.org/W2340735175","https://openalex.org/W2913003984","https://openalex.org/W2913459036","https://openalex.org/W4230704549","https://openalex.org/W4249610466","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1572578464","https://openalex.org/W88131178","https://openalex.org/W2290754432","https://openalex.org/W2332232517","https://openalex.org/W232830309","https://openalex.org/W2804745155","https://openalex.org/W2736259393","https://openalex.org/W2529542719","https://openalex.org/W2997654205","https://openalex.org/W2182066955"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":10},{"year":2020,"cited_by_count":17},{"year":2019,"cited_by_count":12},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":20},{"year":2016,"cited_by_count":23},{"year":2015,"cited_by_count":26},{"year":2014,"cited_by_count":25},{"year":2013,"cited_by_count":37},{"year":2012,"cited_by_count":25}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}