Graph Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 16)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030789459, 9783030789466

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78946-6_14 ◽

2021 ◽

pp. 262-279

Author(s):

Christian Zöllner ◽

Matthias Barkowsky ◽

Maria Maximova ◽

Holger Giese

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78946-6_3 ◽

2021 ◽

pp. 40-59

Author(s):

Aaron Lye

Keyword(s):

Reaction Systems

Download Full-text

Nets with Mana: A Framework for Chemical Reaction Modelling

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78946-6_10 ◽

2021 ◽

pp. 185-202

Author(s):

Fabrizio Genovese ◽

Fosco Loregian ◽

Daniele Palombi

Keyword(s):

Chemical Reaction

Download Full-text

Interval Probabilistic Timed Graph Transformation Systems

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78946-6_12 ◽

2021 ◽

pp. 221-239

Author(s):

Maria Maximova ◽

Sven Schneider ◽

Holger Giese

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78946-6_9 ◽

2021 ◽

pp. 164-184

Author(s):

Frank Drewes ◽

Berthold Hoffmann ◽

Mark Minas

Keyword(s):

Top Down ◽

Hyperedge Replacement

Download Full-text

Verifying Graph Programs with Monadic Second-Order Logic

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78946-6_13 ◽

2021 ◽

pp. 240-261

Author(s):

Gia S. Wulandari ◽

Detlef Plump

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78946-6_8 ◽

2021 ◽

pp. 145-163

Author(s):

Matthias Barkowsky ◽

Holger Giese

Keyword(s):

Pattern Matching ◽

Graph Pattern Matching ◽

Graph Pattern ◽

Download Full-text

Powerful and NP-Complete: Hypergraph Lambek Grammars

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78946-6_6 ◽

2021 ◽

pp. 102-121

Author(s):

Tikhon Pshenitsyn

Keyword(s):

Download Full-text

A Generalized Concurrent Rule Construction for Double-Pushout Rewriting

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78946-6_2 ◽

2021 ◽

pp. 22-39

Author(s):

Jens Kosiol ◽

Gabriele Taentzer

Download Full-text

GrapePress - A Computational Notebook for Graph Transformations

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78946-6_16 ◽

2021 ◽

pp. 294-302

Author(s):

Jens H. Weber

Keyword(s):

Graph Transformations

Download Full-text