| 2020 | A Categorical Semantics for Guarded Petri Nets. Fabrizio Genovese, David I. Spivak |
| 2020 | A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java. H. J. Sander Bruggink, Barbara König, Marleen Matjeka, Dennis Nolte, Lara Stoltenow |
| 2020 | A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, Holger Giese |
| 2020 | Algebras for Tree Decomposable Graphs. Roberto Bruni, Ugo Montanari, Matteo Sammartino |
| 2020 | Computing Embeddings of Directed Bigraphs. Alessio Chiapperini, Marino Miculan, Marco Peressotti |
| 2020 | Conditional Bigraphs. Blair Archibald, Muffy Calder, Michele Sevegnani |
| 2020 | Confluence up to Garbage. Graham Campbell, Detlef Plump |
| 2020 | Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. Sven Schneider, Johannes Dyck, Holger Giese |
| 2020 | Graph Consistency as a Graduated Property - Consistency-Sustaining and -Improving Graph Transformations. Jens Kosiol, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler |
| 2020 | Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers. Frank Drewes, Berthold Hoffmann, Mark Minas |
| 2020 | Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings Fabio Gadducci, Timo Kehrer |
| 2020 | Hypergraph Basic Categorial Grammars. Tikhon Pshenitsyn |
| 2020 | Initial Conflicts for Transformation Rules with Nested Application Conditions. Leen Lambers, Fernando Orejas |
| 2020 | Multilevel Typed Graph Transformations. Uwe Wolter, Fernando Macías, Adrian Rutle |
| 2020 | Multiscale Graph Grammars Can Generate Cayley Graphs of Groups and Monoids. Winfried Kurth |
| 2020 | Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. Sven Schneider, Lucas Sakizloglou, Maria Maximova, Holger Giese |
| 2020 | Patch Graph Rewriting. Roy Overbeek, Jörg Endrullis |
| 2020 | Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. Nicolas Behr, Jean Krivine |
| 2020 | Single Pushout Rewriting in Comprehensive Systems. Harald König, Patrick Stünkel |
| 2020 | The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants. Ciaran McCreesh, Patrick Prosser, James Trimble |
| 2020 | Unfolding Symbolic Attributed Graph Grammars. Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas |