


default search action
11th ICGT 2018: Toulouse, France
- Leen Lambers, Jens H. Weber:

Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. Lecture Notes in Computer Science 10887, Springer 2018, ISBN 978-3-319-92990-3
Graph Languages
- Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye:

Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars. 3-19 - Corey Pennycuff, Satyaki Sikdar

, Catalina Vajiac, David Chiang, Tim Weninger:
Synchronous Hyperedge Replacement Graph Grammars. 20-36 - Barbara König

, Maxime Nederkorn
, Dennis Nolte
:
CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers. 37-42
Graph Transformation Formalisms
- Hans-Jörg Kreowski, Grzegorz Rozenberg:

Graph Surfing by Reaction Systems. 45-62 - Timothy Atkinson

, Detlef Plump
, Susan Stepney
:
Probabilistic Graph Programs for Randomised and Evolutionary Algorithms. 63-78 - Géza Kulcsár

, Malte Lochau
, Andy Schürr
:
Graph-Rewriting Petri Nets. 79-96
Parallel Independence and Conflicts
- Guilherme Grochau Azzi

, Andrea Corradini
, Leila Ribeiro:
On the Essence and Initiality of Conflicts. 99-117 - Michael Löwe:

Characterisation of Parallel Independence in AGREE-Rewriting. 118-133 - Géza Kulcsár

, Andrea Corradini
, Malte Lochau
:
Equivalence and Independence in Controlled Graph-Rewriting Processes. 134-151
Graph Conditions and Verification
- Jon Haël Brenas, Rachid Echahed, Martin Strecker

:
Verifying Graph Transformation Systems with Description Logics. 155-170 - Nebras Nassar

, Jens Kosiol
, Thorsten Arendt
, Gabriele Taentzer
:
OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules. 171-177

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














