A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
暂无分享,去创建一个
Roberto Barbuti | Paolo Milazzo | Roberta Gori | Lucia Nasti | P. Milazzo | R. Barbuti | R. Gori | Lucia Nasti
[1] Darren J. Wilkinson. Stochastic Modelling for Systems Biology , 2006 .
[2] M. Mendenhall,et al. Regulation of Cdc28 Cyclin-Dependent Protein Kinase Activity during the Cell Cycle of the Yeast Saccharomyces cerevisiae , 1998, Microbiology and Molecular Biology Reviews.
[3] Andrzej Ehrenfeucht,et al. Reaction Systems , 2007, Fundam. Informaticae.
[4] Stefan Bornholdt,et al. Boolean network models of cellular regulation: prospects and limitations , 2008, Journal of The Royal Society Interface.
[5] Luca Cardelli,et al. BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..
[6] Nuno A. Fonseca,et al. Expression Atlas update: from tissues to single cells , 2019, Nucleic Acids Res..
[7] P J Goss,et al. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.
[8] W. Brown,et al. Translation: DNA to mRNA to Protein , 2008 .
[9] Chaoyang Zhang,et al. Comparison of probabilistic Boolean network and dynamic Bayesian network approaches for inferring gene regulatory networks , 2007, BMC Bioinformatics.
[10] Paolo Milazzo,et al. Spatial P systems , 2010, Natural Computing.
[11] Nadia Busi. Analysis issues in Petri nets with inhibitor arcs , 2002, Theor. Comput. Sci..
[12] Francisco Gómez-Vela,et al. Computational methods for Gene Regulatory Networks reconstruction and analysis: A review , 2019, Artif. Intell. Medicine.
[13] Denis Thieffry,et al. Petri net modelling of biological regulatory networks , 2008, J. Discrete Algorithms.
[14] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[15] P. Benfey,et al. A Gene Regulatory Network for Root Epidermis Cell Differentiation in Arabidopsis , 2012, PLoS genetics.
[16] Paolo Milazzo,et al. Investigating dynamic causalities in reaction systems , 2016, Theor. Comput. Sci..
[17] Edward R. Dougherty,et al. Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks , 2002, Bioinform..
[18] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[19] M. di Bernardo,et al. Comparing different ODE modelling approaches for gene regulatory networks. , 2009, Journal of theoretical biology.
[20] Denis Thieffry,et al. Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets , 2004, ICATPN.
[21] H Matsuno,et al. Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.
[22] R. Albert,et al. Predicting Essential Components of Signal Transduction Networks: A Dynamic Model of Guard Cell Abscisic Acid Signaling , 2006, PLoS biology.
[23] Richard Banks,et al. Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach , 2007, Bioinform..
[24] Mario J. Pérez-Jiménez,et al. Modelling gene expression control using P systems: The Lac Operon, a case study , 2008, Biosyst..
[25] Edward R. Dougherty,et al. Review of stochastic hybrid systems with applications in biological systems modeling and analysis , 2017, EURASIP J. Bioinform. Syst. Biol..
[26] Rui-Sheng Wang,et al. Boolean modeling in systems biology: an overview of methodology and applications , 2012, Physical biology.
[27] Giancarlo Mauri,et al. Dynamical probabilistic P systems , 2006, Int. J. Found. Comput. Sci..
[28] Caner Kazanci,et al. Deterministic and stochastic simulation and analysis of biochemical reaction networks the lactose operon example. , 2011, Methods in enzymology.
[29] Marian Gheorghe,et al. Quorum sensing P systems , 2007, Theor. Comput. Sci..
[30] C. A. Petri. Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.
[31] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[32] Vincent Danos,et al. Abstract Interpretation of Cellular Signalling Networks , 2008, VMCAI.
[33] Aviv Regev,et al. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.
[34] Alvis Brazma,et al. Current approaches to gene regulatory network modelling , 2007, BMC Bioinformatics.
[35] David J. Barnes,et al. Introduction to Modeling for Biosciences , 2010 .
[36] B. Haibe-Kains,et al. Gene regulatory networks and their applications: understanding biological and medical problems in terms of networks , 2014, Front. Cell Dev. Biol..
[37] Denis Thieffry,et al. Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis , 1999, Bioinform..
[38] Aurélien Naldi,et al. Dynamically consistent reduction of logical regulatory graphs , 2011, Theor. Comput. Sci..
[39] Stanislas Leibler,et al. Modeling network dynamics , 2003, The Journal of cell biology.
[40] Jean Peccoud,et al. Analysis of the Stabilizing Effect of ROM on the Genetic Network Controlling ColE1 Plasmid Replication , 1999, Pacific Symposium on Biocomputing.
[41] Paolo Milazzo,et al. Computing Preimages and Ancestors in Reaction Systems , 2018, TPNC.
[42] Eric Bullinger,et al. Wilkinson Darren: Stochastic Modelling for Systems Biology , 2006 .
[43] Satoru Miyano,et al. Identification of Genetic Networks from a Small Number of Gene Expression Patterns Under the Boolean Network Model , 1998, Pacific Symposium on Biocomputing.
[44] Pierluigi Frisco,et al. Applications of Membrane Computing in Systems and Synthetic Biology , 2014 .
[45] Avi Ma’ayan. Complex systems biology , 2017, Journal of The Royal Society Interface.
[46] I. Albert,et al. Attractor analysis of asynchronous Boolean models of signal transduction networks. , 2010, Journal of theoretical biology.
[47] Corrado Priami,et al. Beta Binders for Biological Interactions , 2004, CMSB.
[48] Roberto Barbuti,et al. Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation , 2020, Theor. Comput. Sci..
[49] Giancarlo Mauri,et al. An excursion in reaction systems: From computer science to biology , 2012, Theor. Comput. Sci..
[50] Guy Karlebach,et al. Modelling and analysis of gene regulatory networks , 2008, Nature Reviews Molecular Cell Biology.
[51] Marian Gheorghe,et al. On P Systems as a Modelling Tool for Biological Systems , 2005, Workshop on Membrane Computing.
[52] Tanya Barrett,et al. The Gene Expression Omnibus Database , 2016, Statistical Genomics.
[53] S Miyano,et al. Algorithms for inferring qualitative models of biological networks. , 2000, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.
[54] Isabelle S. Peter,et al. Methods for the experimental and computational analysis of gene regulatory networks in sea urchins. , 2019, Methods in cell biology.
[55] Aviv Regev,et al. Comparative analysis of gene regulatory networks: from network reconstruction to evolution. , 2015, Annual review of cell and developmental biology.
[56] William J R Longabaugh,et al. BioTapestry: a tool to visualize the dynamic properties of gene regulatory networks. , 2012, Methods in molecular biology.
[57] Katherine C. Chen,et al. Integrative analysis of cell cycle control in budding yeast. , 2004, Molecular biology of the cell.
[58] Giovanni De Micheli,et al. Synchronous versus asynchronous modeling of gene regulatory networks , 2008, Bioinform..
[59] M Chaves,et al. Methods of robustness analysis for Boolean models of gene control networks. , 2006, Systems biology.
[60] S. Bilke,et al. Stability of the Kauffman model. , 2002, Physical review. E, Statistical, nonlinear, and soft matter physics.
[61] Eric H. Davidson,et al. Genomic Control Process: Development and Evolution , 2015 .
[62] Paolo Milazzo,et al. Specialized Predictor for Reaction Systems with Context Properties , 2015, CS&P.
[63] Jason A. Papin,et al. Reconstruction of cellular signalling networks and analysis of their properties , 2005, Nature Reviews Molecular Cell Biology.
[64] M. J. P. Jiménez,et al. Modelling EGFR signalling cascade using continuous membrane systems , 2005 .
[65] Gheorghe Paun,et al. Membrane Computing as a Modeling Framework. Cellular Systems Case Studies , 2008, SFM.
[66] Monika Heiner,et al. From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis , 2006, ICATPN.
[67] Gheorghe Paun,et al. Computing with Membranes , 2000, J. Comput. Syst. Sci..
[68] E. Boczko,et al. Connecting the dots between genes, biochemistry, and disease susceptibility: systems biology modeling in human genetics. , 2003, Molecular genetics and metabolism.
[69] Ioannis Xenarios,et al. A method for the generation of standardized qualitative dynamical systems of regulatory networks , 2005, Theoretical Biology and Medical Modelling.
[70] D R Westhead,et al. Petri Net representations in systems biology. , 2003, Biochemical Society transactions.
[71] Aurélien Naldi,et al. Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle , 2006, ISMB.
[72] H. Othmer,et al. The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. , 2003, Journal of theoretical biology.
[73] Paolo Milazzo,et al. Simulating Gene Regulatory Networks using Reaction Systems , 2018, CS&P.
[74] Q. Ouyang,et al. The yeast cell-cycle network is robustly designed. , 2003, Proceedings of the National Academy of Sciences of the United States of America.
[75] Pierre N. Robillard,et al. Modeling and Simulation of Molecular Biology Systems Using Petri Nets: Modeling Goals of Various Approaches , 2004, J. Bioinform. Comput. Biol..
[76] Andrzej Ehrenfeucht,et al. A Tour of reaction Systems , 2011, Int. J. Found. Comput. Sci..
[77] Madalena Chaves,et al. Robustness and fragility of Boolean models for genetic regulatory networks. , 2005, Journal of theoretical biology.
[78] Daniel T Gillespie,et al. Stochastic simulation of chemical kinetics. , 2007, Annual review of physical chemistry.
[79] J. Keasling,et al. Mathematical Model of the lac Operon: Inducer Exclusion, Catabolite Repression, and Diauxic Growth on Glucose and Lactose , 1997, Biotechnology progress.
[80] Qianchuan Zhao,et al. A remark on "Scalar equations for synchronous Boolean networks with biological Applications" by C. Farrow, J. Heidel, J. Maloney, and J. Rogers , 2005, IEEE Transactions on Neural Networks.
[81] Wolfgang Reisig,et al. Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.
[82] Thomas Hinze,et al. Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo , 2007, Workshop on Membrane Computing.
[83] Edward R. Dougherty,et al. From Boolean to probabilistic Boolean networks as models of genetic regulatory networks , 2002, Proc. IEEE.
[84] Mario J. Pérez-Jiménez,et al. P Systems, a New Computational Modelling Tool for Systems Biology , 2006, Trans. Comp. Sys. Biology.
[85] R. Albert,et al. Network model of survival signaling in large granular lymphocyte leukemia , 2008, Proceedings of the National Academy of Sciences.
[86] Carlos Martín-Vide,et al. Membrane systems with promoters/inhibitors , 2002, Acta Informatica.
[87] Martin Feinberg,et al. Foundations of Chemical Reaction Network Theory , 2019, Applied Mathematical Sciences.
[88] E. O’Shea,et al. Living with noisy genes: how cells function reliably with inherent variability in gene expression. , 2007, Annual review of biophysics and biomolecular structure.
[89] Natalio Krasnogor,et al. The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology , 2011, Bioinform..
[90] Linqiang Pan,et al. Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems , 2013, Int. J. Unconv. Comput..
[91] Denis Thieffry,et al. Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework , 2003, POSTA.
[92] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[93] T. Henzinger. The theory of hybrid automata , 1996, LICS 1996.
[94] Robert Fleischer. New Physics in B and K Decays , 2005 .
[95] Jorge G. T. Zañudo,et al. Boolean Threshold Networks: Virtues and Limitations for Biological Modeling , 2010, 1011.3848.
[96] Roland Somogyi,et al. Modeling the complexity of genetic networks: Understanding multigenic and pleiotropic regulation , 1996, Complex..
[97] Maria Luisa Guerriero,et al. Modelling Biological Compartments in Bio-PEPA , 2008, MeCBIC.
[98] Sylvain Cussat-Blanc,et al. Artificial Gene Regulatory Networks—A Review , 2019, Artificial Life.
[99] L. Loew,et al. The Virtual Cell: a software environment for computational cell biology. , 2001, Trends in biotechnology.
[100] Peter Deuflhard,et al. A Guide to Numerical Modelling in Systems Biology , 2015 .
[101] Yan Chen,et al. Analysis for gene networks based on logic relationships , 2010, J. Syst. Sci. Complex..
[102] S. Kauffman. Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.
[103] Xin Liu,et al. Dynamical and Structural Analysis of a T Cell Survival Network Identifies Novel Candidate Therapeutic Targets for Large Granular Lymphocyte Leukemia , 2011, PLoS Comput. Biol..
[104] Michael Hecker,et al. Gene regulatory network inference: Data integration in dynamic models - A review , 2009, Biosyst..
[105] Roberto Barbuti,et al. Characterization and computation of ancestors in reaction systems , 2020, Soft Computing.