Jader S. Cruz

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Formal Specification

Temporal Properties

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (6) (2013)
Fernando A. F. Braz, João Amaral, Bruno Ferreira, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex. BSB (2013)
Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. SBMF (2012)
Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na + /K + -ATPase. BSB (2012)