Folgen
Guilherme Azzi
Guilherme Azzi
Ph.D. Candidate in Computer Science, Technische Universität Berlin
Bestätigte E-Mail-Adresse bei tu-berlin.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
192019
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
172018
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
142018
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
52018
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9