default search action
2nd ICGT 2004: Rome, Italy
- Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg:
Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings. Lecture Notes in Computer Science 3256, Springer 2004, ISBN 3-540-23207-9
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
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
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
Derivations in Object-Oriented Graph Grammars. 416-430
Tutorials and Workshops
- Luciano Baresi
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. 431-433 - Tero Harju, Ion Petre
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: