Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 -- October 2, 2004. Proceedings. (Q1763067): Difference between revisions

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1001.00043). Indexed articles: \textit{Guerra, Esther; de Lara, Juan}, Event-driven grammars: Towards the integration of meta-modelling and graph transformation, 54-69 [Zbl 1116.68482] \textit{Rosselló, Francesc; Valiente, Gabriel}, Analysis of metabolic pathways by graph transformation, 70-82 [Zbl 1116.92312] \textit{Yadav, Maneesh K.; Kelley, Brian P.; Silverman, Steven M.}, The potential of a chemical graph transformation system, 83-95 [Zbl 1116.92326] \textit{Böhlen, Boris; Ranger, Ulrike}, Concepts for specifying complex graph transformation systems, 96-111 [Zbl 1116.68478] \textit{Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg; Kuske, Sabine}, Typing of graph transformation units, 112-127 [Zbl 1116.68555] \textit{Plump, Detlef; Steinert, Sandra}, Towards graph programs for graph algorithms, 128-143 [Zbl 1116.68560] \textit{Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike}, Adhesive high-level replacement categories and systems, 144-160 [Zbl 1116.68480] \textit{Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele}, Fundamental theory for typed attributed graph transformation, 161-177 [Zbl 1116.68481] \textit{Habel, Annegret; Hoffmann, Berthold}, Parallel independence in hierarchical graph transformation, 178-193 [Zbl 1116.68483] \textit{Baldan, Paolo; König, Barbara; Stürmer, Ingo}, Generating test cases for code generators by unfolding graph transformation systems, 194-209 [Zbl 1116.68477] \textit{Heckel, Reiko; Lajios, Georgios; Menge, Sebastian}, Stochastic graph transformation systems, 210-225 [Zbl 1116.68484] \textit{Rensink, Arend; Schmidt, Ákos; Varró, Dániel}, Model checking graph transformations: A comparison of two approaches, 226-241 [Zbl 1116.68486] \textit{Chalopin, Jérémie; Métivier, Yves; Zielonka, Wiesław}, Election, naming and cellular edge local computations (extended abstract), 242-256 [Zbl 1116.68548] \textit{Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz}, Embedding in switching classes with skew gains, 257-270 [Zbl 1116.68553] \textit{Métivier, Yves; Mosbah, Mohamed; Ossamy, Rodrigue; Sellami, Afif}, Synchronizers for local computations, 271-286 [Zbl 1116.68557] \textit{Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz}, Constraints and application conditions: From graphs to high-level structures, 287-303 [Zbl 1116.68479] \textit{Cherchago, Alexey; Heckel, Reiko}, Specification matching of web services using conditional graph transformation rules, 304-318 [Zbl 1116.68550] \textit{Rensink, Arend}, Representing first-order logic using graphs, 319-335 [Zbl 1116.03303] \textit{Casas-Garriga, Gemma; Balcázar, José L.}, Coproduct transformations on lattices of closed partial orders, 336-351 [Zbl 1116.68595] \textit{Seifert, Sebastian; Fischer, Ingrid}, Parsing string generating hypergraph grammars, 352-367 [Zbl 1116.68487] \textit{Urvoy, Tanguy}, Composition of path transductions, 368-382 [Zbl 1116.68562] \textit{Corradini, Andrea; Dotti, Fernando Luís; Foss, Luciana; Ribeiro, Leila}, Translating Java code to graph transformation systems, 383-398 [Zbl 1116.68382] \textit{Van Eetvelde, Niels; Janssens, Dirk}, Extending graph rewriting for refactoring, 399-415 [Zbl 1116.68388] \textit{Lüdtke Ferreira, Ana Paula; Ribeiro, Leila}, Derivations in object-oriented graph grammars, 416-430 [Zbl 1116.68485]