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)

A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. - Bruno Ferreira 001; Fernando A. F. Braz; Sérgio Vale Aguiar Campos (SBMF, 2014)

Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST). - Demian Oliveira; Fernando A. F. Braz; Bruno Ferreira 001; Alessandra C. Faria-Campos; Sérgio Vale Aguiar Campos (BSB, 2014)

Intelligent service to perform overtaking in vehicular networks. - Bruno Ferreira 001; Felipe D. da Cunha; Raquel A. F. Mini; Antonio A. F. Loureiro; Fernando A. F. Braz; Sérgio Vale Aguiar Campos (ISCC, 2015)

A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks. - Bruno Ferreira 001; Fernando A. F. Braz; Antonio A. F. Loureiro; Sérgio Vale Aguiar Campos (VTC Spring, 2015)