| 2010 | A Component Concept for Typed Graphs with Inheritance and Containment Structures. Stefan Jurack, Gabriele Taentzer |
| 2010 | A Dynamic Logic for Termgraph Rewriting. Philippe Balbiani, Rachid Echahed, Andreas Herzig |
| 2010 | A False History of True Concurrency: From Petri to Tools. Javier Esparza |
| 2010 | A Hoare Calculus for Graph Programs. Christopher M. Poskitt, Detlef Plump |
| 2010 | A Model for Distribution and Revocation of Certificates. Åsa Hagström, Francesco Parisi-Presicce |
| 2010 | A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes. Victor Khomenko |
| 2010 | Amalgamating Pushout and Pullback Graph Transformation in Collagories. Wolfram Kahl |
| 2010 | Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems. Fawad Qayum |
| 2010 | Bisimulation Theory for Graph Transformation Systems. Mathias Hülsbusch |
| 2010 | Combining Termination Criteria by Isolating Deletion. Dénes Bisztray, Reiko Heckel |
| 2010 | Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures. Stefan Jurack |
| 2010 | Conflict Detection for Model Versioning Based on Graph Modifications. Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer |
| 2010 | Correctness of Graph Programs Relative to HR Hendrik Radke |
| 2010 | Counterpart Semantics for a Second-Order Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
| 2010 | Declarative Mesh Subdivision Using Topological Rewriting in MGS. Antoine Spicher, Olivier Michel, Jean-Louis Giavitto |
| 2010 | Delaying Constraint Solving in Symbolic Graph Transformation. Fernando Orejas, Leen Lambers |
| 2010 | EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment. Enrico Biermann |
| 2010 | Finitary ℳ-Adhesive Categories. Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas |
| 2010 | Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas |
| 2010 | Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems. Tony Modica |
| 2010 | Graph Rewriting in Span-Categories. Michael Löwe |
| 2010 | Graph Transformation Units Guided by a SAT Solver. Hans-Jörg Kreowski, Sabine Kuske, Robert Wille |
| 2010 | Graph Transformation for Domain-Specific Discrete Event Time Simulation. Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini |
| 2010 | Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr |
| 2010 | Hereditary Pushouts Reconsidered. Tobias Heindel |
| 2010 | How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? Christoph Brandt, Frank Hermann |
| 2010 | ICGT 2010 Doctoral Symposium. Andrea Corradini, Maarten de Mol |
| 2010 | LTS Semantics for Process Calculi from Their Graphical Encodings. Giacoma Valentina Monreale |
| 2010 | Local Confluence for Rules with Nested Application Conditions. Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas |
| 2010 | Multi-Amalgamation in Adhesive Categories. Ulrike Golas, Hartmut Ehrig, Annegret Habel |
| 2010 | On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon |
| 2010 | Realizing Impure Functions in Interaction Nets. Eugen Jiresch |
| 2010 | Recognizable Graph Languages for the Verification of Dynamic Systems. Christoph Blume |
| 2010 | Saturated LTSs for Adhesive Rewriting Systems. Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari |
| 2010 | Static Type Checking of Model Transformation Programs. Zoltán Ujhelyi |
| 2010 | Stochastic Modelling and Simulation of Dynamic Resource Allocation. Adwoa Donyina |
| 2010 | Using Graph Transformations and Graph Abstractions for Software Verification. Eduardo Zambon |
| 2010 | Verification of Graph Transformation Systems with Context-Free Specifications. Barbara König, Javier Esparza |