ICGT B

12 papers

YearTitle / Authors
2018Characterisation of Parallel Independence in AGREE-Rewriting.
Michael Löwe
2018CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers.
Barbara König, Maxime Nederkorn, Dennis Nolte
2018Equivalence and Independence in Controlled Graph-Rewriting Processes.
Géza Kulcsár, Andrea Corradini, Malte Lochau
2018Graph Surfing by Reaction Systems.
Hans-Jörg Kreowski, Grzegorz Rozenberg
2018Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings
Leen Lambers, Jens H. Weber
2018Graph-Rewriting Petri Nets.
Géza Kulcsár, Malte Lochau, Andy Schürr
2018OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules.
Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer
2018On the Essence and Initiality of Conflicts.
Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro
2018Probabilistic Graph Programs for Randomised and Evolutionary Algorithms.
Timothy Atkinson, Detlef Plump, Susan Stepney
2018Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars.
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
2018Synchronous Hyperedge Replacement Graph Grammars.
Corey Pennycuff, Satyaki Sikdar, Catalina Vajiac, David Chiang, Tim Weninger
2018Verifying Graph Transformation Systems with Description Logics.
Jon Haël Brenas, Rachid Echahed, Martin Strecker