BMA: Visual tool for modeling and analyzing biological networks

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

Volumn 7358 LNCS, Issue , 2012, Pages 686-692

  Benque, David ^a   Bourton, Sam ^a   Cockerton, Caitlin ^a   Cook, Byron ^a   Fisher, Jasmin ^a   Ishtiaq, Samin ^a   Piterman, Nir ^b   Taylor, Alex ^a   Vardi, Moshe Y ^c  

^a MICROSOFT RESEARCH   (United Kingdom)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

^c RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL NETWORKS; VISUAL TOOLS;

GRAPHICAL USER INTERFACES;

COMPUTER AIDED ANALYSIS;

EID: 84864053615     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31424-7_50     Document Type: Conference Paper

References (20)

1. Amir-Kroll, H., Sadot, A., Cohen, I., Harel, D.: GemCell: A generic platform for modeling multi-cellular biological systems. TCS 391(3) (2008)
2. Beyer, A., Thomason, P., Li, X., Scott, J., Fisher, J.: Mechanistic insights into metabolic disturbance during type-2 diabetes and obesity using qualitative networks. TCSB 12 (2010)
3. Cook, B., Fisher, J., Krepska, E., Piterman, N.: Proving Stabilization of Biological Systems. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 134-149. Springer, Heidelberg (2011)
4. Danos, D., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling and model perturbation. TCSB 11 (2009)
5. Efroni, S., Harel, D., Cohen, I.R.: Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. Genome Res. 13(11) (2003)
6. Errampalli, D.D., Priami, C., Quaglia, P.: A formal language for computational systems biology. Omics 8(4) (2004)
7. Fisher, J., Piterman, N., Hajnal, A., Henzinger, T.: Predictive modeling of signaling crosstalk during c. elegans development. PLoS Comp. Bio. 3(5) (2007)
8. Ghosh, R., Tiwari, A., Tomlin, C.: Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 233-248. Springer, Heidelberg (2003)
9. Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic Model Checking of Complex Biological Pathways. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 32-47. Springer, Heidelberg (2006)
10. Hucka, M., Finney, A., Sauro, H., Bolouri, H., Doyle, J., Kitano, H.: The systems biology markup language (SBML). Bioinfo. 19(4), 524-531 (2003)
11. Klerkx, E., Alarcón, P., Waters, K., Reinke, V., Sternberg, P., Askjaer, P.: Protein kinase vrk-1 regulates cell invasion and egl-17/fgf signaling in C. elegans. Dev. Bio. 335(1) (2009)
12. Kumar, S., Feidler, J.: BioSPICE: A computational infrastructure for integrative biology. OMICS 7(3), 225 (2003)
13. Li, C., Nagasaki, M., Ueno, K., Miyano, S.: Simulation-based model checking approach to cell fate specification during C. elegans vulval development by hybrid functional petri net with extension. BMC Sys. Bio. 3(42) (2009)
14. Sanchez, L., Thieffry, D.: Segmenting the fly embryo: a logical analysis fo the pairrule cross-regulatory module. J. of Theo. Bio. 244 (2003)
15. Schaub, M., Henzinger, T., Fisher, J.: Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Sys. Bio. 1(4) (2007)
16. Sundaram, M.V.: The love-hate relationship between Ras and Notch. Genes Dev. 19(16) (2005)
17. Thomas, R., Thieffry, D., Kaufman, M.: Dynamical behaviour of biological regulatory networks - i. biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. of Math. Bio. 55(2) (1995)
18. Wang, D., Cardelli, L., Phillips, A., Piterman, N., Fisher, J.: Computational modeling of the egfr network elucidates control mechanisms regulating signal dynamics. BMC Sys. Bio. 3(1), 118 (2009)
19. Yoo, A.S., Bais, C., Greenwald, I.: Crosstalk between the EGFR and LIN-12/Notch pathways in C. elegans vulval development. Science 303(5658) (2004)
20. Zotin, A.: The Stable state of organisms in thermodynamic bases of biological processes: Physiological Reactions and Adaptations (1990)