ICGT B

17 papers

YearTitle / Authors
2021A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles.
Hans-Jörg Kreowski, Aaron Lye
2021A Generalized Concurrent Rule Construction for Double-Pushout Rewriting.
Jens Kosiol, Gabriele Taentzer
2021Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.
Ira Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte
2021Concurrency Theorems for Non-linear Rewriting Theories.
Nicolas Behr, Russ Harmer, Jean Krivine
2021Evaluation Diversity for Graph Conditions.
Sven Schneider, Leen Lambers
2021GrapePress - A Computational Notebook for Graph Transformations.
Jens H. Weber
2021Graph Rewriting and Relabeling with PBPO
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
2021Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings
Fabio Gadducci, Timo Kehrer
2021Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching.
Matthias Barkowsky, Holger Giese
2021Incorrectness Logic for Graph Programs.
Christopher M. Poskitt
2021Interval Probabilistic Timed Graph Transformation Systems.
Maria Maximova, Sven Schneider, Holger Giese
2021Nets with Mana: A Framework for Chemical Reaction Modelling.
Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi
2021On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems.
Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese
2021Powerful and NP-Complete: Hypergraph Lambek Grammars.
Tikhon Pshenitsyn
2021Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars.
Frank Drewes, Berthold Hoffmann, Mark Minas
2021Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors.
Aaron Lye
2021Verifying Graph Programs with Monadic Second-Order Logic.
Gia Septiana Wulandari, Detlef Plump