{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:35:32Z","timestamp":1725539732668},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332951"},{"type":"electronic","value":"9783642332968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33296-8_5","type":"book-chapter","created":{"date-parts":[[2012,9,16]],"date-time":"2012-09-16T22:24:55Z","timestamp":1347834295000},"page":"35-50","source":"Crossref","is-referenced-by-count":5,"title":["Palytoxin Inhibits the Sodium-Potassium Pump \u2013 An Investigation of an Electrophysiological Model Using Probabilistic Model Checking"],"prefix":"10.1007","author":[{"given":"Fernando A. F.","family":"Braz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jader S.","family":"Cruz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra C.","family":"Faria-Campos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9rgio V. A.","family":"Campos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"http:\/\/www.dcc.ufmg.br\/~fbraz\/sbmf2012\/"},{"key":"5_CR2","unstructured":"Aidley, D.J., Stanfield, P.R.: Ion channels: molecules in action. Cambridge University Press (1996)"},{"key":"5_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":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-31927-3_8","volume-title":"Advances in Bioinformatics and Computational Biology","author":"F.A.F. Braz","year":"2012","unstructured":"Braz, F.A.F., Cruz, J.S., Faria-Campos, A.C., Campos, S.V.A.: A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na\u2009+\u2009\/K\u2009+\u2009-ATPase. In: de Souto, M.C.P., Kann, M.G. (eds.) BSB 2012. LNCS, vol.\u00a07409, pp. 84\u201396. Springer, Heidelberg (2012)"},{"key":"5_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":"5_CR6","doi-asserted-by":"crossref","unstructured":"Ciocchetta, F., Hillston, J.: Bio-pepa: A framework for the modelling and analysis of biological systems. Theoretical Computer Science (2009)","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"5_CR7","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":"5_CR8","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":"5_CR9","unstructured":"Crepalde, M., Faria-Campos, A., Campos, S.: Modeling and analysis of cell membrane systems with probabilistic model checking. BMC Genomics\u00a012(suppl. 4), S14 (2011), \n                  \n                    http:\/\/www.biomedcentral.com\/1471-2164\/12\/S4\/S14"},{"issue":"25","key":"5_CR10","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":"5_CR11","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":"5_CR12","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual, 1st edn. Addison-Wesley Professional (September 2003)"},{"issue":"16","key":"5_CR13","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":"5_CR14","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":"5_CR15","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":"5_CR16","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":"5_CR17","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"},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.jtbi.2010.04.028","volume":"265","author":"C. Oka","year":"2010","unstructured":"Oka, C., Cha, C.Y., Noma, A.: Characterization of the cardiac na+\/k+ pump by development of a comprehensive and mechanistic model. Journal of Theoretical Biology\u00a0265(1), 68\u201377 (2010), \n                  \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0022519310002274","journal-title":"Journal of Theoretical Biology"},{"key":"5_CR19","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":"5_CR20","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 2008, pp. 217\u2013225 (1982)","DOI":"10.1109\/SFCS.1982.57"},{"issue":"1","key":"5_CR21","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"},{"issue":"3","key":"5_CR22","doi-asserted-by":"crossref","first-page":"036005","DOI":"10.1088\/1478-3975\/5\/3\/036005","volume":"5","author":"A.M. Rodrigues","year":"2008","unstructured":"Rodrigues, A.M., Almeida, A.C.G., Infantosi, A.F.C.: Effect of palytoxin on the sodium-potassium pump: model and simulation. Physical Biology 5(3), 036005 (2008), \n                  \n                    http:\/\/stacks.iop.org\/1478-3975\/5\/i=3\/a=036005","journal-title":"Physical Biology"},{"key":"5_CR23","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":"5_CR24","unstructured":"Sadava, D., Heller, H., Orians, G., Purves, W., Hillis, D.: Life: The Science of Biology. Sinauer Associates (2006)"},{"issue":"3","key":"5_CR25","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":"5_CR26","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)"},{"issue":"3","key":"5_CR27","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/s10009-005-0187-8","volume":"8","author":"H. Younes","year":"2006","unstructured":"Younes, H., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. International Journal on Software Tools for Technology Transfer (STTT)\u00a08(3), 216\u2013228 (2006)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33296-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:03:37Z","timestamp":1620115417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33296-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332951","9783642332968"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33296-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}