Fernando A. F. Braz

According to our database, Fernando A. F. Braz authored at least 8 papers between 2012 and 2015.

Collaborative distances:

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

2015

A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks.

Bruno Ferreira, Fernando A. F. Braz, Antonio A. F. Loureiro, Sérgio Vale Aguiar Campos

Proceedings of the IEEE 81st Vehicular Technology Conference, 2015

Intelligent service to perform overtaking in vehicular networks.

Bruno Ferreira, Felipe D. da Cunha, Raquel A. F. Mini, Antonio A. F. Loureiro, Fernando A. F. Braz, Sérgio Vale Aguiar Campos

Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

2014

Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST).

Demian Oliveira, Fernando A. F. Braz, Bruno Ferreira, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos

Proceedings of the Advances in Bioinformatics and Computational Biology, 2014

A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model.

Bruno Ferreira, Fernando A. F. Braz, Sérgio Vale Aguiar Campos

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

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