Temporal logic patterns for querying dynamic models of cellular interaction networks
暂无分享,去创建一个
Radu Mateescu | Hidde de Jong | Pedro T. Monteiro | Ana T. Freitas | Delphine Ropers | H. D. Jong | A. T. Freitas | Radu Mateescu | D. Ropers | H. Jong
[1] Vincent Danos,et al. Modeling and querying biomolecular interaction networks , 2004, Theor. Comput. Sci..
[2] J. Collins,et al. Construction of a genetic toggle switch in Escherichia coli , 2000, Nature.
[3] Radu Mateescu,et al. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli , 2005, ISMB.
[4] David Gilbert,et al. Analysis of signalling pathways using the prism model checker , 2005 .
[5] Alberto Policriti,et al. Model building and model checking for biochemical processes , 2007, Cell Biochemistry and Biophysics.
[6] D. Schneider,et al. Qualitative simulation of the carbon starvation response in Escherichia coli. , 2006, Bio Systems.
[7] Vipul Periwal,et al. System Modeling in Cellular Biology: From Concepts to Nuts and Bolts , 2006 .
[8] Pierre Wolper,et al. An automata-theoretic approach to branching-time model checking , 2000, JACM.
[9] George S. Avrunin,et al. Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[10] Julio Collado-Vides,et al. Identification of regulatory network topological units coordinating the genome-wide transcriptional response to glucose in Escherichia coli , 2007, BMC Microbiology.
[11] Y. Tse‐Dinh,et al. Regulation of Escherichia coli topA gene transcription: involvement of a sigmaS-dependent promoter. , 1997, Journal of molecular biology.
[12] Z. Manna,et al. Tools and rules for the practicing verifier , 1990 .
[13] The Escherichia coli SOS gene sbmC is regulated by H-NS and RpoS during the SOS induction and stationary growth phase. , 2001, Biochemical and biophysical research communications.
[14] Katherine C. Chen,et al. Integrative analysis of cell cycle control in budding yeast. , 2004, Molecular biology of the cell.
[15] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[16] E. Gilles,et al. Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors , 2002, Nature Biotechnology.
[17] Thomas A. Henzinger,et al. Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development , 2007, PLoS Comput. Biol..
[18] Andreas Kremling,et al. A Quantitative Approach to Catabolite Repression in Escherichia coli* , 2006, Journal of Biological Chemistry.
[19] Adrien Richard,et al. Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. , 2004, Journal of theoretical biology.
[20] Stephan Merz,et al. Model Checking , 2000 .
[21] Hidde de Jong,et al. Symbolic reachability analysis of genetic regulatory networks using discrete abstractions , 2008, Autom..
[22] T. Henzinger,et al. Executable cell biology , 2007, Nature Biotechnology.
[23] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[24] E. Klipp,et al. Corrigendum: Integrative model of the response of yeast to osmotic shock , 2006, Nature Biotechnology.
[25] L. Glass,et al. The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.
[26] E. Klipp,et al. Integrative model of the response of yeast to osmotic shock , 2005, Nature Biotechnology.
[27] Sally Fincher,et al. What is a Pattern Language , 2000 .