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 (ECMS, 2011)

An Investigation on the Use of Navigation Devices in Smart Transportation Systems. - Ana L. C. Bazzan; Guilherme G. Azzi (SBSI, 2012)

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 (SBMF, 2016)

The Verigraph System for Graph Transformation. - Guilherme Grochau Azzi; Jonas Santos Bezerra; Leila Ribeiro 001; Andrei Costa; Leonardo Marques Rodrigues; Rodrigo Machado (Graph Transformation, Specifications, and Nets, 2018)

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. - Andrea Corradini 001; Dominique Duval; Michael Löwe; Leila Ribeiro 001; Rodrigo Machado; Andrei Costa; Guilherme Grochau Azzi; Jonas Santos Bezerra; Leonardo Marques Rodrigues (Graph Transformation, Specifications, and Nets, 2018)

On the Essence and Initiality of Conflicts. - Guilherme Grochau Azzi; Andrea Corradini 001; Leila Ribeiro 001 (ICGT, 2018)

On the essence and initiality of conflicts in M-adhesive transformation systems. - Guilherme Grochau Azzi; Andrea Corradini 001; Leila Ribeiro 001 (J. Log. Algebraic Methods Program., 2019)