| On the essence and initiality of conflicts in M-adhesive transformation systems GG Azzi, A Corradini, L Ribeiro Journal of Logical and Algebraic Methods in Programming 109, 100482, 2019 | 20 | 2019 |
| On the essence of parallel independence for the double-pushout and sesqui-pushout approaches A Corradini, D Duval, M Löwe, L Ribeiro, R Machado, A Costa, GG Azzi, ... Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig, 1-18, 2018 | 17 | 2018 |
| The verigraph system for graph transformation GG Azzi, JS Bezerra, L Ribeiro, A Costa, LM Rodrigues, R Machado Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018 | 14 | 2018 |
| Extending Traffic Simulation Based On Cellular Automata: From ParticlesTo Autonomous Agents. ALC Bazzan, MB do Amarante, GG Azzi, AJ Benavides, LS Buriol, ... ECMS, 91-97, 2011 | 7 | 2011 |
| On the essence and initiality of conflicts GG Azzi, A Corradini, L Ribeiro Graph Transformation: 11th International Conference, ICGT 2018, Held as Part …, 2018 | 6 | 2018 |
| An investigation on the use of navigation devices in smart transportation systems ALC Bazzan, GG Azzi SBSI Anais do VIII Simpósio Brasileiro de Sistemas de Informação 1, 156-161, 2012 | 3 | 2012 |
| Improving conflict detection in double-pushout graph transformation GG Azzi | 1 | 2018 |
| Semantics and proof calculus for communicating unstructured code GG Azzi | | 2015 |
| Towards Simpler Theorem-Proving of Graph Grammars with Negative Application Conditions G Azzi, L Ribeiro CIP–CATALOGAÇÃO NA PUBLICAÇÃO, 115, 0 | | |
