Graph Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319929903, 9783319929910

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Probabilistic Graph Programs for Randomised and Evolutionary Algorithms

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92991-0_5 ◽

2018 ◽

pp. 63-78 ◽

Cited By ~ 4

Author(s):

Timothy Atkinson ◽

Detlef Plump ◽

Susan Stepney

Keyword(s):

Evolutionary Algorithms ◽

Probabilistic Graph

Download Full-text

Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92991-0_1 ◽

2018 ◽

pp. 3-19 ◽

Cited By ~ 3

Author(s):

Hans-Jörg Kreowski ◽

Sabine Kuske ◽

Aaron Lye

Download Full-text

CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92991-0_3 ◽

2018 ◽

pp. 37-42 ◽

Cited By ~ 1

Author(s):

Barbara König ◽

Maxime Nederkorn ◽

Dennis Nolte

Keyword(s):

Smt Solvers

Download Full-text

On the Essence and Initiality of Conflicts

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92991-0_7 ◽

2018 ◽

pp. 99-117 ◽

Cited By ~ 1

Author(s):

Guilherme Grochau Azzi ◽

Andrea Corradini ◽

Leila Ribeiro

Download Full-text

Characterisation of Parallel Independence in AGREE-Rewriting

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92991-0_8 ◽

2018 ◽

pp. 118-133 ◽

Cited By ~ 4

Author(s):

Michael Löwe

Download Full-text

Graph Surfing by Reaction Systems

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92991-0_4 ◽

2018 ◽

pp. 45-62 ◽

Cited By ~ 1

Author(s):

Hans-Jörg Kreowski ◽

Grzegorz Rozenberg

Keyword(s):

Reaction Systems

Download Full-text

Verifying Graph Transformation Systems with Description Logics

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92991-0_10 ◽

2018 ◽

pp. 155-170 ◽

Cited By ~ 2

Author(s):

Jon Haël Brenas ◽

Rachid Echahed ◽

Martin Strecker

Keyword(s):

Graph Transformation ◽

Description Logics ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Equivalence and Independence in Controlled Graph-Rewriting Processes

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92991-0_9 ◽

2018 ◽

pp. 134-151

Author(s):

Géza Kulcsár ◽

Andrea Corradini ◽

Malte Lochau

Keyword(s):

Graph Rewriting

Download Full-text

OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92991-0_11 ◽

2018 ◽

pp. 171-177 ◽

Cited By ~ 4

Author(s):

Nebras Nassar ◽

Jens Kosiol ◽

Thorsten Arendt ◽

Gabriele Taentzer

Keyword(s):

Automatic Translation ◽

Transformation Rules ◽

Graph Constraints

Download Full-text

Graph-Rewriting Petri Nets

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-92991-0_6 ◽

2018 ◽

pp. 79-96

Author(s):

Géza Kulcsár ◽

Malte Lochau ◽

Andy Schürr

Keyword(s):

Petri Nets ◽

Graph Rewriting

Download Full-text

Graph Transformation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Probabilistic Graph Programs for Randomised and Evolutionary Algorithms

Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars

CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers

On the Essence and Initiality of Conflicts

Characterisation of Parallel Independence in AGREE-Rewriting

Graph Surfing by Reaction Systems

Verifying Graph Transformation Systems with Description Logics

Equivalence and Independence in Controlled Graph-Rewriting Processes

OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules

Graph-Rewriting Petri Nets

Graph Transformation - Lecture Notes in Computer Science
Latest Publications