A Type Graph Model for Java Programs. - Arend Rensink; Eduardo Zambon (FMOODS/FORTE, 2009)

Using Graph Transformations and Graph Abstractions for Software Verification. - Eduardo Zambon (ICGT, 2010)

Neighbourhood Abstraction in GROOVE. - Arend Rensink; Eduardo Zambon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Knowledge-Based Graph Exploration Analysis. - Ismênia Galvão; Eduardo Zambon; Arend Rensink; Lesley Wevers; Mehmet Aksit (AGTIVE, 2011)

Solving the TTC 2011 Compiler Optimization Case with GROOVE - Arend Rensink; Eduardo Zambon (TTC, 2011)

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case - Amir Hossein Ghamarian; Maarten de Mol; Arend Rensink; Eduardo Zambon (TTC, 2011)

Using Graph Transformations and Graph Abstractions for Software Verification. - Eduardo Zambon; Arend Rensink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Pattern-Based Graph Abstraction. - Arend Rensink; Eduardo Zambon (ICGT, 2012)

Graph Subsumption in Abstract State Space Exploration - Eduardo Zambon; Arend Rensink (GRAPHITE, 2012)

Modelling and analysis using GROOVE. - Amir Hossein Ghamarian; Maarten de Mol; Arend Rensink; Eduardo Zambon; Maria Zimakova (Int. J. Softw. Tools Technol. Transf., 2012)

Abstract Graph Transformation - Theory and Practice. - Eduardo Zambon (2013)

Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. - Eduardo Zambon; Arend Rensink (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Formal Definition of a General Ontology Pattern Language using a Graph Grammar. - Eduardo Zambon; Giancarlo Guizzardi (FedCSIS, 2017)

Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE. - Eduardo Zambon; Arend Rensink (Principled Software Development, 2018)

Situations in Simulations: An Initial Appraisal. - Alessandro M. Baldi; Patricia Dockhorn Costa; Eduardo Zambon; João Paulo A. Almeida (CogSIMA, 2018)

KeySFC: Agile Traffic Steering using Strict Source Routing. - Cristina K. Dominicini; Gilmar L. Vassoler; Rodolfo V. Valentim; Rodolfo da Silva Villaça; Moisés R. N. Ribeiro; Magnos Martinello; Eduardo Zambon (SOSR, 2019)

KeySFC: Traffic steering using strict source routing for dynamic and efficient network orchestration. - Cristina K. Dominicini; Gilmar L. Vassoler; Rodolfo V. Valentim; Rodolfo da Silva Villaça; Moisés R. N. Ribeiro; Magnos Martinello; Eduardo Zambon (Comput. Networks, 2020)

Building Correct Taxonomies with a Well-Founded Graph Grammar. - Jeferson O. Batista; João Paulo A. Almeida; Eduardo Zambon; Giancarlo Guizzardi (RCIS, 2021)

Ontologically correct taxonomies by construction. - Jeferson O. Batista; João Paulo A. Almeida; Eduardo Zambon; Giancarlo Guizzardi (Data Knowl. Eng., 2022)