Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. - Fernando A. F. Braz; Jader S. Cruz; Alessandra C. Faria-Campos; Sérgio Vale Aguiar Campos (SBMF, 2012)

A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na + /K + -ATPase. - Fernando A. F. Braz; Jader S. Cruz; Alessandra C. Faria-Campos; Sérgio Vale Aguiar Campos (BSB, 2012)

A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex. - Fernando A. F. Braz; João Amaral; Bruno Ferreira 001; Jader S. Cruz; Alessandra C. Faria-Campos; Sérgio Vale Aguiar Campos (BSB, 2013)

Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase. - Fernando A. F. Braz; Jader S. Cruz; Alessandra C. Faria-Campos; Sérgio Vale Aguiar Campos (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)