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
1692012
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
362009
Pattern-Based Graph Abstraction
A Rensink, E Zambon
ICGT 12, 66-80, 2012
222012
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
182017
Neighbourhood abstraction in GROOVE
A Rensink, E Zambon
Electronic Communications of the EASST 32, 2011
152011
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
72014
Otimização da Alocação de Religadores em Larga Escala
VC Zamborlini, DR Trindade, E Zambon, BB Garcia, EF Azeredo
CBEE, 2007
62007
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
52020
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
The system can't perform the operation now. Try again later.
Articles 1–20