Follow
Guilherme Azzi
Guilherme Azzi
Ph.D. Candidate in Computer Science, Technische Universitšt Berlin
Verified email at tu-berlin.de - Homepage
Title
Cited by
Cited by
Year
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, 1-18, 2018
182018
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
172019
The Verigraph System for Graph Transformation
GG Azzi, JS Bezerra, L Ribeiro, A Costa, LM Rodrigues, R Machado
Graph Transformation, Specifications, and Nets, 160-178, 2018
152018
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
72011
On the Essence and Initiality of Conflicts
GG Azzi, A Corradini, L Ribeiro
International Conference on Graph Transformation, 99-117, 2018
42018
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
32012
Improving conflict detection in double-pushout graph transformation
GG Azzi
12018
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
The system can't perform the operation now. Try again later.
Articles 1–9