{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T07:12:36Z","timestamp":1780384356311,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642314230","type":"print"},{"value":"9783642314247","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31424-7_50","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T14:26:49Z","timestamp":1340288809000},"page":"686-692","source":"Crossref","is-referenced-by-count":31,"title":["Bma: Visual Tool for Modeling and Analyzing Biological Networks"],"prefix":"10.1007","author":[{"given":"David","family":"Benque","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Bourton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Caitlin","family":"Cockerton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Byron","family":"Cook","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jasmin","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samin","family":"Ishtiaq","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"50_CR1","doi-asserted-by":"crossref","unstructured":"Amir-Kroll, H., Sadot, A., Cohen, I., Harel, D.: GemCell: A generic platform for modeling multi-cellular biological systems. TCS\u00a0391(3) (2008)","DOI":"10.1016\/j.tcs.2007.11.014"},{"key":"50_CR2","doi-asserted-by":"crossref","unstructured":"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\u00a012 (2010)","DOI":"10.1007\/978-3-642-11712-1_4"},{"key":"50_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-18275-4_11","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"B. Cook","year":"2011","unstructured":"Cook, B., Fisher, J., Krepska, E., Piterman, N.: Proving Stabilization of Biological Systems. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 134\u2013149. Springer, Heidelberg (2011)"},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"Danos, D., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling and model perturbation. TCSB 11 (2009)","DOI":"10.1007\/978-3-642-04186-0_6"},{"key":"50_CR5","doi-asserted-by":"crossref","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. Genome Res.\u00a013(11) (2003)","DOI":"10.1101\/gr.1215303"},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"Errampalli, D.D., Priami, C., Quaglia, P.: A formal language for computational systems biology. Omics\u00a08(4) (2004)","DOI":"10.1089\/omi.2004.8.370"},{"key":"50_CR7","doi-asserted-by":"crossref","unstructured":"Fisher, J., Piterman, N., Hajnal, A., Henzinger, T.: Predictive modeling of signaling crosstalk during c. elegans development. PLoS Comp. Bio.\u00a03(5) (2007)","DOI":"10.1371\/journal.pcbi.0030092"},{"key":"50_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-36580-X_19","volume-title":"Hybrid Systems: Computation and Control","author":"R. Ghosh","year":"2003","unstructured":"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.\u00a02623, pp. 233\u2013248. Springer, Heidelberg (2003)"},{"key":"50_CR9","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11885191_3","volume-title":"Computational Methods in Systems Biology","author":"J. Heath","year":"2006","unstructured":"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.\u00a04210, pp. 32\u201347. Springer, Heidelberg (2006)"},{"issue":"4","key":"50_CR10","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., Finney, A., Sauro, H., Bolouri, H., Doyle, J., Kitano, H.: The systems biology markup language (SBML). Bioinfo.\u00a019(4), 524\u2013531 (2003)","journal-title":"Bioinfo."},{"key":"50_CR11","doi-asserted-by":"crossref","unstructured":"Klerkx, E., Alarc\u00f3n, 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.\u00a0335(1) (2009)","DOI":"10.1016\/j.ydbio.2009.08.007"},{"issue":"3","key":"50_CR12","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1089\/153623103322452350","volume":"7","author":"S. Kumar","year":"2003","unstructured":"Kumar, S., Feidler, J.: BioSPICE: A computational infrastructure for integrative biology. OMICS\u00a07(3), 225 (2003)","journal-title":"OMICS"},{"key":"50_CR13","doi-asserted-by":"crossref","unstructured":"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.\u00a03(42) (2009)","DOI":"10.1186\/1752-0509-3-42"},{"key":"50_CR14","unstructured":"Sanchez, L., Thieffry, D.: Segmenting the fly embryo: a logical analysis fo the pair-rule cross-regulatory module. J. of Theo. Bio.\u00a0244 (2003)"},{"key":"50_CR15","doi-asserted-by":"crossref","unstructured":"Schaub, M., Henzinger, T., Fisher, J.: Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Sys. Bio.\u00a01(4) (2007)","DOI":"10.1186\/1752-0509-1-4"},{"key":"50_CR16","doi-asserted-by":"crossref","unstructured":"Sundaram, M.V.: The love-hate relationship between Ras and Notch. Genes Dev.\u00a019(16) (2005)","DOI":"10.1101\/gad.1330605"},{"key":"50_CR17","doi-asserted-by":"crossref","unstructured":"Thomas, R., Thieffry, D., Kaufman, M.: Dynamical behaviour of biological regulatory networks\u2014i. biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. of Math. Bio.\u00a055(2) (1995)","DOI":"10.1016\/0092-8240(94)00036-C"},{"issue":"1","key":"50_CR18","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1186\/1752-0509-3-118","volume":"3","author":"D. Wang","year":"2009","unstructured":"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.\u00a03(1), 118 (2009)","journal-title":"BMC Sys. Bio."},{"key":"50_CR19","doi-asserted-by":"crossref","unstructured":"Yoo, A.S., Bais, C., Greenwald, I.: Crosstalk between the EGFR and LIN-12\/Notch pathways in C. elegans vulval development. Science\u00a0303(5658) (2004)","DOI":"10.1126\/science.1091639"},{"key":"50_CR20","doi-asserted-by":"crossref","unstructured":"Zotin, A.: The Stable state of organisms in thermodynamic bases of biological processes: Physiological Reactions and Adaptations (1990)","DOI":"10.1515\/9783110849974"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31424-7_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:00:11Z","timestamp":1620129611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31424-7_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314230","9783642314247"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31424-7_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}