{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:35:20Z","timestamp":1729676120103,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/bibm.2013.6732473","type":"proceedings-article","created":{"date-parts":[[2014,2,10]],"date-time":"2014-02-10T16:28:33Z","timestamp":1392049713000},"page":"115-120","source":"Crossref","is-referenced-by-count":1,"title":["Infer gene regulatory networks from time series data with formal methods"],"prefix":"10.1109","author":[{"given":"Michele","family":"Ceccarelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Cerulo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1093\/bioinformatics\/bti1048"},{"doi-asserted-by":"publisher","key":"35","DOI":"10.1016\/j.cell.2009.01.055"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1186\/1471-2105-11-228"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1186\/1471-2105-14-S1-S3"},{"doi-asserted-by":"publisher","key":"33","DOI":"10.1073\/pnas.152046799"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1093\/bioinformatics\/btn273"},{"doi-asserted-by":"publisher","key":"34","DOI":"10.1091\/mbc.9.12.3273"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1093\/bioinformatics\/17.5.455"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1093\/bioinformatics\/btr626"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1371\/journal.pbio.0050008"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1186\/1471-2105-7-S1-S7"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1186\/1471-2105-11-154"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1007\/978-3-642-03845-7_15"},{"key":"20","first-page":"459","article-title":"Representation and simulation of biochemical processes using the pi-calculus process algebra","author":"regev","year":"2001","journal-title":"Pacific Symposium on Biocomputing"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1039\/c0mb00253d"},{"year":"1989","author":"milner","journal-title":"Communication and Concurrency","key":"23"},{"key":"24","first-page":"2","article-title":"An introduction to modal and temporal logics for ccs","volume":"491","author":"stirling","year":"1989","journal-title":"Concurrency Theory Language and Architecture"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1186\/1471-2105-11-520"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.1006\/jcss.1999.1660"},{"key":"28","article-title":"Partial order interpretation of a mu-calculuslike temporal logic","author":"santone","year":"2013","journal-title":"ICSOFT"},{"doi-asserted-by":"publisher","key":"29","DOI":"10.1016\/j.scico.2012.07.015"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1038\/nrmicro2419"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1049\/iet-syb:20060079"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1093\/bioinformatics\/bth448"},{"key":"1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.plrev.2005.01.001","article-title":"Reverse-engineering transcription control networks","volume":"2","author":"gardner","year":"2005","journal-title":"Physics of Life Reviews"},{"doi-asserted-by":"publisher","key":"30","DOI":"10.1007\/s00236-002-0084-5"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1002\/9783527622818.ch5"},{"key":"6","first-page":"163","author":"vert","year":"2010","journal-title":"Reconstruction of Biological Networks by Supervised Machine Learning Approaches"},{"doi-asserted-by":"publisher","key":"32","DOI":"10.1093\/bioinformatics\/btr373"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1155\/2009\/617281"},{"doi-asserted-by":"publisher","key":"31","DOI":"10.1007\/s00236-012-0161-3"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/978-1-61779-292-2_8"},{"key":"9","first-page":"18","article-title":"Reveal, a general reverse engineering algorithm for inference of genetic network architectures","author":"liang","year":"1998","journal-title":"Pac Symp Biocomput"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/j.jtbi.2009.07.040"}],"event":{"name":"2013 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)","start":{"date-parts":[[2013,12,18]]},"location":"Shanghai, China","end":{"date-parts":[[2013,12,21]]}},"container-title":["2013 IEEE International Conference on Bioinformatics and Biomedicine"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6716150\/6732442\/06732473.pdf?arnumber=6732473","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T07:36:48Z","timestamp":1498117008000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6732473\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/bibm.2013.6732473","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}