フォロー
Eduardo Zambon
Eduardo Zambon
Assistant Professor in Computer Science, Federal University of Espírito Santo (UFES), Brazil
確認したメール アドレス: inf.ufes.br - ホームページ
.
タイトル
引用先
引用先
年
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
2322012
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
462009
Pattern-Based Graph Abstraction
A Rensink, E Zambon
ICGT 12, 66-80, 2012
402012
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
292017
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
242020
Neighbourhood abstraction in GROOVE
A Rensink, E Zambon
Electronic Communications of the EASST 32, 2011
172011
A type graph model for Java programs
A Rensink, E Zambon
International Conference on Formal Methods for Open Object-Based Distributed …, 2009
162009
Abstract Graph Transformation-Theory and Practice
E Zambon
Centre for Telematics and Information Technology, University of Twente, 2013
152013
Using graph transformations and graph abstractions for software verification
E Zambon, A Rensink
Centre for Telematics and Information Technology University of Twente, 2009
132009
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
122012
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
Graph subsumption in abstract state space exploration
E Zambon, A Rensink
arXiv preprint arXiv:1210.6413, 2012
112012
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
102012
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
Ontologically correct taxonomies by construction
JO Batista, JPA Almeida, E Zambon, G Guizzardi
Data & Knowledge Engineering 139, 102012, 2022
62022
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
52018
Otimização da Alocação de Religadores em Larga Escala
VC Zamborlini, DR Trindade, E Zambon, BB Garcia, EF Azeredo
CBEE, 2007
52007
Simulação de aplicação de armadilhas no combate ao aedes aegypti
AM Baldi, E Zambon, PD Costa, EMS Montiel
Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS), 2017
32017
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20