Invited Papers

• 
  Margaret-Anne D. Storey: Improving Flow in Software Development Through Graphical Representations. 1
• 
  Ravi S. Sandhu: A Perspective on Graphs and Access Control Models. 2-12
• 
  Tony Clark, Andy Evans, Paul Sammut, James S. Willans: Transformation Language Design: A Metamodelling Foundation. 13-21

Integration Technology

• 
  Simon M. Becker, Sebastian Lohmann, Bernhard Westfechtel: Rule Execution in Graph-Based Incremental Interactive Integration Tools. 22-38
• 
  René van Buuren, Henk Jonkers, Maria-Eugenia Iacob, Patrick Strating: Composition of Relations in Enterprise Architecture Models. 39-53
• 
  Esther Guerra, Juan de Lara: Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. 54-69

Chemistry and Biology

• 
  Francesc Rosselló, Gabriel Valiente: Analysis of Metabolic Pathways by Graph Transformation. 70-82
• 
  Maneesh K. Yadav, Brian P. Kelley, Steven M. Silverman: The Potential of a Chemical Graph Transformation System. 83-95

Graph Transformation Concepts

• 
  Boris Böhlen, Ulrike Ranger: Concepts for Specifying Complex Graph Transformation Systems. 96-111
• 
  Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske: Typing of Graph Transformation Units. 112-127
• 
  Detlef Plump, Sandra Steinert: Towards Graph Programs for Graph Algorithms. 128-143

DPO Theory for High-Level Structures

• 
  Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange: Adhesive High-Level Replacement Categories and Systems. 144-160
• 
  Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer: Fundamental Theory for Typed Attributed Graph Transformation. 161-177
• 
  Annegret Habel, Berthold Hoffmann: Parallel Independence in Hierarchical Graph Transformation. 178-193

Analysis and Testing

• 
  Paolo Baldan, Barbara König, Ingo Stürmer: Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. 194-209
• 
  Reiko Heckel, Georgios Lajios, Sebastian Menge: Stochastic Graph Transformation Systems. 210-225
• 
  Arend Rensink, Ákos Schmidt, Dániel Varró: Model Checking Graph Transformations: A Comparison of Two Approaches. 226-241

Graph Theory and Algorithms

• 
  Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka: Election, Naming and Cellular Edge Local Computations. 242-256
• 
  Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg: Embedding in Switching Classes with Skew Gains. 257-270
• 
  Yves Métivier, Mohamed Mosbah, Rodrigue Ossamy, Afif Sellami: Synchronizers for Local Computations. 271-286

Application Conditions and Logic

• 
  Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann: Constraints and Application Conditions: From Graphs to High-Level Structures. 287-303
• 
  Alexey Cherchago, Reiko Heckel: Specification Matching of Web Services Using Conditional Graph Transformation Rules. 304-318
• 
  Arend Rensink: Representing First-Order Logic Using Graphs. 319-335

Transformation of Special Structures

• 
  Gemma Casas-Garriga, José L. Balcázar: Coproduct Transformations on Lattices of Closed Partial Orders. 336-351
• 
  Sebastian Seifert, Ingrid Fischer: Parsing String Generating Hypergraph Grammars. 352-367
• 
  Tanguy Urvoy: Composition of Path Transductions. 368-382

Object-Orientation

• 
  Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. 383-398
• 
  Niels Van Eetvelde, Dirk Janssens: Extending Graph Rewriting for Refactoring. 399-415
• 
  Ana Paula Lüdtke Ferreira, Leila Ribeiro: Derivations in Object-Oriented Graph Grammars. 416-430

Tutorials and Workshops

• 
  Luciano Baresi, Reiko Heckel: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. 431-433
• 
  Tero Harju, Ion Petre, Grzegorz Rozenberg: Tutorial on DNA Computing and Graph Transformation. 434-436
• 
  Maribel Fernández: Workshop TERMGRAPH 2004. 437-438
• 
  Tom Mens, Andy Schürr, Gabriele Taentzer: Workshop on Graph-Based Tools. 439-441
• 
  Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. 442-444
• 
  Reiko Heckel, Tom Mens: Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions. 445-447
• 
  Bruno Courcelle, David Janin: Workshop on Logic, Graph Transformations, Finite and Infinite Structures. 448-450

last updated on Wed May 22 04:29:30 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page