{"id":"https://openalex.org/W2092008396","doi":"https://doi.org/10.1145/1364644.1364651","title":"Using probabilistic model checking in systems biology","display_name":"Using probabilistic model checking in systems biology","publication_year":2008,"publication_date":"2008-03-01","ids":{"openalex":"https://openalex.org/W2092008396","doi":"https://doi.org/10.1145/1364644.1364651","mag":"2092008396"},"language":"en","primary_location":{"id":"doi:10.1145/1364644.1364651","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1364644.1364651","pdf_url":null,"source":{"id":"https://openalex.org/S4210187660","display_name":"ACM SIGMETRICS Performance Evaluation Review","issn_l":"0163-5999","issn":["0163-5999","1557-9484"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGMETRICS Performance Evaluation Review","raw_type":"journal-article"},"type":"article","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/A5081710233","display_name":"Marta Kwiatkowska","orcid":"https://orcid.org/0000-0001-9022-7599"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Marta Kwiatkowska","raw_affiliation_strings":["Oxford University, Oxford","Oxford University, Oxford,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oxford University, Oxford","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Oxford University, Oxford,","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067544120","display_name":"Gethin Norman","orcid":"https://orcid.org/0000-0001-9326-4344"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gethin Norman","raw_affiliation_strings":["Oxford University, Oxford","Oxford University, Oxford,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oxford University, Oxford","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Oxford University, Oxford,","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036097359","display_name":"David Parker","orcid":"https://orcid.org/0000-0003-4137-8862"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Parker","raw_affiliation_strings":["Oxford University, Oxford","Oxford University, Oxford,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oxford University, Oxford","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Oxford University, Oxford,","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5081710233"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":10.3467,"has_fulltext":false,"cited_by_count":94,"citation_normalized_percentile":{"value":0.9855048,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"35","issue":"4","first_page":"14","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9976999759674072,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9442999958992004,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8169913291931152},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7390843629837036},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7060944437980652},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5642701387405396},{"id":"https://openalex.org/keywords/cascade","display_name":"Cascade","score":0.5330290794372559},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4976406395435333},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.48836347460746765},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4867880046367645},{"id":"https://openalex.org/keywords/systems-biology","display_name":"Systems biology","score":0.4429461658000946},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.366360604763031},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.26444923877716064},{"id":"https://openalex.org/keywords/computational-biology","display_name":"Computational biology","score":0.20847415924072266},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.10708123445510864}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8169913291931152},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7390843629837036},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7060944437980652},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5642701387405396},{"id":"https://openalex.org/C34146451","wikidata":"https://www.wikidata.org/wiki/Q5048094","display_name":"Cascade","level":2,"score":0.5330290794372559},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4976406395435333},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.48836347460746765},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4867880046367645},{"id":"https://openalex.org/C152662350","wikidata":"https://www.wikidata.org/wiki/Q815297","display_name":"Systems biology","level":2,"score":0.4429461658000946},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.366360604763031},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26444923877716064},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.20847415924072266},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.10708123445510864},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C43617362","wikidata":"https://www.wikidata.org/wiki/Q170050","display_name":"Chromatography","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/1364644.1364651","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1364644.1364651","pdf_url":null,"source":{"id":"https://openalex.org/S4210187660","display_name":"ACM SIGMETRICS Performance Evaluation Review","issn_l":"0163-5999","issn":["0163-5999","1557-9484"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGMETRICS Performance Evaluation Review","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.458.5447","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.458.5447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.inf.ed.ac.uk/teaching/courses/mlcsb/2010-2011/probmc.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.589.5102","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.5102","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.prismmodelchecker.org/papers/acmper_systemsbiology.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.gla.ac.uk:40090","is_oa":false,"landing_page_url":"http://eprints.gla.ac.uk/40090/","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":false,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Articles"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1957640122","display_name":null,"funder_award_id":"EP/D07956XEP/D076625","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1266757872","https://openalex.org/W1501020965","https://openalex.org/W1516256348","https://openalex.org/W1550039437","https://openalex.org/W1553940723","https://openalex.org/W1587845087","https://openalex.org/W1603153151","https://openalex.org/W1850679117","https://openalex.org/W1859458367","https://openalex.org/W1984719832","https://openalex.org/W2005998857","https://openalex.org/W2007072455","https://openalex.org/W2021089599","https://openalex.org/W2041226400","https://openalex.org/W2070658593","https://openalex.org/W2097476502","https://openalex.org/W2108293102","https://openalex.org/W2109453611","https://openalex.org/W2110796675","https://openalex.org/W2117189826","https://openalex.org/W2118039525","https://openalex.org/W2118835619","https://openalex.org/W2122510266","https://openalex.org/W2136626795","https://openalex.org/W2139028292","https://openalex.org/W2141881497","https://openalex.org/W2143955972","https://openalex.org/W2147622026","https://openalex.org/W2155418451","https://openalex.org/W2162943184","https://openalex.org/W2164096878","https://openalex.org/W2172140874","https://openalex.org/W2284263109","https://openalex.org/W6680637519"],"related_works":["https://openalex.org/W2153719181","https://openalex.org/W1971748923","https://openalex.org/W2060986072","https://openalex.org/W2002739602","https://openalex.org/W2345647014","https://openalex.org/W2201192772","https://openalex.org/W2087152645","https://openalex.org/W3136891595","https://openalex.org/W2535030201","https://openalex.org/W1964819397"],"abstract_inverted_index":{"Probabilistic":[0],"model":[1,85],"checking":[2],"is":[3],"a":[4,20,54,64,95],"formal":[5],"verification":[6],"framework":[7],"for":[8],"systems":[9],"which":[10],"exhibit":[11],"stochastic":[12],"behaviour.":[13],"It":[14],"has":[15],"been":[16],"successfully":[17],"applied":[18],"to":[19,42],"wide":[21],"range":[22],"of":[23,45,57,60,67,94,98],"domains,":[24],"including":[25],"security":[26],"and":[27,32,48,88],"communication":[28],"protocols,":[29],"distributed":[30],"algorithms":[31],"power":[33],"management.":[34],"In":[35],"this":[36,90],"paper":[37],"we":[38,74],"demonstrate":[39],"its":[40],"applicability":[41],"the":[43,58,68,83,92],"analysis":[44,93],"biological":[46,77],"pathways":[47,78],"show":[49],"how":[50,76,89],"it":[51],"can":[52,79],"yield":[53],"better":[55],"understanding":[56],"dynamics":[59],"these":[61],"systems.":[62],"Through":[63],"case":[65],"study":[66],"MAP":[69],"(Mitogen-Activated":[70],"Protein)":[71],"Kinase":[72],"cascade,":[73],"explain":[75],"be":[80],"modelled":[81],"in":[82],"probabilistic":[84],"checker":[86],"PRISM":[87],"enables":[91],"rich":[96],"selection":[97],"quantitative":[99],"properties.":[100]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":11},{"year":2013,"cited_by_count":13},{"year":2012,"cited_by_count":9}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}