Follow
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
1922012
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
Pattern-Based Graph Abstraction
A Rensink, E Zambon
ICGT 12, 66-80, 2012
232012
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
222017
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
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
132020
A type graph model for Java programs
A Rensink, E Zambon
Formal Techniques for Distributed Systems, 237-242, 2009
132009
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
International Symposium on Applications of Graph Transformations with …, 2011
102011
Knowledge-based Graph Exploration Analysis
I Galvão, E Zambon, A Rensink, L Wevers, M Aksit
Springer Verlag, 2011
102011
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
Um Novo Modelo Matemático para Otimização da Confiabilidade em Alimentadores
DZ Bossois, E Zambon, BB Garcia, EF Azeredo
CBEE, 2007
3*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
The system can't perform the operation now. Try again later.
Articles 1–20