{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T21:49:19Z","timestamp":1768513759160,"version":"3.49.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,5,25]],"date-time":"2018-05-25T00:00:00Z","timestamp":1527206400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100006112","name":"Microsoft Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006112","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1186\/s12918-018-0581-y","type":"journal-article","created":{"date-parts":[[2018,5,25]],"date-time":"2018-05-25T07:12:40Z","timestamp":1527232360000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":77,"title":["SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data"],"prefix":"10.1186","volume":"12","author":[{"given":"Steven","family":"Woodhouse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph M.","family":"Wintersteiger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Berthold","family":"G\u00f6ttgens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jasmin","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,25]]},"reference":[{"key":"581_CR1","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher J, Henzinger TA. Executable cell biology. Nat Biotechnol. 2007;25:1239\u201349.","journal-title":"Nat Biotechnol"},{"key":"581_CR2","doi-asserted-by":"publisher","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","volume":"24","author":"A Garg","year":"2008","unstructured":"Garg A, Di Cara A, Xenarios I, Mendoza L, De Micheli G. Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics. 2008;24:1917\u201325.","journal-title":"Bioinformatics"},{"key":"581_CR3","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-39799-8_5","volume-title":"25th conference on comptuer aided verification","author":"K Claessen","year":"2013","unstructured":"Claessen K, Fisher J, Ishtiaq S, Piterman N, Qinsi W. Model-checking signal transduction networks through decreasing reachbility sets. In: 25th conference on comptuer aided verification. Berlin: Springer-Verlag; 2013. p. 85\u2013100."},{"key":"581_CR4","doi-asserted-by":"publisher","first-page":"1669","DOI":"10.1126\/science.1069883","volume":"295","author":"EH Davidson","year":"2002","unstructured":"Davidson EH, et al. A genomic regulatory network for development. Science (80-). 2002;295:1669\u201378. \n                    https:\/\/doi.org\/10.1126\/science.1069883\n                    \n                  .","journal-title":"Science (80-)"},{"key":"581_CR5","volume-title":"The regulatory genome: gene regulatory networks in development and evolution","author":"EH Davidson","year":"2006","unstructured":"Davidson EH. The regulatory genome: gene regulatory networks in development and evolution. 2006."},{"key":"581_CR6","first-page":"1","volume":"0","author":"N Bonzanni","year":"2013","unstructured":"Bonzanni N, Garg A, Feenstra KA, Sch J, Kinston S, Miranda-saavedra D, et al. Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model. Bioinformatics. 2013;0:1\u20139.","journal-title":"Bioinformatics"},{"key":"581_CR7","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1038\/nbt.3154","volume":"33","author":"V Moignard","year":"2015","unstructured":"Moignard V, Woodhouse S, Haghverdi L, Lilly AJ, Tanaka Y, Wilkinson AC, et al. Decoding the regulatory network of early blood development from single-cell gene expression measurements. Nat Biotechnol. 2015;33:269\u201376. \n                    https:\/\/doi.org\/10.1038\/nbt.3154\n                    \n                  .","journal-title":"Nat Biotechnol"},{"key":"581_CR8","doi-asserted-by":"publisher","first-page":"1209","DOI":"10.1016\/j.cell.2012.08.023","volume":"150","author":"Y Buganim","year":"2012","unstructured":"Buganim Y, Faddah DA, Cheng AW, Itskovich E, Markoulaki S, Ganz K, et al. Single-cell expression analyses during cellular reprogramming reveal an early stochastic and a late hierarchic phase. Cell. 2012;150:1209\u201322. \n                    https:\/\/doi.org\/10.1016\/j.cell.2012.08.023\n                    \n                  .","journal-title":"Cell"},{"key":"581_CR9","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1038\/ncb2442","volume":"14","author":"C Pina","year":"2012","unstructured":"Pina C, Fugazza C, Tipping A, Brown J, Soneji S, Teles J, et al. Inferring rules of lineage commitment in haematopoiesis. Nat Publ Gr. 2012;14:287\u201394. \n                    https:\/\/doi.org\/10.1038\/ncb2442\n                    \n                  .","journal-title":"Nat Publ Gr"},{"key":"581_CR10","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1038\/nature14966","volume":"525","author":"D Gr\u00fcn","year":"2015","unstructured":"Gr\u00fcn D, Lyubimova A, Kester L, Wiebrands K, Basak O, Sasaki N, et al. Single-cell messenger RNA sequencing reveals rare intestinal cell types. Nature. 2015;525:251\u20135. \n                    https:\/\/doi.org\/10.1038\/nature14966\n                    \n                  .","journal-title":"Nature"},{"key":"581_CR11","doi-asserted-by":"publisher","first-page":"1012","DOI":"10.1016\/j.cell.2016.03.023","volume":"165","author":"S Petropoulos","year":"2016","unstructured":"Petropoulos S, Edsg\u00e4rd D, Reinius B, Deng Q, Panula SP, Codeluppi S, et al. Single-cell RNA-seq reveals lineage and X chromosome dynamics in human preimplantation embryos. Cell. 2016;165:1012\u201326.","journal-title":"Cell"},{"key":"581_CR12","doi-asserted-by":"publisher","first-page":"1250689","DOI":"10.1126\/science.1250689","volume":"346","author":"S Krishnaswamy","year":"2014","unstructured":"Krishnaswamy S, Spitzer MH, Mingueneau M, Bendall SC, Litvin O, Stone E, et al. Systems biology. Conditional density-based analysis of T cell signaling in single-cell data. Science. 2014;346:1250689. \n                    https:\/\/doi.org\/10.1126\/science.1250689.","journal-title":"Science"},{"key":"581_CR13","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1038\/nature12364","volume":"500","author":"Z Xue","year":"2013","unstructured":"Xue Z, Huang K, Cai C, Cai L, Jiang CY, Feng Y, et al. Genetic programs in human and mouse early embryos revealed by single-cell RNA sequencing. Nature. 2013;500:593\u20137. \n                    https:\/\/doi.org\/10.1038\/nature12364\n                    \n                  .","journal-title":"Nature"},{"key":"581_CR14","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1038\/nbt.3102","volume":"33","author":"F Buettner","year":"2015","unstructured":"Buettner F, Natarajan KN, Casale FP, Proserpio V, Scialdone A, Theis FJ, et al. Computational analysis of cell-to-cell heterogeneity in single-cell RNA-sequencing data reveals hidden subpopulations of cells. Nat Biotechnol. 2015;33:155\u201360. \n                    https:\/\/doi.org\/10.1038\/nbt.3102\n                    \n                  .","journal-title":"Nat Biotechnol"},{"key":"581_CR15","doi-asserted-by":"publisher","first-page":"ix +-262","DOI":"10.1007\/3-540-32786-X_7","volume-title":"The strategy of the genes. A discussion of some aspects of theoretical biology. With an appendix by H. Kacser. Strateg genes a discuss some \u2026","author":"CH Waddington","year":"1957","unstructured":"Waddington CH. The strategy of the genes. A discussion of some aspects of theoretical biology. With an appendix by H. Kacser. Strateg genes a discuss some \u2026; 1957. p. ix +-262. \n                    https:\/\/doi.org\/10.1007\/3-540-32786-X_7\n                    \n                  ."},{"key":"581_CR16","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/j.cell.2007.02.006","volume":"128","author":"AD Goldberg","year":"2007","unstructured":"Goldberg AD, Allis CD, Bernstein E. Epigenetics: a landscape takes shape. Cell. 2007;128:635\u20138.","journal-title":"Cell"},{"key":"581_CR17","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1126\/science.1248882","volume":"344","author":"S-J Dunn","year":"2014","unstructured":"Dunn S-J, Martello G, Yordanov B, Emmott S, Smith a G. Defining an essential transcription factor program for naive pluripotency. Science (80-). 2014;344:1156\u201360. \n                    https:\/\/doi.org\/10.1126\/science.1248882\n                    \n                  .","journal-title":"Science (80-)"},{"key":"581_CR18","doi-asserted-by":"publisher","first-page":"e1003777","DOI":"10.1371\/journal.pcbi.1003777","volume":"10","author":"H Xu","year":"2014","unstructured":"Xu H, Ang Y-S, Sevilla A, Lemischka IR, Ma\u2019ayan A. Construction and validation of a regulatory network for pluripotency and self-renewal of mouse embryonic stem cells. PLoS Comput Biol. 2014;10:e1003777.","journal-title":"PLoS Comput Biol"},{"key":"581_CR19","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1186\/1752-0509-6-133","volume":"6","author":"C Terfve","year":"2012","unstructured":"Terfve C, Cokelaer T, Henriques D, MacNamara A, Goncalves E, Morris MK, et al. CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst Biol. 2012;6:133.","journal-title":"BMC Syst Biol"},{"key":"581_CR20","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1089\/cmb.2012.0241","volume":"20","author":"R Sharan","year":"2013","unstructured":"Sharan R, Karp RM. Reconstructing Boolean models of signaling. J Comput Biol. 2013;20:249\u201357. \n                    https:\/\/doi.org\/10.1089\/cmb.2012.0241\n                    \n                  .","journal-title":"J Comput Biol"},{"key":"581_CR21","doi-asserted-by":"publisher","first-page":"2320","DOI":"10.1093\/bioinformatics\/btt393","volume":"29","author":"C Guziolowski","year":"2013","unstructured":"Guziolowski C, Videla S, Eduati F, Thiele S, Cokelaer T, Siegel A, et al. Exhaustively characterizing feasible logic models of a signaling network using answer set programming. Bioinformatics. 2013;29:2320\u20136. \n                    https:\/\/doi.org\/10.1093\/bioinformatics\/btt393\n                    \n                  .","journal-title":"Bioinformatics"},{"key":"581_CR22","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1186\/s12859-016-1235-y","volume":"17","author":"CY Lim","year":"2016","unstructured":"Lim CY, Wang H, Woodhouse S, Piterman N, Wernisch L, Fisher J, et al. BTR: training asynchronous Boolean models using single-cell expression data. BMC Bioinformatics. 2016;17:355.","journal-title":"BMC Bioinformatics"},{"key":"581_CR23","doi-asserted-by":"publisher","first-page":"1060","DOI":"10.1093\/bioinformatics\/btu777","volume":"31","author":"H Chen","year":"2015","unstructured":"Chen H, Guo J, Mishra SK, Robson P, Niranjan M, Zheng J. Single-cell transcriptional analysis to uncover regulatory circuits driving cell fate decisions in early mouse development. Bioinformatics. 2015;31:1060\u20136.","journal-title":"Bioinformatics"},{"key":"581_CR24","doi-asserted-by":"publisher","first-page":"5822","DOI":"10.1073\/pnas.1610609114","volume":"114","author":"FK Hamey","year":"2017","unstructured":"Hamey FK, Nestorowa S, Kinston SJ, Kent DG, Wilson NK, G\u00f6ttgens B. Reconstructing blood stem cell regulatory network models from single-cell molecular profiles. Proc Natl Acad Sci U S A. 2017;114:5822\u20139. \n                    https:\/\/doi.org\/10.1073\/pnas.1610609114\n                    \n                  .","journal-title":"Proc Natl Acad Sci U S A"},{"key":"581_CR25","volume-title":"Synthesising executable gene regulatory networks in haematopoiesis from single-cell gene expression data","author":"S Woodhouse","year":"2017","unstructured":"Woodhouse S. Synthesising executable gene regulatory networks in haematopoiesis from single-cell gene expression data. 2017."},{"key":"581_CR26","volume-title":"Computer aided verification (CAV)","author":"S Woodhouse","year":"2015","unstructured":"Woodhouse S, Piterman N, Koksal A, Fisher J. Synthesizing executable gene regulatory networks from single-cell gene expression data. In: Computer aided verification (CAV). Cham: Springer; 2015. \n                    http:\/\/research.microsoft.com\/apps\/pubs\/default.aspx?id=244559\n                    \n                  ."},{"key":"581_CR27","unstructured":"Z3 theorem prover. \n                    https:\/\/github.com\/Z3Prover\/z3\n                    \n                  . Accessed 17 Apr 2018."},{"key":"581_CR28","unstructured":"AngularJS. \n                    https:\/\/angularjs.org\n                    \n                  \/. Accessed 17 Apr 2018."},{"key":"581_CR29","first-page":"7","volume-title":"Proceedings of the seventh workshop on programming languages and operating systems","author":"J Dzik","year":"2013","unstructured":"Dzik J, Palladinos N, Rontogiannis K, Tsarpalis E, Vathis N. MBrace: cloud computing with monads. In: Proceedings of the seventh workshop on programming languages and operating systems; 2013. p. 7."},{"key":"581_CR30","unstructured":"MBrace. \n                    http:\/\/mbrace.io\n                    \n                  \/. Accessed 17 Apr 2018."},{"key":"581_CR31","unstructured":"SCNS github repository. \n                    https:\/\/github.com\/swoodhouse\/SCNS-GUI\n                    \n                  . Accessed 17 Apr 2018."},{"key":"581_CR32","first-page":"1","volume-title":"Characterization of transcriptional networks in blood stem and progenitor cells using high-throughput single-cell gene expression analysis","author":"V Moignard","year":"2013","unstructured":"Moignard V, Macaulay IC, Swiers G, Buettner F, Sch\u00fctte J, Calero-nieto FJ, et al. Characterization of transcriptional networks in blood stem and progenitor cells using high-throughput single-cell gene expression analysis; 2013. p. 1\u201311."},{"key":"581_CR33","doi-asserted-by":"publisher","first-page":"e24","DOI":"10.1093\/nar\/gkq1182","volume":"39","author":"A St\u00e5hlberg","year":"2011","unstructured":"St\u00e5hlberg A, Andersson D, Aurelius J, Faiz M, Pekna M, Kubista M, et al. Defining cell populations with single-cell gene expression profiling: correlations and identification of astrocyte subpopulations. Nucleic Acids Res. 2011;39:e24.","journal-title":"Nucleic Acids Res"},{"key":"581_CR34","doi-asserted-by":"publisher","first-page":"4018","DOI":"10.1242\/dev.115709","volume":"141","author":"AC Wilkinson","year":"2014","unstructured":"Wilkinson AC, Kawata VKS, Sch\u00fctte J, Gao X, Antoniou S, Baumann C, et al. Single-cell analyses of regulatory network perturbations using enhancer-targeting TALEs suggest novel roles for PU.1 during haematopoietic specification. Development. 2014;141:4018\u201330. \n                    https:\/\/doi.org\/10.1242\/dev.115709\n                    \n                  .","journal-title":"Development"}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12918-018-0581-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s12918-018-0581-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12918-018-0581-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T19:07:01Z","timestamp":1558724821000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/s12918-018-0581-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,25]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["581"],"URL":"https:\/\/doi.org\/10.1186\/s12918-018-0581-y","relation":{},"ISSN":["1752-0509"],"issn-type":[{"value":"1752-0509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,25]]},"assertion":[{"value":"18 February 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 April 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Not applicable.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"The authors declare that they have no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}},{"value":"Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Publisher\u2019s Note"}}],"article-number":"59"}}