Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Gianni Vernazza
Chiou-Ting Hsu
Y. M. Raghavendra
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Radu Timofte
Home
/
Author
/
FERNANDO A. F. BRAZ
Author Info
Open Visualization
Name
Affiliation
Papers
FERNANDO A. F. BRAZ
Department of Computer Science, Federal University of Minas Gerais, Belo Horizonte, Brazil
8
Collaborators
Citations
PageRank
12
4
2.83
Referers
Referees
References
7
91
60
Publications (8 rows)
Collaborators (12 rows)
Referers (7 rows)
Referees (91 rows)
Title
Citations
PageRank
Year
A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks
0
0.34
2015
Intelligent Service To Perform Overtaking In Vehicular Networks
0
0.34
2015
Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST).
0
0.34
2014
A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model.
0
0.34
2014
Probabilistic model checking analysis of palytoxin effects on cell energy reactions of the Na+/K+-ATPase.
0
0.34
2013
A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex.
0
0.34
2013
Palytoxin inhibits the sodium-potassium pump --- an investigation of an electrophysiological model using probabilistic model checking
2
0.40
2012
A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na + /K + -ATPase.
2
0.40
2012
1