Graph Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030513719, 9783030513726

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conditional Bigraphs

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-51372-6_1 ◽

2020 ◽

pp. 3-19

Author(s):

Blair Archibald ◽

Muffy Calder ◽

Michele Sevegnani

Download Full-text

Multiscale Graph Grammars Can Generate Cayley Graphs of Groups and Monoids

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-51372-6_18 ◽

2020 ◽

pp. 307-315

Author(s):

Winfried Kurth

Keyword(s):

Cayley Graphs ◽

Graph Grammars ◽

Graphs Of Groups

Download Full-text

A Categorical Semantics for Guarded Petri Nets

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-51372-6_4 ◽

2020 ◽

pp. 57-74

Author(s):

Fabrizio Genovese ◽

David I. Spivak

Keyword(s):

Petri Nets ◽

Categorical Semantics

Download Full-text

Multilevel Typed Graph Transformations

Graph Transformation - Lecture Notes in Computer Science ◽

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

2020 ◽

pp. 163-182

Author(s):

Uwe Wolter ◽

Fernando Macías ◽

Adrian Rutle

Keyword(s):

Graph Transformations

Download Full-text

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-51372-6_15 ◽

2020 ◽

pp. 257-275

Author(s):

Sven Schneider ◽

Johannes Dyck ◽

Holger Giese

Keyword(s):

Formal Verification ◽

Graph Transformation ◽

Attributed Graph ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Initial Conflicts for Transformation Rules with Nested Application Conditions

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-51372-6_7 ◽

2020 ◽

pp. 109-127

Author(s):

Leen Lambers ◽

Fernando Orejas

Keyword(s):

Transformation Rules

Download Full-text

Single Pushout Rewriting in Comprehensive Systems

Graph Transformation - Lecture Notes in Computer Science ◽

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

2020 ◽

pp. 91-108

Author(s):

Harald König ◽

Patrick Stünkel

Download Full-text

Algebras for Tree Decomposable Graphs

Graph Transformation - Lecture Notes in Computer Science ◽

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

2020 ◽

pp. 203-220

Author(s):

Roberto Bruni ◽

Ugo Montanari ◽

Matteo Sammartino

Keyword(s):

Decomposable Graphs

Download Full-text

Confluence up to Garbage

Graph Transformation - Lecture Notes in Computer Science ◽

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

2020 ◽

pp. 20-37

Author(s):

Graham Campbell ◽

Detlef Plump

Download Full-text

Hypergraph Basic Categorial Grammars

Graph Transformation - Lecture Notes in Computer Science ◽

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

2020 ◽

pp. 146-162 ◽

Cited By ~ 1

Author(s):

Tikhon Pshenitsyn

Keyword(s):

Categorial Grammars

Download Full-text

Graph Transformation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Conditional Bigraphs

Multiscale Graph Grammars Can Generate Cayley Graphs of Groups and Monoids

A Categorical Semantics for Guarded Petri Nets

Multilevel Typed Graph Transformations

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions

Initial Conflicts for Transformation Rules with Nested Application Conditions

Single Pushout Rewriting in Comprehensive Systems

Algebras for Tree Decomposable Graphs

Confluence up to Garbage

Hypergraph Basic Categorial Grammars

Graph Transformation - Lecture Notes in Computer Science
Latest Publications