{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:28:18Z","timestamp":1763663298780,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319216898"},{"type":"electronic","value":"9783319216904"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21690-4_38","type":"book-chapter","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T02:08:27Z","timestamp":1436926107000},"page":"544-560","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data"],"prefix":"10.1007","author":[{"given":"Jasmin","family":"Fisher","sequence":"first","affiliation":[]},{"given":"Ali Sinan","family":"K\u00f6ksal","sequence":"additional","affiliation":[]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[]},{"given":"Steven","family":"Woodhouse","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,16]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Beyene, T.A., Chaudhuri, S., Popeea, C., Rybalchenko, A.: A constraint-based approach to solving games on infinite graphs. In: 41st Symposium on Principles of Programming Languages, pp. 221\u2013234. ACM (2014)","DOI":"10.1145\/2535838.2535860"},{"issue":"13","key":"38_CR2","doi-asserted-by":"publisher","first-page":"i80","DOI":"10.1093\/bioinformatics\/btt243","volume":"29","author":"N Bonzanni","year":"2013","unstructured":"Bonzanni, N., Garg, A., Feenstra, K.A., Schtte, J., Kinston, S., Miranda-Saavedra, D., Heringa, J., Xenarios, I., Gottgens, B.: Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model. Bioinformatics 29(13), i80\u2013i88 (2013)","journal-title":"Bioinformatics"},{"key":"38_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-39799-8_5","volume-title":"Computer Aided Verification","author":"K Claessen","year":"2013","unstructured":"Claessen, K., Fisher, J., Ishtiaq, S., Piterman, N., Wang, Q.: Model-checking signal transduction networks through decreasing reachability sets. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 85\u2013100. Springer, Heidelberg (2013)"},{"key":"38_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1007\/978-3-319-08867-9_24","volume-title":"Computer Aided Verification","author":"B Cook","year":"2014","unstructured":"Cook, B., Fisher, J., Hall, B.A., Ishtiaq, S., Juniwal, G., Piterman, N.: Finding instability in biological models. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 358\u2013372. Springer, Heidelberg (2014)"},{"key":"38_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-18275-4_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"B Cook","year":"2011","unstructured":"Cook, B., Fisher, J., Krepska, E., Piterman, N.: Proving stabilization of biological systems. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 134\u2013149. Springer, Heidelberg (2011)"},{"issue":"6188","key":"38_CR6","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 nave pluripotency. Science 344(6188), 1156\u20131160 (2014)","journal-title":"Science"},{"issue":"17","key":"38_CR7","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 24(17), 1917\u20131925 (2008)","journal-title":"Bioinformatics"},{"issue":"4","key":"38_CR8","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1016\/j.stem.2013.07.017","volume":"13","author":"G Guo","year":"2013","unstructured":"Guo, G., Luc, S., Marco, E., Lin, T.-W., Peng, C., Kerenyi, M.A., Beyaz, S., Kim, W., Xu, J., Das, P.P., Neff, T., Zou, K., Yuan, G.-C., Orkin, S.H.: Mapping cellular hierarchy by single-cell analysis of the cell surface repertoire. Cell Stem Cell 13(4), 492\u2013505 (2013)","journal-title":"Cell Stem Cell"},{"key":"38_CR9","doi-asserted-by":"publisher","first-page":"303","DOI":"10.3389\/fphys.2013.00303","volume":"4","author":"H Peterson","year":"2013","unstructured":"Peterson, H., Abu-Dawud, R., Garg, A., Wang, Y., Vilo, J., Xenarios, I., Adjaye, J.: Qualitative modeling identifies IL-11 as a novel regulator in maintaining self-renewal in human pluripotent stem cells. Front Physiol. 4, 303 (2013)","journal-title":"Front Physiol."},{"key":"38_CR10","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"SA Kauffman","year":"1969","unstructured":"Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22, 437\u2013467 (1969)","journal-title":"J. Theor. Biol."},{"key":"38_CR11","doi-asserted-by":"publisher","first-page":"446","DOI":"10.3389\/fphys.2012.00446","volume":"3","author":"L Kazemzadeh","year":"2012","unstructured":"Kazemzadeh, L., Cvijovic, M., Petranovic, D.: Boolean model of yeast apoptosis as a tool to study yeast and human apoptotic regulations. Front Physiol. 3, 446 (2012)","journal-title":"Front Physiol."},{"key":"38_CR12","doi-asserted-by":"crossref","unstructured":"Koksal, A., Pu, Y., Srivastava, S., Bodik, R., Piterman, N., Fisher, J.: Synthesis of biological models from mutation experiments. In: POPL (2013)","DOI":"10.1145\/2429069.2429125"},{"issue":"8","key":"38_CR13","doi-asserted-by":"publisher","first-page":"e22649","DOI":"10.1371\/journal.pone.0022649","volume":"6","author":"J Krumsiek","year":"2011","unstructured":"Krumsiek, J., Marr, C., Schroeder, T., Theis, F.J.: Hierarchical differentiation of myeloid progenitors is encoded in the transcription factor network. PLoS One 6(8), e22649 (2011)","journal-title":"PLoS One"},{"key":"38_CR14","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1002\/bies.201300102","volume":"36","author":"V Moignard","year":"2014","unstructured":"Moignard, V., Gottgens, B.: Transcriptional mechanisms of cell fate decisions revealed by single cell expression profiling. Bioessays 36, 419\u2013426 (2014)","journal-title":"Bioessays"},{"issue":"4","key":"38_CR15","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1038\/ncb2709","volume":"15","author":"V Moignard","year":"2013","unstructured":"Moignard, V., Macaulay, I., Swiers, G., Buettner, F., Schutte, J., Calero-Nieto, F., Kinston, S., Joshi, A., Hannah, R., Theis, F., Jacobsen, S., de Bruijn, M., Gottgens, B.: Characterization of transcriptional networks in blood stem and progenitor cells using high-throughput single-cell gene expression analysis. Nat. Cell Biol. 15(4), 363\u2013372 (2013)","journal-title":"Nat. Cell Biol."},{"key":"38_CR16","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, J., Tanaka, Y., Wilkinson, A., Buettner, F., Macaulay, I., Jawaid, W., Diamanti, E., Nishikawa, S., Piterman, N., Kouskoff, V., Theis, F., Fisher, J., Gottgens, B.: Decoding the regulatory network of early blood development from single-cell gene expression measurements. Nat. Biotechnol. 33, 269\u2013276 (2015)","journal-title":"Nat. Biotechnol."},{"key":"38_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/978-3-319-08867-9_23","volume-title":"Computer Aided Verification","author":"N Paoletti","year":"2014","unstructured":"Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C.M., Kugler, H.: Analyzing and synthesizing genomic logic functions. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 343\u2013357. Springer, Heidelberg (2014)"},{"key":"38_CR18","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.J., Brown, J., Soneji, S., Teles, J., Peterson, C., Enver, T.: Inferring rules of lineage commitment in haematopoiesis. Nat. Cell Biol. 14, 287\u2013294 (2012)","journal-title":"Nat. Cell Biol."},{"key":"38_CR19","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: 16th Symposium on Principles of Programming Languages, pp. 179\u2013190. ACM Press (1989)","DOI":"10.1145\/75277.75293"},{"issue":"3","key":"38_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, R.M.: Reconstructing boolean models of signaling. J. Comput. Biol. 20(3), 249\u2013257 (2013)","journal-title":"J. Comput. Biol."},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Rabbah, R.M., Bod\u00edk, R., Ebcioglu, K.: Programming by sketching for bit-streaming programs. In: Programming Language Design and Implementation, pp. 281\u2013294. ACM (2005)","DOI":"10.1145\/1064978.1065045"},{"key":"38_CR22","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Gulwani, S., Foster, J.S.: From program verification to program synthesis. In: 37th Symposium on Principles of Programming Languages, pp. 313\u2013326. ACM (2010)","DOI":"10.1145\/1706299.1706337"},{"issue":"5\u20136","key":"38_CR23","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/s10009-012-0223-4","volume":"15","author":"S Srivastava","year":"2013","unstructured":"Srivastava, S., Gulwani, S., Foster, J.S.: Template-based program verification and program synthesis. Int. J. Softw. Tools Technol. Transfer 15(5\u20136), 497\u2013518 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"38_CR24","volume-title":"Stochastic Modelling for Systems Biology","author":"D Wilkinson","year":"2012","unstructured":"Wilkinson, D.: Stochastic Modelling for Systems Biology, 2nd edn. Chapman and Hall\/CRC, Boca Raton, Florida (2012)","edition":"2"},{"issue":"8","key":"38_CR25","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, I.R., Ma\u2019ayan, A.: Construction and validation of a regulatory network for pluripotency and self-renewal of mouse embryonic stem cells. PLoS Comput. Biol. 10(8), e1003777 (2014)","journal-title":"PLoS Comput. Biol."},{"issue":"11","key":"38_CR26","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1287\/mnsc.17.11.712","volume":"17","author":"JY Yen","year":"1971","unstructured":"Yen, J.Y.: Finding the k shortest loopless paths in a network. Manag. Sci. 17(11), 712\u2013716 (1971)","journal-title":"Manag. Sci."},{"key":"38_CR27","doi-asserted-by":"publisher","first-page":"e60593","DOI":"10.1371\/journal.pone.0060593","volume":"8","author":"D Zheng","year":"2013","unstructured":"Zheng, D., Yang, G., Li, X., Wang, Z., Liu, F., He, L.: An efficient algorithm for computing attractors of synchronous and asynchronous boolean networks. PLOS ONE 8, e60593 (2013)","journal-title":"PLOS ONE"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21690-4_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T20:10:48Z","timestamp":1563826248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-21690-4_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319216898","9783319216904"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21690-4_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}