Jader S. Cruz

According to our database, Jader S. Cruz authored at least 4 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

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, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos

Proceedings of the Advances in Bioinformatics and Computational Biology, 2013

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

Proceedings of the Advances in Bioinformatics and Computational Biology, 2012

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

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012