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, 15-40, 2012
2182012
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
282017
Pattern-Based Graph Abstraction
A Rensink, E Zambon
ICGT 12, 66-80, 2012
282012
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
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
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
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
Ontologically correct taxonomies by construction
JO Batista, JPA Almeida, E Zambon, G Guizzardi
Data & Knowledge Engineering 139, 102012, 2022
32022
The system can't perform the operation now. Try again later.
Articles 1–20