Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th ICGT 2021: Virtual Event
- Fabio Gadducci
, Timo Kehrer:
Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings. Lecture Notes in Computer Science 12741, Springer 2021, ISBN 978-3-030-78945-9
Theoretical Advances
- Nicolas Behr, Russ Harmer, Jean Krivine:
Concurrency Theorems for Non-linear Rewriting Theories. 3-21 - Jens Kosiol, Gabriele Taentzer:
A Generalized Concurrent Rule Construction for Double-Pushout Rewriting. 22-39 - Aaron Lye:
Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors. 40-59 - Roy Overbeek, Jörg Endrullis, Aloïs Rosset:
Graph Rewriting and Relabeling with PBPO+. 60-80 - Christopher M. Poskitt:
Incorrectness Logic for Graph Programs. 81-101 - Tikhon Pshenitsyn:
Powerful and NP-Complete: Hypergraph Lambek Grammars. 102-121 - Sven Schneider, Leen Lambers:
Evaluation Diversity for Graph Conditions. 122-141
Application Domains
- Matthias Barkowsky, Holger Giese:
Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching. 145-163 - Frank Drewes, Berthold Hoffmann, Mark Minas:
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars. 164-184 - Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi:
Nets with Mana: A Framework for Chemical Reaction Modelling. 185-202 - Hans-Jörg Kreowski, Aaron Lye:
A Case Study on the Graph-Transformational Modeling and Analysis of Puzzles. 203-220 - Maria Maximova, Sven Schneider, Holger Giese:
Interval Probabilistic Timed Graph Transformation Systems. 221-239 - Gia Septiana Wulandari, Detlef Plump:
Verifying Graph Programs with Monadic Second-Order Logic. 240-261 - Christian Zöllner, Matthias Barkowsky, Maria Maximova, Holger Giese:
On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems. 262-279
Tool Presentations
- Ira Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte:
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. 283-293 - Jens H. Weber:
GrapePress - A Computational Notebook for Graph Transformations. 294-302
a service of 
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-06-10 21:43 CEST 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:
