Formal analysis of the genetic toggle

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

Volumn 5688 LNBI, Issue , 2009, Pages 96-110

  Bella, Giampaolo ^a   Liò, Pietro ^b  

^a UNIVERSITY OF CATANIA   (Italy)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONCENTRATION THRESHOLD; FORMAL ANALYSIS; FORMAL MODEL; GENERAL APPROACH; GENETIC NETWORKS; HIGHER ORDER LOGIC; INDUCTIVE DEFINITIONS; ISABELLE; MATHEMATICAL MODELLING; PROTEIN CONCENTRATIONS; THEOREM PROVERS; TOGGLE SWITCH;

BIOLOGY; COMPUTATIONAL METHODS; ELECTRIC NETWORK ANALYSIS; RECURSIVE FUNCTIONS; THEOREM PROVING;

FORMAL METHODS;

EID: 70349327943     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03845-7_7     Document Type: Conference Paper

References (12)

1. Yeger-Lotem, E., et al.: Network motifs in integrated cellular networks of transcription-regulation and protein-protein interaction. Proc. Natl. Acad. Sci. U.S.A. 101, 5934-5939 (2004)
2. Tyson, J.J., Chen, K.C., Novak, B.: Sniffers, buzzers, toggles and blinkers: dynamics of regulatory and signaling pathways in the cell. Curr. Opin. Cell Biol. 15, 221-231 (2003)
3. Ninfa, A.J., Selinsky, S., Perry, N., Atkins, S., Xiu Song, Q., Mayo, A., Arps, D., Woolf, P., Atkinson, M.R.: Using two-component systems and other bacterial regulatory factors for the fabrication of synthetic genetic devices. Meth. Enzymol. 422,488-512 (2007)
4. Atkinson, M.R., Savageau, M.A., Myers, J.T., Ninfa, A.J.: Development of genetic circuitry exhibiting toggle switch or oscillatory behavior in Escherichia coli. Cell 113, 597-607 (2003)
5. Gillespie, D.: Exact simulation of coupled chemical reactions. Journal of Chemical Physics 81, 2340-2345 (1997)
6. Batt, G., de Jong, H., Geiselmann, J., Page, M.: Analysis of genetic regulatory networks: a model-checking approach. In: Benerecetti, M., Pecheur, C. (eds.) Working Notes of the Second Workshop on Model Checking and Artificial Intelligence, MoChArt 2003, Acapulco, Mexico, pp. 51-58 (2003)
7. Batt, G., Bergamini, D., de Jong, H., Garavel, H., Mateescu, R.: Model checking genetic regulatory networks using GNA and CADP. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 158-163. Springer, Heidelberg (2004)
8. McMillan, K.: Symbolic Model Checking. Kluwer Academic Publisher, Dordrecht (1993)
9. Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle/HOL: A Proof Assistant for Higher-Order Logi. LNCS, vol. 2283. Springer, Heidelberg (2002)
10. Bella, G.: Formal Correctness of Security Protocols. Information Security and Cryptography. Springer, Heidelberg (2007)
11. Gardner, T.S., Cantor, C.R., Collins, J.J.: Construction of a genetic toggle switch in Escherichia coli. Nature 403, 339-342 (2000)
12. Tian, T., Xu, S., Gao, J., Burrage, K.: Simulated maximum likelihood method for estimating kinetic rates in gene expression. Bioinformatics 23, 84-91 (2007)