Old Web
English
Sign In
Acemap
>
authorDetail
>
Leonardo Marques Rodrigues
Leonardo Marques Rodrigues
Universidade Federal do Rio Grande do Sul
Computer science
Graph rewriting
Theoretical computer science
Discrete mathematics
Mathematics
3
Papers
25
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
The Verigraph System for Graph Transformation
2018
Guilherme Grochau Azzi
Jonas Santos Bezerra
Leila Ribeiro
Andrei Costa
Leonardo Marques Rodrigues
Rodrigo Machado
Show All
Source
Cite
Save
Citations (4)
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches
2018
Andrea Corradini
Dominique Duval
Michael Löwe
Leila Ribeiro
Rodrigo Machado
Andrei Costa
Guilherme Grochau Azzi
Jonas Santos Bezerra
Leonardo Marques Rodrigues
Show All
Source
Cite
Save
Citations (15)
Verigraph: A System for Specification and Analysis of Graph Grammars
2016
SBMF | Brazilian Symposium on Formal Methods
Andrei Costa
Jonas Santos Bezerra
Guilherme Grochau Azzi
Leonardo Marques Rodrigues
Thiago Rafael Becker
Ricardo Gabriel Herdt
Rodrigo Machado
Show All
Source
Cite
Save
Citations (6)
1