default search action
Electronic Communication of the European Association of Software Science and Technology, Volume 29
Volume 29: Graph Transformation and Visual Modeling Techniques 2010
- Jochen Malte Küster, Emilio Tuosto:
Preface.
- Eugene Syriani, Hans Vangheluwe:
De-/Re-constructing Model Transformation Languages. - Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce:
Preserving constraints in horizontal model transformations. - Torsten Strobl, Mark Minas:
Specifying and Generating Editing Environments for Interactive Animated Visual Models. - Maarten de Mol, Arend Rensink:
On A Graph Formalism for Ordered Edges. - Berthold Hoffmann, Mark Minas:
Defining Models - Meta Models versus Graph Grammars. - Christoph Blume, H. J. Sander Bruggink, Barbara König:
Recognizable Graph Languages for Checking Invariants. - Vojtech Rehák
, Petr Slovák, Jan Strejcek, Loïc Hélouët:
Decidable Race Condition and Open Coregions in HMSC. - Abubakar Hassan, Ian Mackie, Shinya Sato
A lightweight abstract machine for interaction nets. - Davide Grohmann, Marino Miculan:
Graph Algebras for Bigraphs. - Bernhard Schätz:
Verification of Model Transformations. - Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann:
Stochastic Graph Transformation with Regions. - Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König:
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. - Wolfram Kahl:
Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories.
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-16 22:29 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: