default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th 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
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-10-31 20:02 CET 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:
