![](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 61
Volume 61, 2013
- Rachid Echahed, Annegret Habel, Mohamed Mosbah:
Graph Computation Models 2012. - Nils Erik Flick:
Derivation Languages of Graph Grammars. - Florian Mantz, Gabriele Taentzer, Yngve Lamo:
Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping. - Marcus Ermler, Sabine Kuske, Melanie Luderer, Caroline von Totth:
A Graph Transformational View on Reductions in NP. - Katarína Smolenová, Winfried Kurth, Paul-Henry Cournède:
Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation. - Christopher M. Poskitt
, Detlef Plump:
Verifying Total Correctness of Graph Programs. - Hendrik Radke:
HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas. - Berthold Hoffmann:
Graph Rewriting with Contextual Refinement. - Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt:
Big Red: A Development Environment for Bigraphs. - Ole Kniemeyer, Winfried Kurth:
XL4C4D - Adding the Graph Transformation Language XL to CINEMA 4D.
![](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.