{"id":"https://openalex.org/W135306462","doi":"https://doi.org/10.1007/978-3-642-40708-6_10","title":"Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models","display_name":"Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W135306462","doi":"https://doi.org/10.1007/978-3-642-40708-6_10","mag":"135306462"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-40708-6_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-40708-6_10","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/A5070784871","display_name":"Sucheendra K. Palaniappan","orcid":"https://orcid.org/0000-0002-2829-2311"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Sucheendra K. Palaniappan","raw_affiliation_strings":["School of Computing, National University of Singapore, 117417, Singapore","School of Computing, National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"School of Computing, National University of Singapore, 117417, Singapore","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022188333","display_name":"Benjamin M. Gyori","orcid":"https://orcid.org/0000-0001-9439-5346"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Benjamin M. Gyori","raw_affiliation_strings":["NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore, 117417, Singapore","NUS Graduate School for Integrative, Sciences & Engineering, National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore, 117417, Singapore","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"NUS Graduate School for Integrative, Sciences & Engineering, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043819328","display_name":"Bing Liu","orcid":"https://orcid.org/0000-0002-7257-2441"},"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":"Bing Liu","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, 15213, USA","Computer Science Department, Carnegie Mellon University, Pittsburgh, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, 15213, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, Pittsburgh, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082344124","display_name":"David Hsu","orcid":"https://orcid.org/0000-0002-2309-4535"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"David Hsu","raw_affiliation_strings":["NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore, 117417, Singapore","School of Computing, National University of Singapore, 117417, Singapore","School of Computing, National University of Singapore, Singapore and NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore, Singapore#TAB#"],"affiliations":[{"raw_affiliation_string":"NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore, 117417, Singapore","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"School of Computing, National University of Singapore, 117417, Singapore","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"School of Computing, National University of Singapore, Singapore and NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore, Singapore#TAB#","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111462984","display_name":"P. S. Thiagarajan","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"P. S. Thiagarajan","raw_affiliation_strings":["NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore, 117417, Singapore","School of Computing, National University of Singapore, 117417, Singapore","School of Computing, National University of Singapore, Singapore and NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore, Singapore#TAB#"],"affiliations":[{"raw_affiliation_string":"NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore, 117417, Singapore","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"School of Computing, National University of Singapore, 117417, Singapore","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"School of Computing, National University of Singapore, Singapore and NUS Graduate School for Integrative Sciences and Engineering, National University of Singapore, Singapore#TAB#","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5070784871"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":10.4597,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.98397699,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"120","last_page":"134"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9995999932289124,"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.9995999932289124,"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.9926999807357788,"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/T11178","display_name":"Receptor Mechanisms and Signaling","score":0.9919999837875366,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.9075342416763306},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7201359272003174},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.7085537910461426},{"id":"https://openalex.org/keywords/sensitivity","display_name":"Sensitivity (control systems)","score":0.6018549799919128},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.45246031880378723},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.3741743564605713},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.36118805408477783},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3389890193939209},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33538931608200073},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22373464703559875}],"concepts":[{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.9075342416763306},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7201359272003174},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.7085537910461426},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.6018549799919128},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.45246031880378723},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.3741743564605713},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.36118805408477783},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3389890193939209},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33538931608200073},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22373464703559875},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"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/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-40708-6_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-40708-6_10","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:scholarbank.nus.edu.sg:10635/78360","is_oa":false,"landing_page_url":"http://scholarbank.nus.edu.sg/handle/10635/78360","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":[],"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":"Scopus","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W100464641","https://openalex.org/W138443365","https://openalex.org/W203744636","https://openalex.org/W1480600454","https://openalex.org/W1480692184","https://openalex.org/W1499965417","https://openalex.org/W1515878031","https://openalex.org/W1520566118","https://openalex.org/W1544634046","https://openalex.org/W1558736232","https://openalex.org/W1569248486","https://openalex.org/W1587440831","https://openalex.org/W1590804833","https://openalex.org/W1599416730","https://openalex.org/W1606860353","https://openalex.org/W1639032689","https://openalex.org/W1985911638","https://openalex.org/W1990072743","https://openalex.org/W2000564108","https://openalex.org/W2007072455","https://openalex.org/W2013324041","https://openalex.org/W2025985581","https://openalex.org/W2049105252","https://openalex.org/W2067971887","https://openalex.org/W2068746602","https://openalex.org/W2079632329","https://openalex.org/W2103937660","https://openalex.org/W2107062718","https://openalex.org/W2111510713","https://openalex.org/W2118039525","https://openalex.org/W2137590391","https://openalex.org/W2148904731","https://openalex.org/W2151339633","https://openalex.org/W2151389393","https://openalex.org/W2152150600","https://openalex.org/W2165603655","https://openalex.org/W2166565152","https://openalex.org/W2166751342","https://openalex.org/W2169484481","https://openalex.org/W2171501814","https://openalex.org/W4205814206","https://openalex.org/W4238726034"],"related_works":["https://openalex.org/W2263887205","https://openalex.org/W2950301484","https://openalex.org/W2516981037","https://openalex.org/W2111414752","https://openalex.org/W1750424384","https://openalex.org/W3161724164","https://openalex.org/W2048795484","https://openalex.org/W2589586168","https://openalex.org/W4302422245","https://openalex.org/W2143115906"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}