{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:34:14Z","timestamp":1760708054059},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,4,15]],"date-time":"2009-04-15T00:00:00Z","timestamp":1239753600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1186\/1752-0509-3-40","type":"journal-article","created":{"date-parts":[[2009,5,5]],"date-time":"2009-05-05T18:15:51Z","timestamp":1241547351000},"source":"Crossref","is-referenced-by-count":19,"title":["Narrative-based computational modelling of the Gp130\/JAK\/STAT signalling pathway"],"prefix":"10.1186","volume":"3","author":[{"given":"Maria Luisa","family":"Guerriero","sequence":"first","affiliation":[]},{"given":"Anna","family":"Dudka","sequence":"additional","affiliation":[]},{"given":"Nicholas","family":"Underhill-Day","sequence":"additional","affiliation":[]},{"given":"John K","family":"Heath","sequence":"additional","affiliation":[]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,4,15]]},"reference":[{"key":"308_CR1","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A Regev","year":"2002","unstructured":"Regev A, Shapiro E: Cells as Computation. Nature. 2002, 419: 343-","journal-title":"Nature"},{"issue":"11","key":"308_CR2","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher J, Henzinger TA: Executable cell biology. Nat Biotechnol. 2007, 25 (11): 1239-49.","journal-title":"Nat Biotechnol"},{"key":"308_CR3","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2007.11.013","volume":"391","author":"J Heath","year":"2007","unstructured":"Heath J, Kwiatkowska M, Norman G, Parker D, Tymchyshyn O: Probabilistic model checking of complex biological pathways. Theoretical Computer Science. 2007, 391: 239-257.","journal-title":"Theoretical Computer Science"},{"key":"308_CR4","first-page":"50","volume":"1","author":"C Priami","year":"2004","unstructured":"Priami C, Quaglia P: Operational patterns in Beta-binders. Transactions on Computational Systems Biology. 2004, 1: 50-65.","journal-title":"Transactions on Computational Systems Biology"},{"key":"308_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C Priami","year":"2001","unstructured":"Priami C, Regev A, Silverman W, Shapiro E: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters. 2001, 80: 25-31.","journal-title":"Information Processing Letters"},{"issue":"1","key":"308_CR6","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A Regev","year":"2004","unstructured":"Regev A, Panina EM, Silverman W, Cardelli L, Shapiro EY: BioAmbients: an Abstraction for Biological Compartments. Theoretical Computer Science. 2004, 325 (1): 141-167.","journal-title":"Theoretical Computer Science"},{"key":"308_CR7","first-page":"1","volume":"7","author":"M Calder","year":"2006","unstructured":"Calder M, Gilmore S, Hillston J: Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. Transactions on Computational Systems Biology. 2006, 7: 1-23.","journal-title":"Transactions on Computational Systems Biology"},{"key":"308_CR8","first-page":"1666","volume-title":"Proceedings of Winter Simulation Conference (WSC'06)","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska M, Norman G, Parker D, Tymchyshyn O, Heath J, Gaffney E: Simulation and verification for computational modelling of signalling pathways. Proceedings of Winter Simulation Conference (WSC'06). 2006, 1666-1675."},{"key":"308_CR9","volume-title":"Algorithmic Bioprocesses","author":"ML Guerriero","year":"2009","unstructured":"Guerriero ML, Prandi D, Priami C, Quaglia P: Process Calculi Abstractions for Biology. Algorithmic Bioprocesses. 2009"},{"key":"308_CR10","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-75140-3_10","volume-title":"Proceedings of Computational Methods in Systems Biology (CMSB'07)","author":"ML Guerriero","year":"2007","unstructured":"Guerriero ML, Heath J, Priami C: An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. Proceedings of Computational Methods in Systems Biology (CMSB'07). 2007, 4695: 136-151. LNCS"},{"key":"308_CR11","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-68894-5_9","volume-title":"Formal Methods for Computational Systems Biology (SFM'08)","author":"L Dematt\u00e9","year":"2008","unstructured":"Dematt\u00e9 L, Priami C, Romanel A: The BlenX Language: A Tutorial. Formal Methods for Computational Systems Biology (SFM'08). 2008, 5016: 313-365. LNCS"},{"key":"308_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1042\/bj20030407","volume":"374","author":"P Heinrich","year":"2003","unstructured":"Heinrich P, Behrmann I, Haan S, Hermanns H, M\u00fcller-Newen G, Schaper F: Principles of interleukin (IL)-6-type cytokine signalling and its regulation. Biochem J. 2003, 374: 1-20.","journal-title":"Biochem J"},{"key":"308_CR13","doi-asserted-by":"publisher","first-page":"10891","DOI":"10.1158\/0008-5472.CAN-06-1766","volume":"66","author":"N Underhill-Day","year":"2006","unstructured":"Underhill-Day N, Heath J: Oncostatin M (OSM) Cytostasis of Breast Tumor Cells: Characterization of an OSM Receptor \u03b2-Specific Kernel. Cancer Research. 2006, 66: 10891-10901.","journal-title":"Cancer Research"},{"issue":"11","key":"308_CR14","doi-asserted-by":"publisher","first-page":"2399","DOI":"10.1093\/emboj\/19.11.2399","volume":"19","author":"J Bravo","year":"2000","unstructured":"Bravo J, Heath JK: Receptor recognition by gp130 cytokines. EMBO J. 2000, 19 (11): 2399-411.","journal-title":"EMBO J"},{"issue":"8","key":"308_CR15","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1038\/nri1885","volume":"6","author":"NC Reich","year":"2006","unstructured":"Reich NC, Liu L: Tracking STAT nuclear traffic. Nat Rev Immunol. 2006, 6 (8): 602-12.","journal-title":"Nat Rev Immunol"},{"issue":"4","key":"308_CR16","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1016\/S0006-291X(02)02291-X","volume":"297","author":"T Yamamoto","year":"2002","unstructured":"Yamamoto T, Sekine Y, Kashima K, Kubota A, Sato N, Aoki N, Matsuda T: The nuclear isoform of protein-tyrosine phosphatase TC-PTP regulates interleukin-6-mediated signaling pathway through STAT3 dephosphorylation. Biochem Biophys Res Commun. 2002, 297 (4): 811-817.","journal-title":"Biochem Biophys Res Commun"},{"key":"308_CR17","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1146\/annurev.immunol.22.091003.090312","volume":"22","author":"WS Alexander","year":"2004","unstructured":"Alexander WS, Hilton DJ: The role of suppressors of cytokine signalling (SOCS) proteins in regulation of the immune response. Annu Rev Immunol. 2004, 22: 503-29.","journal-title":"Annu Rev Immunol"},{"issue":"7","key":"308_CR18","doi-asserted-by":"publisher","first-page":"754","DOI":"10.1101\/gad.1421006","volume":"20","author":"AD Sharrocks","year":"2006","unstructured":"Sharrocks AD: PIAS proteins and transcriptional regulation \u2013 more than just SUMO E3 ligases?. Genes Dev. 2006, 20 (7): 754-8.","journal-title":"Genes Dev"},{"issue":"5","key":"308_CR19","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1016\/j.bcp.2005.04.042","volume":"70","author":"K Rakesh","year":"2005","unstructured":"Rakesh K, Agrawal DK: Controlling cytokine signaling by constitutive inhibitors. Biochem Pharmacol. 2005, 70 (5): 649-57.","journal-title":"Biochem Pharmacol"},{"key":"308_CR20","doi-asserted-by":"publisher","first-page":"2888","DOI":"10.2741\/2893","volume":"13","author":"L Klampfer","year":"2008","unstructured":"Klampfer L: The role of signal transducers and activators of transcription in colon cancer. Front Biosci. 2008, 13: 2888-99.","journal-title":"Front Biosci"},{"issue":"4","key":"308_CR21","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1023\/A:1023805715476","volume":"22","author":"A Verma","year":"2003","unstructured":"Verma A, Kambhampati S, Parmar S, Platanias LC: Jak family of kinases in cancer. Cancer Metastasis Rev. 2003, 22 (4): 423-34.","journal-title":"Cancer Metastasis Rev"},{"key":"308_CR22","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1073\/pnas.0237333100","volume":"100","author":"I Swameye","year":"2003","unstructured":"Swameye I, M\u00fcller T, Timmer J, Sandra O, Klingm\u00fcller U: Identification of nucleocytoplasmic cycling as a remote sensor in cellular signaling by databased modeling. PNAS. 2003, 100: 1028-1033.","journal-title":"PNAS"},{"issue":"7","key":"308_CR23","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1371\/journal.pcbi.0030130","volume":"3","author":"A Mahdavi","year":"2007","unstructured":"Mahdavi A, Davey RE, Bhola P, Yin T, Zandstra PW: Sensitivity Analysis of Intracellular Signaling Pathway Kinetics Predicts Targets for Stem Cell Fate Control. PLoS Comput Biol. 2007, 3 (7): 1257-1267.","journal-title":"PLoS Comput Biol"},{"issue":"5","key":"308_CR24","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1002\/bit.21026","volume":"95","author":"A Singh","year":"2006","unstructured":"Singh A, Jayaraman A, Hahn J: Modeling Regulatory Mechanisms in IL-6 Transduction in Hepatocytes. Biotechnol Bioeng. 2006, 95 (5): 850-862.","journal-title":"Biotechnol Bioeng."},{"issue":"5","key":"308_CR25","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1093\/bib\/bbn023","volume":"9","author":"L Dematt\u00e9","year":"2008","unstructured":"Dematt\u00e9 L, Priami C, Romanel A: The Beta Workbench: a computational tool to study the dynamics of biological systems. Briefings in Bioinformatics. 2008, 9 (5): 437-449. \n                    http:\/\/www.cosbi.eu\/Rpty_Soft_BetaWB.php","journal-title":"Briefings in Bioinformatics"},{"key":"308_CR26","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D Gillespie","year":"1977","unstructured":"Gillespie D: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry. 1977, 81: 2340-2361.","journal-title":"Journal of Physical Chemistry"},{"key":"308_CR27","volume-title":"PhD Thesis","author":"ML Guerriero","year":"2007","unstructured":"Guerriero ML: From Intuitive Descriptions of Biochemical Systems to Their Formal Analysis. PhD Thesis. 2007, DIT \u2013 University of Trento"},{"key":"308_CR28","volume-title":"Molecular biology of the cell","author":"B Alberts","year":"2002","unstructured":"Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter P: Molecular biology of the cell. 2002, New York: Garland Science, 4","edition":"4"},{"key":"308_CR29","unstructured":"N2BB Home Page. \n                    http:\/\/homepages.inf.ed.ac.uk\/mguerrie\/sw\/N2BB\/"},{"key":"308_CR30","unstructured":"Snazer Home Page. \n                    http:\/\/www.cosbi.eu\/Rpty_Soft_Snazer.php"},{"key":"308_CR31","unstructured":"Rasband WS: ImageJ. U. S. National Institutes of Health, Bethesda, Maryland, USA,\n                    http:\/\/rsb.info.nih.gov\/ij\/"},{"issue":"16","key":"308_CR32","doi-asserted-by":"publisher","first-page":"5662","DOI":"10.1128\/MCB.22.16.5662-5668.2002","volume":"22","author":"J ten Hoeve","year":"2002","unstructured":"ten Hoeve J, de Jesus Ibarra-Sanchez M, Fu Y, Zhu W, Tremblay M, David M, Shuai Ke: Identification of a nuclear Stat1 protein tyrosine phosphatase. Mol Cell Biol. 2002, 22 (16): 5662-8.","journal-title":"Mol Cell Biol"},{"issue":"Pt 18","key":"308_CR33","doi-asserted-by":"publisher","first-page":"3249","DOI":"10.1242\/jcs.03482","volume":"120","author":"A Herrmann","year":"2007","unstructured":"Herrmann A, Vogt M, M\u00f6nnigmann M, Clahsen T, Sommer U, Haan S, Poli V, Heinrich PC, M\u00fcller-Newen G: Nucleocytoplasmic shuttling of persistently activated STAT3. J Cell Sci. 2007, 120 (Pt 18): 3249-61.","journal-title":"J Cell Sci"},{"issue":"4","key":"308_CR34","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1172\/JCI15372","volume":"111","author":"S Bhattacharya","year":"2003","unstructured":"Bhattacharya S, Schindler C: Regulation of Stat3 nuclear export. J Clin Invest. 2003, 111 (4): 553-9.","journal-title":"J Clin Invest"},{"issue":"52","key":"308_CR35","doi-asserted-by":"publisher","first-page":"43087","DOI":"10.1074\/jbc.M509180200","volume":"280","author":"I L\u00f6dige","year":"2005","unstructured":"L\u00f6dige I, Marg A, Wiesner B, Malecov\u00e1 B, Oelgeschl\u00e4ger T, Vinkemeier U: Nuclear export determines the cytokine sensitivity of STAT transcription factors. J Biol Chem. 2005, 280 (52): 43087-99.","journal-title":"J Biol Chem"},{"key":"308_CR36","unstructured":"NCI-Nature Pathway Interaction Database.\n                    http:\/\/pid.nci.nih.gov"},{"key":"308_CR37","volume-title":"Theoretical Computer Science","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta F, Hillston J: Bio-PEPA: a Framework for the Modelling and Analysis of Biochemical Networks. Theoretical Computer Science. 2009"}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1752-0509-3-40.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1752-0509-3-40\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1752-0509-3-40.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,23]],"date-time":"2019-01-23T02:07:08Z","timestamp":1548209228000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/1752-0509-3-40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,15]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["308"],"URL":"https:\/\/doi.org\/10.1186\/1752-0509-3-40","relation":{},"ISSN":["1752-0509"],"issn-type":[{"value":"1752-0509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,15]]},"article-number":"40"}}