![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
13th ICGT 2020: Bergen, Norway
- Fabio Gadducci
, Timo Kehrer
:
Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings. Lecture Notes in Computer Science 12150, Springer 2020, ISBN 978-3-030-51371-9
Theoretical Advances
- Blair Archibald
, Muffy Calder
, Michele Sevegnani
:
Conditional Bigraphs. 3-19 - Graham Campbell
, Detlef Plump
:
Confluence up to Garbage. 20-37 - Alessio Chiapperini
, Marino Miculan
, Marco Peressotti
:
Computing Embeddings of Directed Bigraphs. 38-56 - Fabrizio Genovese
, David I. Spivak
:
A Categorical Semantics for Guarded Petri Nets. 57-74 - Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas:
Unfolding Symbolic Attributed Graph Grammars. 75-90 - Harald König
, Patrick Stünkel
:
Single Pushout Rewriting in Comprehensive Systems. 91-108 - Leen Lambers
, Fernando Orejas
:
Initial Conflicts for Transformation Rules with Nested Application Conditions. 109-127 - Roy Overbeek
, Jörg Endrullis
:
Patch Graph Rewriting. 128-145 - Tikhon Pshenitsyn
:
Hypergraph Basic Categorial Grammars. 146-162 - Uwe Wolter
, Fernando Macías
, Adrian Rutle
:
Multilevel Typed Graph Transformations. 163-182
Application Domains
- Nicolas Behr
, Jean Krivine
:
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics. 185-202 - Roberto Bruni
, Ugo Montanari
, Matteo Sammartino
:
Algebras for Tree Decomposable Graphs. 203-220 - Frank Drewes
, Berthold Hoffmann
, Mark Minas
:
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers. 221-238 - Jens Kosiol
, Daniel Strüber
, Gabriele Taentzer
, Steffen Zschaler
:
Graph Consistency as a Graduated Property - Consistency-Sustaining and -Improving Graph Transformations. 239-256 - Sven Schneider
, Johannes Dyck
, Holger Giese
:
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions. 257-275 - Sven Schneider
, Lucas Sakizloglou
, Maria Maximova
, Holger Giese
:
Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic. 276-294
Tool Presentations
- H. J. Sander Bruggink, Barbara König
, Marleen Matjeka, Dennis Nolte
, Lara Stoltenow:
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java. 297-306 - Winfried Kurth
:
Multiscale Graph Grammars Can Generate Cayley Graphs of Groups and Monoids. 307-315 - Ciaran McCreesh
, Patrick Prosser
, James Trimble
:
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants. 316-324 - Christian Zöllner
, Matthias Barkowsky
, Maria Maximova
, Melanie Schneider, Holger Giese
:
A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. 325-334
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.