Author Info
Name
Affiliation
Papers
SIMONE ANDR茅 DA COSTA CAVALHEIRO
Univ Fed Pelotas, UFPEL, Ctr Desenvolvimento Tecnol, Pelotas, Brazil
4
Collaborators
Citations 
PageRank 
9
4
1.44
Referers 
Referees 
References 
14
76
31
Title
Citations
PageRank
Year
Automatic Translation from UML to Simulink CAAM Using Graph Grammars10.372013
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin10.362013
Sensitivity and Dual Constructions on the Fuzzy f-Xor Class20.372013
Graph Grammar Specification for the Populational Level of Multi-agent System Organizations00.342013