Guilherme G. Azzi

According to our database, Guilherme G. Azzi authored at least 7 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

On the essence and initiality of conflicts in M-adhesive transformation systems.

Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro

J. Log. Algebraic Methods Program., 2019

2018

On the Essence and Initiality of Conflicts.

Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro

Proceedings of the Graph Transformation - 11th International Conference, 2018

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.

Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

The Verigraph System for Graph Transformation.

Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2016

Verigraph: A System for Specification and Analysis of Graph Grammars.

Andrei Costa, Jonas Santos Bezerra, Guilherme Grochau Azzi, Leonardo Marques Rodrigues, Thiago Rafael Becker, Ricardo Gabriel Herdt, Rodrigo Machado

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

2012

An Investigation on the Use of Navigation Devices in Smart Transportation Systems.

Ana L. C. Bazzan, Guilherme G. Azzi

Proceedings of the 8th Brazilian Symposium on Information Systems, 2012

2011

Extending Traffic Simulation Based On Cellular Automata: From ParticlesTo Autonomous Agents.

Ana L. C. Bazzan, Maicon de Brito do Amarante, Guilherme G. Azzi, Alexander J. Benavides, Luciana S. Buriol, Leonardo F. S. Moura, Marcus Ritt, Tiago Sommer

Proceedings of the 25th European Conference on Modelling and Simulation, 2011