ICGT 2004

2nd International Conference on Graph Transformation
Roma (Italy), September 28 - October 2, 2004




Accepted papers
  • P. Baldan, B. Koenig, I. Stuermer
    Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
  • S. M. Becker, S. Lohmann, B. Westfechtel
    Rule Execution in Graph-Based Incremental Interactive Integration Tools
  • B. Böhlen, U. Ranger
    Concepts for Specifying Complex Graph Transformation Systems
  • R. van Buuren, H. Jonkers, M.-E. Iacob, P. Strating
    Composition of Relations in Enterprise Architecture Models
  • G. Casas-Garriga, J. L. Balcazar
    Coproduct Transformations on Lattices of Closed Partial Orders
  • Chalopin, Metivier, Zielonka
    Election, naming and cellular edge local computations
  • A. Corradini, F. L. Dotti, L. Foss, L. Ribeiro
    Translating Java into Graph Transformation Systems
  • N. Van Eetvelde, D. Janssens
    Extending Graph Rewriting for Refactoring
  • A. Ehrenfeucht, J. Hage, T. Harju, G. Rozenberg
    Embedding in Switching Classes with Skew Gains
  • H. Ehrig, K. Ehrig, A. Habel, K.-H. Pennemann
    Constraints and Application Conditions: From Graphs to High-Level Structures
  • H. Ehrig, A. Habel, J. Padberg, U. Prange
    Adhesive High-Level Replacement Categories and Systems
  • H. Ehrig, U. Prange, G. Taentzer
    Fundamental Theory for Typed Attributed Graph Transformation
  • E. Guerra, J. de Lara
    Event-Driven Grammars: Towards the Integration of Meta-Modelling and Graph Transformation
  • A. Habel, B. Hoffmann
    Independence in Hierarchical Graph Transformation
  • R. Heckel, A. Cherchago
    Specification Matching of Web Services Using Conditional Graph Transformation Rules
  • R. Heckel, G. Lajios, and S. Menge
    Stochastic Graph Transformation Systems
  • R. Klempien-Hinrichs, H.-J. Kreowski, S. Kuske
    Typing of Graph Transformation Units
  • P. L\"udtke Ferreira, L. Ribeiro
    Derivations in object-oriented graph grammars
  • Y. Métivier , M.Mosbah, R. Ossamy, A. Sellami
    Synchronizers for Local Computations
  • D. Plump, S. Steinert
    Towards Graph Programs for Graph Algorithms
  • A. Rensink
    Representing First-Order Logic using Graphs
  • A. Rensink, A. Schmidt, D. Varro
    Model Checking Graph Transformations: A Comparison of Two Approaches
  • F. Rosselló, G. Valiente
    Analysis of Metabolic Pathways by Graph Transformation
  • S. Seifert, I. Fischer
    Bottom-up parsing for string generating hypergraph grammars
  • T. Urvoy
    Composition of path transductions
  • M. K. Yadav, B. P. Kelley
    The potential of a Chemical Graph Transformation System