Analyzing Pathways Using SAT-Based Approaches
暂无分享,去创建一个
Ashish Tiwari | Carolyn L. Talcott | Patrick Lincoln | Merrill Knapp | Keith Laderoute | P. Lincoln | A. Tiwari | C. Talcott | M. Knapp | K. Laderoute
[1] R. Losick,et al. Molecular genetics of sporulation in Bacillus subtilis. , 1996, Annual review of genetics.
[2] Carolyn L. Talcott,et al. Symbolic Modeling of Signal Transduction in Pathway Logic , 2006, Proceedings of the 2006 Winter Simulation Conference.
[3] Chitta Baral,et al. Reasoning about the ERK signal transduction pathway using , 2005 .
[4] François Fages,et al. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM , 2002 .
[5] S. Eykyn. Microbiology , 1950, The Lancet.
[6] Peter D. Karp,et al. EcoCyc: a comprehensive database resource for Escherichia coli , 2004, Nucleic Acids Res..
[7] Bruno Dutertre,et al. A Fast Linear-Arithmetic Solver for DPLL(T) , 2006, CAV.
[8] P. Karp,et al. Computational prediction of human metabolic pathways from the complete human genome , 2004, Genome Biology.
[9] E. Wimmer,et al. MAP Kinase Phosphatase As a Locus of Flexibility in a Mitogen-Activated Protein Kinase Signaling Network , 2022 .
[10] Carolyn L. Talcott,et al. Multiple Representations of Biological Processes , 2006, Trans. Comp. Sys. Biology.
[11] Ian Stark,et al. The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling , 2008, CMSB.
[12] Carolyn L. Talcott,et al. Pathway logic modeling of protein functional domains in signal transduction. , 2003 .
[13] Ravi Iyengar,et al. Robustness of the bistable behavior of a biological signaling feedback loop. , 2001, Chaos.