Suivre
Eduardo Zambon
Eduardo Zambon
Assistant Professor in Computer Science, Federal University of Espírito Santo (UFES), Brazil
Adresse e-mail validée de inf.ufes.br - Page d'accueil
.
Titre
Citée par
Citée par
Année
Modelling and analysis using GROOVE
AH Ghamarian, M de Mol, A Rensink, E Zambon, M Zimakova
International journal on software tools for technology transfer 14, 15-40, 2012
2162012
A novel nonlinear programming model for distribution protection optimization
E Zambon, DZ Bossois, BB Garcia, EF Azeredo
IEEE Transactions on power delivery 24 (4), 1951-1958, 2009
442009
Formal definition of a general ontology pattern language using a graph grammar
E Zambon, G Guizzardi
2017 Federated Conference on Computer Science and Information Systems …, 2017
272017
Pattern-Based Graph Abstraction
A Rensink, E Zambon
ICGT 12, 66-80, 2012
262012
KeySFC: Traffic steering using strict source routing for dynamic and efficient network orchestration
CK Dominicini, GL Vassoler, R Valentim, RS Villaca, MRN Ribeiro, ...
Computer Networks 167, 106975, 2020
202020
Neighbourhood abstraction in GROOVE
A Rensink, E Zambon
Electronic Communications of the EASST 32, 2011
152011
Abstract Graph Transformation-Theory and Practice
E Zambon
Centre for Telematics and Information Technology, University of Twente, 2013
142013
A type graph model for Java programs
A Rensink, E Zambon
International Conference on Formal Methods for Open Object-Based Distributed …, 2009
142009
Using graph transformations and graph abstractions for software verification
E Zambon
International Conference on Graph Transformation, 416-418, 2010
122010
Using graph transformations and graph abstractions for software verification
E Zambon
International Conference on Graph Transformation, 416-418, 2010
122010
Using graph transformations and graph abstractions for software verification
E Zambon, A Rensink
Centre for Telematics and Information Technology University of Twente, 2009
122009
Otimização de índices de confiabilidade em redes de distribuição de energia elétrica
E Zambon
Dissertação (Mestrado)—Universidade Federal do Espírito Santo, 2006
122006
Knowledge-based graph exploration analysis
I Galvão, E Zambon, A Rensink, L Wevers, M Aksit
Applications of Graph Transformations with Industrial Relevance: 4th …, 2012
112012
Graph subsumption in abstract state space exploration
E Zambon, A Rensink
arXiv preprint arXiv:1210.6413, 2012
92012
Graph abstraction and abstract graph transformations (Amended version)
I Boneva, J Kreiker, M Kurbán, A Rensink, E Zambon
Centre for Telematics and Information Technology, University of Twente, 2012
92012
Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices
E Zambon, R Rensink
13th International Workshop on Graph Transformation and Visual Modeling …, 2014
82014
Otimização da Alocação de Religadores em Larga Escala
VC Zamborlini, DR Trindade, E Zambon, BB Garcia, EF Azeredo
CBEE, 2007
52007
Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE
E Zambon, A Rensink
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter …, 2018
42018
Um Novo Modelo Matemático para Otimização da Confiabilidade em Alimentadores
DZ Bossois, E Zambon, BB Garcia, EF Azeredo
CBEE, 2007
4*2007
Building correct taxonomies with a well-founded graph grammar
JO Batista, JPA Almeida, E Zambon, G Guizzardi
International Conference on Research Challenges in Information Science, 506-522, 2021
22021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20