Paul, Soumya ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Pang, Jun ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
yes
Language :
English
Title :
Controlling large Boolean networks with temporary and permanent perturbations
Publication date :
2019
Event name :
23rd International Symposium on Formal Methods
Event date :
2019
Audience :
International
Main work title :
Proceedings of the 23rd International Symposium on Formal Methods (FM'19)
Publisher :
Springer
Collection name :
LNCS 11800
Pages :
707-724
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
FnR Project :
FNR11191283 - Computational Models And Algorithms For Predicting Cell Reprogramming Determinants With High Efficiency And High Fidelity, 2015 (01/03/2017-15/07/2021) - Thomas Sauter
Gao, J., Liu, Y.Y., D’Souza, R.M., Barabási, A.L.: Target control of complex networks. Nat. Commun. 5, 5415 (2014)
Czeizler, E., Gratie, C., Chiu, W.K., Kanhaiya, K., Petre, I.: Target controllability of linear networks. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 67–81. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45177-0_5
Bornholdt, S.: Less is more in modeling large genetic networks. Science 310(5747), 449–451 (2005)
Mochizuki, A., Fiedler, B., Kurosawa, G., Saito, D.: Dynamics and control at feedback vertex sets. II: a faithful monitor to determine the diversity of molecular activities in regulatory networks. J. Theor. Biol. 335, 130–146 (2013)
Zañudo, J.G.T., Yang, G., Albert, R.: Structure-based control of complex networks with nonlinear dynamics. Proc. Natl. Acad. Sci. 114(28), 7234–7239 (2017)
Kim, J., Park, S., Cho, K.: Discovery of a kernel for controlling biomolecular regulatory networks. Sci. Rep. 3, 2223 (2013)
Zhao, Y., Kim, J., Filippone, M.: Aggregation algorithm towards large-scale Boolean network analysis. IEEE Trans. Autom. Control 58(8), 1976–1985 (2013)
Papin, J.A., Hunter, T., Palsson, B.O., Subramaniam, S.: Reconstruction of cellular signalling networks and analysis of their properties. Nat. Rev. Mol. Cell Biol. 6(2), 99 (2005)
Cornelius, S.P., Kath, W.L., Motter, A.E.: Realistic control of network dynamics. Nat. Commun. 4, 1942 (2013)
Germini, D., Tsfasman, T., Zakharova, V.V., Sjakste, N., Lipinski, M., Vassetzky, Y.: A comparison of techniques to evaluate the effectiveness of genome editing. Trends Biotechnol. 36(2), 147–159 (2018)
Paul, S., Su, C., Pang, J., Mizera, A.: A decomposition-based approach towards the control of Boolean networks. In: Proceedings 9th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics, pp. 11–20. ACM Press (2018)
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)
Müller, F., Schuppert, A.: Few inputs can reprogram biological networks. Nature 478(7369), E4 (2011)
Takahashi, K., Yamanaka, S.: Induction of pluripotent stem cells from mouse embryonic and adult fibroblast cultures by defined factors. Cell 126(4), 663–676 (2006)
Mizera, A., Pang, J., Su, C., Yuan, Q.: ASSA-PBN: a toolbox for probabilistic Boolean networks. IEEE/ACM Trans. Comput. Biol. Bioinform. 15(4), 1203–1216 (2018)
Zhu, P., Han, J.: Asynchronous stochastic Boolean networks as gene network models. J. Comput. Biol. 21(10), 771–783 (2014)
Paul, S., Su, C., Pang, J., Mizera, A.: An efficient approach towards the source-target control of Boolean networks. IEEE/ACM Trans. Comput. Biol. Bioinform. (2019)
Zhang, R., Lin, Y.: Deg 5.0, a database of essential genes in both prokaryotes and eukaryotes. Nucleic Acids Res. 37, D455–D458 (2008). (Database issue)
Herrmann, F., Groß, A., Zhou, D., Kestler, H.A., Kühl, M.: A Boolean model of the cardiac gene regulatory network determining first and second heart field identity. PLOS one 7(10), 1–10 (2012)
Sahin, O., et al.: Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance. BMC Syst. Biol. 3(1), 1 (2009)
Cohen, D.P.A., Martignetti, L., Robine, S., Barillot, E., Zinovyev, A., Calzone, L.: Mathematical modelling of molecular pathways enabling tumour cell invasion and migration. PLoS Comput. Biol. 11(11), e1004571 (2015)
Offermann, B., et al.: Boolean modeling reveals the necessity of transcriptional regulation for bistability in PC12 cell differentiation. Front. Genet. 7, 44 (2016)
Collombet, S., et al.: Logical modeling of lymphoid and myeloid cell specification and transdifferentiation. Proc. Natl. Acad. Sci. 114(23), 5792–5799 (2017)
Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perles, B., Thi-effry, D.: Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput. Biol. 9(10), e1003286 (2013)
Singh, A., Nascimento, J.M., Kowar, S., Busch, H., Boerries, M.: Boolean approach to signalling pathway modelling in HGF-induced keratinocyte migration. Bioinformatics 28(18), 495–501 (2012)
Conroy, B.D., et al.: Design, assessment, and in vivo evaluation of a computational model illustrating the role of CAV1 in CD4+ T-lymphocytes. Front. Immunol. 5, 599 (2014)
Mandon, H., Su, C., Haar, S., Pang, J., Paulevé, L.: Sequential reprogramming of Boolean networks made practical. In: Proceedings 17th International Conference on Computational Methods in Systems Biology. LNCS, Springer-Verlag (2019)
Shmulevich, I., Dougherty, E.R.: Probabilistic Boolean Networks: The Modeling and Control of Gene Regulatory Networks. SIAM Press, Philadelphia (2010)
Trairatphisan, P., Mizera, A., Pang, J., Tantar, A.A., Schneider, J., Sauter, T.: Recent development and biomedical applications of probabilistic Boolean networks. Cell Commun. Signal. 11, 46 (2013)