Invited Papers

• 
  Arend Rensink: Nested Quantification in Graph Transformation Rules. 1-13
• 
  Daniel Jackson: Idioms of Logical Modelling. 14
• 
  Rafael Dueire Lins: New Algorithms and Applications of Cyclic Reference Counting. 15-29

New Graph Transformation Models

• 
  Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König: Sesqui-Pushout Rewriting. 30-45
• 
  Dietmar Berwanger, David Janin: Automata on Directed Graphs: Edge Versus Vertex Marking. 46-60
• 
  Leen Lambers, Hartmut Ehrig, Fernando Orejas: Conflict Detection for Graph Transformation with Negative Application Conditions. 61-76
• 
  Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde: Adaptive Star Grammars. 77-91

Structure Manipulation

• 
  Rachid Echahed, Nicolas Peltier: Narrowing Data-Structures with Pointers. 92-106
• 
  Karsten Ehrig, Reiko Heckel, Georgios Lajios: Molecular Analysis of Metabolic Pathway with Graph Transformation. 107-121
• 
  Pedro Pablo Pérez Velasco, Juan de Lara: Matrix Approach to Graph Transformation: Matching and Sequences. 122-137
• 
  Martin Riedl, Sebastian Seifert, Ingrid Fischer: String Generating Hypergraph Grammars with Word Order Restrictions. 138-152

Borrowed Contexts and Adhesive Categories

• 
  Paolo Baldan, Hartmut Ehrig, Barbara König: Composition and Decomposition of DPO Transformations with Borrowed Context. 153-167
• 
  Filippo Bonchi, Fabio Gadducci, Barbara König: Process Bisimulation Via a Graphical Encoding. 168-183
• 
  Stephen Lack, Pawel Sobocinski: Toposes Are Adhesive. 184-198

Extensions for Distributed and Global Computing

• 
  Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci: Graph Transactions as Processes. 199-214
• 
  Hartmut Ehrig, Fernando Orejas, Ulrike Prange: Categorical Foundations of Distributed Graph Transformation. 215-229
• 
  Roberto Bruni, Hernán C. Melgratti: Dynamic Graph Transformation Systems. 230-244
• 
  Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske: Autonomous Units and Their Semantics - The Sequential Case. 245-259

Software Engineering Methods and Tools

• 
  Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer: Termination Analysis of Model Transformations by Petri Nets. 260-274
• 
  Odorico Machado Mendizabal, Fernando Luís Dotti: Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars. 275-290
• 
  Tobias Rötschke, Andy Schürr: Temporal Graph Queries to Support Software Evolution. 291-305
• 
  Luciano Baresi, Paola Spoletini: On the Use of Alloy to Analyze Graph Transformation Systems. 306-320

Model-Driven Development

• 
  Johannes Jakob, Alexander Königs, Andy Schürr: Non-materialized Model View Specification with Triple Graph Grammars. 321-335
• 
  Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel: Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. 336-350
• 
  Esther Guerra, Juan de Lara: Model View Management with Triple Graph Transformation Systems. 351-366

Efficient Implementation

• 
  Mike Dodds, Detlef Plump: Graph Transformation in Constant Time. 367-382
• 
  Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski: GrGen: A Fast SPO-Based Graph Rewriting Tool. 383-397
• 
  Fabian Büttner, Martin Gogolla: Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. 398-413
• 
  Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Heuristic Search for the Analysis of Graph Transition Systems. 414-429

Logics

• 
  Annegret Habel, Karl-Heinz Pennemann: Satisfiability of High-Level Conditions. 430-444
• 
  Annegret Habel, Karl-Heinz Pennemann, Arend Rensink: Weakest Preconditions for High-Level Programs. 445-460

Tutorial and Workshops

• 
  Reiko Heckel: Introductory Tutorial on Foundations and Applications of Graph Transformation. 461-462
• 
  Yves Métivier, Mohamed Mosbah: Workshop on Graph Computation Models. 463-464
• 
  Albert Zündorf, Dániel Varró: Workshop on Graph-Based Tools. 465-466
• 
  Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. 467-469
• 
  Jean-Marie Favre, Reiko Heckel, Tom Mens: 3rd International Workshop on Software Evolution Through Transformations: Embracing Change. 470-472

last updated on Sat May 18 04:55:53 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page