Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Marcel Grimmer
Claudia Calabrese
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Ji-min Maeng
Radu Timofte
Kuanrui Yin
Miroslava Sotakova
Home
/
Author
/
LEILA RIBEIRO
Author Info
Open Visualization
Name
Affiliation
Papers
LEILA RIBEIRO
Univ Fed Rio Grande do Sul, Inst Informat, Programa Posgrad Comp, VERITES Nucleo Validacao Verificacao & Teste Sist, Porto Alegre, RS, Brazil
8
Collaborators
Citations
PageRank
15
9
2.95
Referers
Referees
References
19
229
105
Search Limit
100
229
Publications (8 rows)
Collaborators (15 rows)
Referers (19 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Using formal methods for content validation of medical procedure documents.
1
0.37
2017
Graph Grammar Extraction from Source Code.
1
0.36
2017
Theorem proving graph grammars with attributes and negative application conditions.
2
0.38
2017
Entendendo o Pensamento Computacional.
0
0.34
2017
User interfaces metamodel based on graphs
2
0.37
2016
Parallelism In Agree Transformations
1
0.41
2016
From UML diagrams to simulink models: a precise and verified translation
1
0.36
2015
Specification of Models Based on Contexts using Graph Grammars
1
0.37
2013
1
