{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:02:51Z","timestamp":1729630971406,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1109\/iccabs.2012.6182635","type":"proceedings-article","created":{"date-parts":[[2012,4,13]],"date-time":"2012-04-13T19:34:23Z","timestamp":1334345663000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems"],"prefix":"10.1109","author":[{"given":"Arup K.","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faraz","family":"Hussain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumit K.","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher J.","family":"Langmead","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susmit","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795198"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1088\/1478-3975\/4\/3\/006"},{"journal-title":"The Yices SMT Solver","year":"2006","author":"dutertre","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s11741-008-0411-2"},{"key":"12","first-page":"73","article-title":"Speeding up sat solver by exploring cnf symmetries: Revisited","volume":"206","author":"ghosh","year":"2010","journal-title":"Congressus Numerantium"},{"key":"3","first-page":"241","article-title":"Symbolic Reachability Analysis of Lazy Linear Hybrid Automata","author":"jha","year":"0","journal-title":"5th International Conference on Formal Modelling and Analysis of Timed Systems 2007"},{"key":"2","first-page":"668","article-title":"Beaver: Engineering an efficient smt solver for bit-vector arithmetic","author":"jha","year":"0","journal-title":"21st International Conference on Computer-Aided Verification 2009"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCABS.2011.5729862"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"7","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","article-title":"A bayesian approach to model checking biological systems","author":"jha","year":"2009","journal-title":"Proc 7th Conf on Computational Methods in Systems Biology (CMSB)"},{"key":"6","first-page":"32","article-title":"Probabilistic model checking of complex biological pathways","volume":"4210","author":"heath","year":"2006","journal-title":"Lecture Notes in Bioinformatics"},{"key":"5","first-page":"5","article-title":"Algorithmic algebraic model checking i: Challenges from systems biology","author":"piazza","year":"0","journal-title":"17th International Conference on Computer Aided Verification 2005"},{"journal-title":"Principles of Model Checking (Representation and Mind Series)","year":"2008","author":"baier","key":"4"},{"journal-title":"Brownian Motion and Stochastic Calculus (Graduate Texts in Mathematics)","year":"1991","author":"karatzas","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/978-3-540-88562-7_18","article-title":"Statistical model checking in biolab: Application to the automated analysis of the t-cell receptor signalling pathway","author":"clarke","year":"2008","journal-title":"Proc 6th Conf on Computational Methods in Systems Biology (CMSB)"}],"event":{"name":"2012 IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences (ICCABS)","start":{"date-parts":[[2012,2,23]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2012,2,25]]}},"container-title":["2012 IEEE 2nd International Conference on Computational Advances in Bio and medical Sciences (ICCABS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6175765\/6182610\/06182635.pdf?arnumber=6182635","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:15:33Z","timestamp":1497978933000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6182635\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iccabs.2012.6182635","relation":{},"subject":[],"published":{"date-parts":[[2012,2]]}}}