3. ICGT 2006: Natal, Rio Grande do Norte, Brazil

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 update Mon May 20 14:44:37 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page