Guilherme Grochau Azzi

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 5

Top Topics

Graph Transformation

Resolving Conflicts

Alternative Approaches

Top Venues

Graph Transformation, Specifications, and Nets

J. Log. Algebraic Methods Program.

Publications

Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
On the essence and initiality of conflicts in M-adhesive transformation systems. J. Log. Algebraic Methods Program. 109 (2019)
Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
On the Essence and Initiality of Conflicts. ICGT (2018)
Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets (2018)
Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado
The Verigraph System for Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Andrei Costa, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leonardo Marques Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado
Verigraph: A System for Specification and Analysis of Graph Grammars. SBMF (2016)