Synthesising executable gene regulatory networks from single-cell gene expression data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9206, Issue , 2015, Pages 544-560

  Fisher, Jasmin ^a,b   Köksal, Ali Sinan ^c   Piterman, Nir ^d   Woodhouse, Steven ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b MICROSOFT RESEARCH   (United Kingdom)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; CELLS; COMPUTER AIDED ANALYSIS; CYTOLOGY; GENES; THROUGHPUT;

COMPUTATIONAL MODELLING; EMBRYONIC DEVELOPMENT; GENE EXPRESSION DATA; GENE EXPRESSION PROFILES; GENE REGULATORY NETWORKS; HIGH THROUGHPUT EXPERIMENTS; SINGLE CELL MEASUREMENT; SINGLE CELL RESOLUTION;

GENE EXPRESSION;

EID: 84951188597     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-21690-4_38     Document Type: Conference Paper

References (27)

1. 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-234. ACM (2014).
2. 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-i88 (2013).
3. 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-100. Springer, Heidelberg (2013).
4. 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-372. Springer, Heidelberg (2014).
5. 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-149. Springer, Heidelberg (2011).
6. 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-1160 (2014).
7. Garg, A., Di Cara, A., Xenarios, I., Mendoza, L., De Micheli, G.: Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics 24(17), 1917-1925 (2008).
8. 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-505 (2013).
9. 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 selfrenewal in human pluripotent stem cells. Front Physiol. 4, 303 (2013).
10. Kauffman, S. A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22, 437-467 (1969).
11. 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).
12. Koksal, A., Pu, Y., Srivastava, S., Bodik, R., Piterman, N., Fisher, J.: Synthesis of biological models from mutation experiments. In: POPL (2013).
13. 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).
14. Moignard, V., Gottgens, B.: Transcriptional mechanisms of cell fate decisions revealed by single cell expression profiling. Bioessays 36, 419-426 (2014).
15. 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-372 (2013).
16. 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-276 (2015).
17. 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-357. Springer, Heidelberg (2014).
18. 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-294 (2012).
19. Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: 16th Symposium on Principles of Programming Languages, pp. 179-190. ACM Press (1989).
20. Sharan, R., Karp, R. M.: Reconstructing boolean models of signaling. J. Comput. Biol. 20(3), 249-257 (2013).
21. Solar-Lezama, A., Rabbah, R. M., Bodík, R., Ebcioglu, K.: Programming by sketching for bit-streaming programs. In: Programming Language Design and Implementation, pp. 281-294. ACM (2005).
22. Srivastava, S., Gulwani, S., Foster, J. S.: From program verification to program synthesis. In: 37th Symposium on Principles of Programming Languages, pp. 313-326. ACM (2010).
23. Srivastava, S., Gulwani, S., Foster, J. S.: Template-based program verification and program synthesis. Int. J. Softw. Tools Technol. Transfer 15(5-6), 497-518 (2013).
24. Wilkinson, D.: Stochastic Modelling for Systems Biology, 2nd edn. Chapman and Hall/CRC, Boca Raton, Florida (2012).
25. Xu, H., Ang, Y.-S., Sevilla, A., Lemischka, I. R., Ma'ayan, 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).
26. Yen, J. Y.: Finding the k shortest loopless paths in a network. Manag. Sci. 17(11), 712-716 (1971).
27. 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).