{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T05:48:14Z","timestamp":1768283294754,"version":"3.49.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/cibcb.2012.6217255","type":"proceedings-article","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T12:18:22Z","timestamp":1340281102000},"page":"379-386","source":"Crossref","is-referenced-by-count":13,"title":["Utilizing stochastic model checking to analyze genetic circuits"],"prefix":"10.1109","author":[{"given":"C.","family":"Madsen","sequence":"first","affiliation":[]},{"given":"C. J.","family":"Myers","sequence":"additional","affiliation":[]},{"given":"N.","family":"Roehner","sequence":"additional","affiliation":[]},{"given":"C.","family":"Winstead","sequence":"additional","affiliation":[]},{"family":"Zhen Zhang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"150","article-title":"Automated abstraction methodology for genetic regulatory networks","volume":"6","author":"kuwahara","year":"2006","journal-title":"Trans Comp Syst Biol"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1063\/1.2987701"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1063\/1.2159468"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1063\/1.3116791"},{"key":"18","doi-asserted-by":"crossref","first-page":"8229","DOI":"10.1063\/1.1613254","article-title":"Tau leaping","volume":"119","author":"gillespie","year":"2003","journal-title":"J Chem Phys"},{"key":"33","author":"stewart","year":"1994","journal-title":"Introduction to the Numerical Solution of Markov Chains"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"34","author":"myers","year":"2009","journal-title":"Engineering Genetic Circuits"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1021\/jp993732q"},{"key":"13","author":"press","year":"1992","journal-title":"Numerical Recipes in C The Art of Scientic Computing 2nd Ed"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1063\/1.4823332"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5537539"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717909"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.5772\/46977"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1021\/ed063p1044"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/0092-8240(94)00037-D"},{"key":"20","author":"kuwahara","year":"2007","journal-title":"Model Abstraction and Temporal Behavior Analysis of Genetic Regulatory Networks"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5193(05)80350-9"},{"key":"23","first-page":"337","article-title":"Sliding window abstraction for infinite markov chains","volume":"5643","author":"henzinger","year":"2009","journal-title":"Computer Aided Verification"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.02.010"},{"key":"25","first-page":"220","article-title":"Stochastic model checking","volume":"4486","author":"kwiatkowska","year":"2007","journal-title":"Formal Methods for the Design of Computer Communication and Software Systems Performance Evaluation (SFM'07)"},{"key":"26","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1038\/35002131","article-title":"Construction of a genetic toggle switch in escherichia coli","volume":"403","author":"gardner","year":"2000","journal-title":"Nature"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btg015"},{"key":"28","author":"nguyen","year":"2008","journal-title":"Design and analysis of genetic circuits"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2009.10.026"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2008.14"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1038\/nbt0708-771"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2008.0516.focus"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1038\/nature04342"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0187-8"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btn330"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1186\/1754-1611-3-19"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343402"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkq086"},{"key":"31","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/11691372_29","article-title":"PRISM: A tool for automatic verification of probabilistic systems","volume":"3920","author":"hinton","year":"2006","journal-title":"Proc 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0018882"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1001083"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btp457"}],"event":{"name":"2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB)","location":"San Diego, CA","start":{"date-parts":[[2012,5,9]]},"end":{"date-parts":[[2012,5,12]]}},"container-title":["2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6210991\/6217201\/06217255.pdf?arnumber=6217255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T20:22:20Z","timestamp":1497990140000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6217255\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/cibcb.2012.6217255","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}