Abstract is missing.
- Nested Quantification in Graph Transformation RulesArend Rensink. 1-13 [doi]
- Idioms of Logical ModellingDaniel Jackson. 14 [doi]
- New Algorithms and Applications of Cyclic Reference CountingRafael Dueire Lins. 15-29 [doi]
- Sesqui-Pushout RewritingAndrea Corradini, Tobias Heindel, Frank Hermann, Barbara König. 30-45 [doi]
- Automata on Directed Graphs: Edge Versus Vertex MarkingDietmar Berwanger, David Janin. 46-60 [doi]
- Conflict Detection for Graph Transformation with Negative Application ConditionsLeen Lambers, Hartmut Ehrig, Fernando Orejas. 61-76 [doi]
- Adaptive Star GrammarsFrank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde. 77-91 [doi]
- Narrowing Data-Structures with PointersRachid Echahed, Nicolas Peltier. 92-106 [doi]
- Molecular Analysis of Metabolic Pathway with Graph TransformationKarsten Ehrig, Reiko Heckel, Georgios Lajios. 107-121 [doi]
- Matrix Approach to Graph Transformation: Matching and SequencesPedro Pablo Pérez Velasco, Juan de Lara. 122-137 [doi]
- String Generating Hypergraph Grammars with Word Order RestrictionsMartin Riedl, Sebastian Seifert, Ingrid Fischer. 138-152 [doi]
- Composition and Decomposition of DPO Transformations with Borrowed ContextPaolo Baldan, Hartmut Ehrig, Barbara König. 153-167 [doi]
- Process Bisimulation ::::Via:::: a Graphical EncodingFilippo Bonchi, Fabio Gadducci, Barbara König. 168-183 [doi]
- Toposes Are AdhesiveStephen Lack, Pawel Sobocinski. 184-198 [doi]
- Graph Transactions as ProcessesPaolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci. 199-214 [doi]
- Categorical Foundations of Distributed Graph TransformationHartmut Ehrig, Fernando Orejas, Ulrike Prange. 215-229 [doi]
- Dynamic Graph Transformation SystemsRoberto Bruni, Hernán C. Melgratti. 230-244 [doi]
- Autonomous Units and Their Semantics - The Sequential CaseKarsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske. 245-259 [doi]
- Termination Analysis of Model Transformations by Petri NetsDániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer. 260-274 [doi]
- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph GrammarsOdorico Machado Mendizabal, Fernando Luís Dotti. 275-290 [doi]
- Temporal Graph Queries to Support Software EvolutionTobias Rötschke, Andy Schürr. 291-305 [doi]
- On the Use of Alloy to Analyze Graph Transformation SystemsLuciano Baresi, Paola Spoletini. 306-320 [doi]
- Non-materialized Model View Specification with Triple Graph GrammarsJohannes Jakob, Alexander Königs, Andy Schürr. 321-335 [doi]
- Model-Driven Monitoring: An Application of Graph Transformation for Design by ContractGregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel. 336-350 [doi]
- Model View Management with Triple Graph Transformation SystemsEsther Guerra, Juan de Lara. 351-366 [doi]
- Graph Transformation in Constant TimeMike Dodds, Detlef Plump. 367-382 [doi]
- GrGen: A Fast SPO-Based Graph Rewriting ToolRubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski. 383-397 [doi]
- Realizing Graph Transformations by Pre- and Postconditions and Command SequencesFabian Büttner, Martin Gogolla. 398-413 [doi]
- Heuristic Search for the Analysis of Graph Transition SystemsStefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente. 414-429 [doi]
- Satisfiability of High-Level ConditionsAnnegret Habel, Karl-Heinz Pennemann. 430-444 [doi]
- Weakest Preconditions for High-Level ProgramsAnnegret Habel, Karl-Heinz Pennemann, Arend Rensink. 445-460 [doi]
- Introductory Tutorial on Foundations and Applications of Graph TransformationReiko Heckel. 461-462 [doi]
- Workshop on Graph Computation ModelsYves Métivier, Mohamed Mosbah. 463-464 [doi]
- Workshop on Graph-Based ToolsAlbert Zündorf, Dániel Varró. 465-466 [doi]
- Workshop on Petri Nets and Graph TransformationsPaolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg. 467-469 [doi]
- 3rd International Workshop on Software Evolution Through Transformations: Embracing ChangeJean-Marie Favre, Reiko Heckel, Tom Mens. 470-472 [doi]