{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:09:29Z","timestamp":1725890969684},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642319266"},{"type":"electronic","value":"9783642319273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31927-3_8","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T11:35:13Z","timestamp":1344598513000},"page":"84-96","source":"Crossref","is-referenced-by-count":4,"title":["A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na\u2009+\u2009\/K\u2009+\u2009-ATPase"],"prefix":"10.1007","author":[{"given":"Fernando A. F.","family":"Braz","sequence":"first","affiliation":[]},{"given":"Jader S.","family":"Cruz","sequence":"additional","affiliation":[]},{"given":"Alessandra C.","family":"Faria-Campos","sequence":"additional","affiliation":[]},{"given":"S\u00e9rgio V. A.","family":"Campos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"http:\/\/www.dcc.ufmg.br\/~fbraz\/bsb2012\/"},{"key":"8_CR2","unstructured":"Aidley, D.J., Stanfield, P.R.: Ion channels: molecules in action. Cambridge University Press (1996)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Artigas, P., Gadsby, D.C.: Large diameter of palytoxin-induced na\/k pump channels and modulation of palytoxin interaction by na\/k pump ligands. J. Gen. Physiol. (2004)","DOI":"10.1085\/jgp.200308964"},{"key":"8_CR4","unstructured":"Campbell, N.A., Reece, J.B., Mitchell, L.G.: Biology, 5th edn. (1999)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Chapman, J.B., Johnson, E.A., Kootsey, J.M.: Electrical and biochemical properties of an enzyme model of the sodium pump. Membrane Biology (1983)","DOI":"10.1007\/BF01870503"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"key":"8_CR7","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-88562-7_18","volume-title":"Computational Methods in Systems Biology","author":"E.M. Clarke","year":"2008","unstructured":"Clarke, E.M., Faeder, J.R., Langmead, C.J., Harris, L.A., Jha, S.K., Legay, A.: Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 231\u2013250. Springer, Heidelberg (2008)"},{"key":"8_CR8","unstructured":"Crepalde, M., Faria-Campos, A., Campos, S.: Modeling and analysis of cell membrane systems with probabilistic model checking. BMC Genomics 12(suppl. 4), S14 (2011), \n                  \n                    http:\/\/www.biomedcentral.com\/1471-2164\/12\/S4\/S14"},{"issue":"25","key":"8_CR9","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s002320001074","volume":"176","author":"J.A. Hern\u00e1ndez","year":"2000","unstructured":"Hern\u00e1ndez, J.A., Chifflet, S.: Eletrogenic properties of the sodium pump in a dynamic model of membrane transport. Membrane Biology\u00a0176, 41\u201352 (2000)","journal-title":"Membrane Biology"},{"key":"8_CR11","unstructured":"Karp, G.: Cell and Molecular Biology, 5th edn. (2008)"},{"issue":"16","key":"8_CR12","doi-asserted-by":"publisher","first-page":"2793","DOI":"10.1242\/jcs.039701","volume":"122","author":"M. Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M., Heath, J.: Biological pathways as communicating computer systems. Journal of Cell Science\u00a0122(16), 2793\u20132800 (2009)","journal-title":"Journal of Cell Science"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Quantitative Verification Techniques for Biological Processes. In: Algorithmic Bioprocesses. Springer (2009)","DOI":"10.1007\/978-3-540-88869-7_20"},{"key":"8_CR14","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic Model Checking for Systems Biology. In: Symbolic Systems Biology, pp. 31\u201359. Jones and Bartlett (2010)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Nelson, D.L., Cox, M.M.: Lehninger Principles of Biochemistry, 3rd edn. (2000)","DOI":"10.1007\/978-3-662-08289-8"},{"key":"8_CR17","unstructured":"Post, R., Refyvary, C., Kume, S.: Activation by adenosine triphosphate in the phosphorylation kinetics of sodium and potassium ion transport adenosine triphosphatase. J. Biol. Chem."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Queille, J.P., Sifakis, J.: A temporal logic to deal with fairness in transition systems. In: 23rd Annual Symposium on Foundations of Science, SFCS\u201908, pp. 217\u2013225 (1982)","DOI":"10.1109\/SFCS.1982.57"},{"issue":"1","key":"8_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.compbiolchem.2007.08.001","volume":"32","author":"A.M. Rodrigues","year":"2008","unstructured":"Rodrigues, A.M., Almeida, A.C.G., Infantosi, A.F., Teixeira, H.Z., Duarte, M.A.: Model and simulation of na+\/k+ pump phosphorylation in the presence of palytoxin. Computational Biology and Chemistry\u00a032(1), 5\u201316 (2008)","journal-title":"Computational Biology and Chemistry"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Rodrigues, A.M., Infantosi, A.F.C., Almeida, A.C.G.: Palytoxin and the sodium\/potassium pump-phosphorylation and potassium interaction. Physical Biology (2009)","DOI":"10.1088\/1478-3975\/6\/3\/036010"},{"key":"8_CR21","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/s00232-002-1074-9","volume":"192","author":"M. Tosteson","year":"2003","unstructured":"Tosteson, M., Thomas, J., Arnadottir, J., Tosteson, D.: Effects of palytoxin on cation occlusion and phosphorylation of the (na\u2009+\u2009\/k\u2009+\u2009)-atpase. Journal of Membrane Biology\u00a0192, 181\u2013189 (2003), 10.1007\/s00232-002-1074-9","journal-title":"Journal of Membrane Biology"},{"issue":"3","key":"8_CR22","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1152\/nips.01384.2001","volume":"17","author":"K. Yamada","year":"2002","unstructured":"Yamada, K., Inagaki, N.: Atp-sensitive k+ channels in the brain: Sensors of hypoxic conditions. Physiology\u00a017(3), 127\u2013130 (2002)","journal-title":"Physiology"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/11513988_43","volume-title":"Computer Aided Verification","author":"H.L.S. Younes","year":"2005","unstructured":"Younes, H.L.S.: Ymer: A Statistical Model Checker. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 429\u2013433. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Advances in Bioinformatics and Computational Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31927-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T00:42:36Z","timestamp":1557189756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31927-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642319266","9783642319273"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31927-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}