![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Electronic Communication of the European Association of Software Science and Technology, Volume 10
Volume 10: Graph Transformation and Visual Modeling Techniques 2008
- Claudia Ermel, Juan de Lara, Reiko Heckel:
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).
- Hartmut Ehrig, Karsten Ehrig, Frank Hermann:
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. - Anantha Narayanan, Gabor Karsai:
Verifying Model Transformations by Structural Correspondence. - Erhard Weinell:
Extending Graph Query Languages by Reduction. - Rahul Kumar, Eric G. Mercer:
Improving Live Sequence Chart to Automata Transformation for Verification. - Paolo Bottoni, Nikolay N. Mirenkov, Yutaka Watanobe, Rentaro Yoshioka:
Composing control flow and formula rules for computing on grids. - Arend Rensink, Anneke Kleppe:
On a Graph-Based Semantics for UML Class and Object Diagrams. - Benjamin Braatz, Christoph Brandt:
Graph Transformations for the Resource Description Framework. - Davide Grohmann, Marino Miculan:
Controlling resource access in Directed Bigraphs. - Abubakar Hassan, Ian Mackie, Shinya Sato:
Interaction nets: programming language design and implementation. - Leen Lambers, Hartmut Ehrig, Gabriele Taentzer:
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. - Florian Brieler, Mark Minas:
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars. - Sonja Maier, Mark Minas:
A Static Layout Algorithm for DiaMeta. - Hans Vangheluwe:
Foundations of Modelling and Simulation of Complex Systems. - Antonio Bucchiarone, Juan P. Galeotti:
Dynamic Software Architectures Verification using DynAlloy. - Christian Koehler, David Costa, José Proença, Farhad Arbab:
Reconfiguration of Reo Connectors Triggered by Dataflow. - Alexander Rein, Ulrike Prange
, Leen Lambers, Kathrin Hoffmann, Julia Padberg:
Negative Application Conditions for Reconfigurable Place/Transition Systems. - Enrico Biermann, Tony Modica:
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets. - Greg Manning, Detlef Plump:
The GP Programming System. - Karl Azab, Karl-Heinz Pennemann:
Type Checking C++ Template Instantiation by Graph Programs. - Cong-Cong Xing:
A Graph-Based Type Representation for Objects. - Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga:
Using Graph Transformation Systems to Specify and Verify Data Abstractions. - Steffen Mazanek, Mark Minas:
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators. - Ewa Grabska, Grazyna Maria Slusarczyk, Truong Lan Le:
Visual Design and Reasoning with the Use of Hypergraph Transformations. - Stefan Gruner:
Graph Transformation Model of a Triangulated Network of Mobile Units.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.