default search action
3rd ICGT 2006: Natal, Rio Grande do Norte, Brazil
- Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg:
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings. Lecture Notes in Computer Science 4178, Springer 2006, ISBN 3-540-38870-2
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
Process Bisimulation Via a Graphical Encoding. 168-183 - Stephen Lack
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
Termination Analysis of Model Transformations by Petri Nets. 260-274 - Odorico Machado Mendizabal
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
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
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-26 01:00 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: