Estimating Attractor Reachability in Asynchronous Logical Models
暂无分享,去创建一个
Claudine Chaouiya | Elisabeth Remy | Rui Henriques | Nuno D. Mendes | Pedro T. Monteiro | Jorge Carneiro | É. Remy | C. Chaouiya | J. Carneiro | R. Henriques | N. Mendes | Rui Henriques
[1] Thomas A. Henzinger,et al. Sliding Window Abstraction for Infinite Markov Chains , 2009, CAV.
[2] Emmanuel Barillot,et al. Continuous time boolean modeling for biological signaling: application of Gillespie algorithm , 2012, BMC Systems Biology.
[3] M. Khammash,et al. The finite state projection algorithm for the solution of the chemical master equation. , 2006, The Journal of chemical physics.
[4] Denis Thieffry,et al. Mathematical Modelling of Cell-Fate Decision in Response to Death Receptor Engagement , 2010, PLoS Comput. Biol..
[5] Aurélien Naldi,et al. Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle , 2006, ISMB.
[6] Emmanuel Barillot,et al. Mathematical Modelling of Molecular Pathways Enabling Tumour Cell Invasion and Migration , 2015, PLoS Comput. Biol..
[7] Denis Thieffry,et al. Logical Modeling and Dynamical Analysis of Cellular Networks , 2016, Front. Genet..
[8] S. Kauffman,et al. Cancer attractors: a systems view of tumors from a gene network dynamics and developmental perspective. , 2009, Seminars in cell & developmental biology.
[9] Leon Glass,et al. Logical and symbolic analysis of robust biological dynamics. , 2010, Current opinion in genetics & development.
[10] D. Thieffry,et al. Segmenting the fly embryo: logical analysis of the role of the segment polarity cross-regulatory module. , 2008, The International journal of developmental biology.
[11] Aurélien Naldi,et al. Logical Modeling and Analysis of Cellular Regulatory Networks With GINsim 3.0 , 2018, Front. Physiol..
[12] Hans A. Kestler,et al. BoolNet - an R package for generation, reconstruction and analysis of Boolean networks , 2010, Bioinform..
[13] Kwang-Hyun Cho,et al. Attractor landscape analysis of colorectal tumorigenesis and its reversion , 2016, BMC Systems Biology.
[14] Denis Thieffry,et al. Logical modelling of cell cycle control in eukaryotes: a comparative study. , 2009, Molecular bioSystems.
[15] Aurélien Naldi,et al. Diversity and Plasticity of Th Cell Types Predicted from Regulatory Network Modelling , 2010, PLoS Comput. Biol..
[16] É. Remy,et al. A Modeling Approach to Explain Mutually Exclusive and Co-Occurring Genetic Alterations in Bladder Tumorigenesis. , 2015, Cancer research.
[17] Kwang-Hyun Cho,et al. Quantitative evaluation and reversion analysis of the attractor landscapes of an intracellular regulatory network for colorectal cancer , 2017, BMC Systems Biology.
[18] Xuedong Liu,et al. Computational Modeling of Signaling Networks , 2012, Methods in Molecular Biology.
[19] Aurélien Naldi,et al. Logical modelling of gene regulatory networks with GINsim. , 2012, Methods in molecular biology.
[20] René Thomas,et al. Biological Feedback , 2019 .
[21] Robert E. Tarjan,et al. Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..
[22] Giovanni De Micheli,et al. Synchronous versus asynchronous modeling of gene regulatory networks , 2008, Bioinform..
[23] René Thomas. Regulatory networks seen as asynchronous automata: A logical description , 1991 .
[24] Denis Thieffry,et al. Logical modeling of lymphoid and myeloid cell specification and transdifferentiation , 2017, Proceedings of the National Academy of Sciences.
[25] Hadia Hameed,et al. ATLANTIS - Attractor Landscape Analysis Toolbox for Cell Fate Discovery and Reprogramming , 2018, Scientific Reports.
[26] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[27] Denis Thieffry,et al. Discovery of Drug Synergies in Gastric Cancer Cells Predicted by Logical Modeling , 2015, PLoS Comput. Biol..
[28] Réka Albert,et al. An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks. , 2013, Chaos.
[29] J. Zeman,et al. quantitative evaluation of by , 2010 .
[30] Assieh Saadatpour,et al. Discrete dynamic modeling of signal transduction networks. , 2012, Methods in molecular biology.
[31] Denis Thieffry,et al. Bacterial Molecular Networks , 2012, Methods in Molecular Biology.
[32] M. Chaves,et al. Hierarchy of models: from qualitative to quantitative analysis of circadian rhythms in cyanobacteria. , 2013, Chaos.
[33] Alexander Bockmayr,et al. Computing maximal and minimal trap spaces of Boolean networks , 2015, Natural Computing.
[34] Marta Kwiatkowska,et al. Probabilistic model checking: advances and applications , 2018 .
[35] Bernard Prum. Chaînes de Markov et absorption. Application à l’algorithme de Fu en génomique , 2012 .