Author Info
Name
Affiliation
Papers
ANDREI RIMSA
UFMG-Belo Horizonte, Brazil
5
Collaborators
Citations 
PageRank 
5
13
1.98
Referers 
Referees 
References 
38
110
65
Search Limit
100110
Title
Citations
PageRank
Year
Efficient static checker for tainted variable attacks50.412014
SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms20.372013
Tainted flow analysis on e-SSA-form programs40.432011
Evaluation of Different BDD Libraries to Extract Concepts in FCA --- Perspectives and Limitations00.342009
Handling Large Formal Context Using BDD --- Perspectives and Limitations20.432009