Analyzing pathways using SAT-based approaches

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4545 LNCS, Issue , 2007, Pages 155-169

  Tiwari, Ashish ^a   Talcott, Carolyn ^a   Knapp, Merrill ^a   Lincoln, Patrick ^a   Laderoute, Keith ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; GENE ENCODING; PHASE EQUILIBRIA; QUERY PROCESSING; TRANSLATION (LANGUAGES);

BOOLEAN CLAUSES; BOOLEAN VARIABLES; GENERIC NETWORKS; REACTION NETWORKS;

BIOLOGICAL SYSTEMS;

EID: 38149060100     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73433-8_12     Document Type: Conference Paper

References (14)

1. Bhalla, U.S., Iyengar, R.: Robustness of the bistable behavior of a biological signalling feedback loop. Chaos, 11(1) (2001)
2. Bhalla, U.S., Ram, P.T., Iyengar, R.: MAP kinase phosphatase as a locus of flexibility in a Mitogen-Activated Protein kinase signaling network. Science, 297 (2002)
3. Dutertre, B., de Moura, L.M.: A fast linear-arithmetic solver for dpll(t). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 81-94. Springer, Heidelberg (2006)
4. Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4(2), 64-73 (2004)
5. Keseler, I.M., Collado-Vides, J., Gama-Castro, S., Ingraham, J., Paley, S., Paulsen, I.T., Peralta-Gil, M., Karp, P.D.: EcoCyc: A comprehensive database resource for Escherichia coli. Nucleic Acids Research 33, D334-D347 (2005)
6. Prescott, L.M., Klein, D.A., Harley, J.P.: Microbiology. McGraw-Hill, New York (2002)
7. Romero, P., Wagg, J., Green, M.L., Kaiser, D., Krummenacker, M., Karp, P.D.: Computational prediction of human metabolic pathways from the complete human genome. Genome Biology 6(R2), 1-17 (2004)
8. Senachak, J., Vestergaard, M., Vestergaard, R.: Rewriting game theory and protein signalling in MAPK cascades. In: Proc. CMSB (2006)
9. Shankland, C., Tran, N., Baral, C., Kolch, W.: Reasoning about the ERK signal transduction pathway using BioSigNet-RR. In: Plotkin, G. (ed.) Proceedings of the Third International Conference on Computational Methods in System Biology (2005)
10. Stragier, P., Losick, R.: Molecular genetics of sporulation in bacillus subtilis. Annu. Rev. Genet. 30, 297-341 (1996)
11. Talcott, C., Eker, S., Knapp, M., Lincoln, P., Laderoute, K.: Pathway logic modeling of protein functional domains in signal transduction. In: Proceedings of the Pacific Symposium on Biocomputing (January 2004)
12. Talcott, C.: Symbolic modeling of signal transduction in pathway logic. In: Perrone, L.F., Wieland, F.P., Liu, J., Lawson, B.G., Nicol, D.M., Fujimoto, R.M. (eds.) 2006 Winter Simulation Conference (2006)
13. Talcott, C., Dill, D.L.: Multiple representations of biological processes. Transactions on Computational Systems Biology VI 4220, 221-245 (2006)
14. Yices home page, http://yices.csl.sri.com/