Eduardo Zambon
Eduardo Zambon
Assistant Professor in Computer Science, Federal University of Espírito Santo (UFES), Brazil
Verified email at inf.ufes.br - Homepage
.
Title
Cited by
Cited by
Year
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 (1), 15-40, 2012
1622012
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
352009
Pattern-Based Graph Abstraction
A Rensink, E Zambon
ICGT 12, 66-80, 2012
212012
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
162017
Neighbourhood abstraction in GROOVE
A Rensink, E Zambon
Electronic Communications of the EASST 32, 2011
142011
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
132006
Abstract Graph Transformation-Theory and Practice
E Zambon
Centre for Telematics and Information Technology, University of Twente, 2013
122013
Using graph transformations and graph abstractions for software verification
E Zambon
International Conference on Graph Transformation, 416-418, 2010
112010
Using graph transformations and graph abstractions for software verification
E Zambon
International Conference on Graph Transformation, 416-418, 2010
112010
Using graph transformations and graph abstractions for software verification
E Zambon, A Rensink
Centre for Telematics and Information Technology University of Twente, 2009
112009
A type graph model for Java programs
A Rensink, E Zambon
Formal Techniques for Distributed Systems, 237-242, 2009
102009
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
Knowledge-based graph exploration analysis
I Galvão, E Zambon, A Rensink, L Wevers, M Aksit
International Symposium on Applications of Graph Transformations with …, 2011
92011
Knowledge-based Graph Exploration Analysis
I Galvão, E Zambon, A Rensink, L Wevers, M Aksit
Springer Verlag, 2011
92011
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
62014
Otimização da Alocação de Religadores em Larga Escala
VC Zamborlini, DR Trindade, E Zambon, BB Garcia, EF Azeredo
CBEE, 2007
62007
Simulação de aplicação de armadilhas no combate ao aedes aegypti
AM Baldi, E Zambon, PD Costa, EMS Montiel
Anais Principais do XVII Workshop de Informática Médica, 2017
22017
Aplicaç ao de Métodos de Busca Guiada na Exploraç ao do Espaço de Estados de Gramáticas de Grafos
AS Ramos, MCS Boeres, E Zambon
22016
Um Novo Modelo Matemático para Otimização da Confiabilidade em Alimentadores
DZ Bossois, E Zambon, BB Garcia, EF Azeredo
CBEE, 2007
2*2007
The system can't perform the operation now. Try again later.
Articles 1–20