`Travelled to:`

1 × Estonia

1 × Germany

1 × Hungary

1 × The Netherlands

`Collaborated with:`

A.Rensink ∅ I.Galvão L.Wevers M.Akşit

`Talks about:`

graph (5) abstract (3) explor (2) base (2) compendium (1) transform (1) subsumpt (1) knowledg (1) softwar (1) problem (1)

## Person: Eduardo Zambon

### DBLP: Zambon:Eduardo

### Facilitated 1 volumes:

### Contributed to:

### Wrote 5 papers:

- GT-VMT-2014-ZambonR #problem #towards
- Solving the N-Queens Problem with GROOVE — Towards a Compendium of Best Practices (EZ, AR).
- GRAPHITE-2012-ZambonR #graph
- Graph Subsumption in Abstract State Space Exploration (EZ, AR), pp. 35–49.
- ICGT-2012-RensinkZ #abstraction #graph
- Pattern-Based Graph Abstraction (AR, EZ), pp. 66–80.
- AGTIVE-2011-GalvaoZRWA #analysis #graph #knowledge-based
- Knowledge-Based Graph Exploration Analysis (IG, EZ, AR, LW, MA), pp. 105–120.
- ICGT-2010-Zambon #abstraction #graph transformation #using #verification
- Using Graph Transformations and Graph Abstractions for Software Verification (EZ), pp. 416–418.