Graph Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer International Publishing

9783319091075, 9783319091082

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09108-2_9 ◽

2014 ◽

pp. 130-145 ◽

Author(s):

Anthony Anjorin ◽

Erhan Leblebici ◽

Andy Schürr ◽

Gabriele Taentzer

Keyword(s):

Static Analysis ◽

Model Transformation ◽

Graph Grammars ◽

Triple Graph Grammars

Download Full-text

Attribute Handling for Generating Preconditions from Graph Constraints

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09108-2_6 ◽

2014 ◽

pp. 81-96 ◽

Author(s):

Frederik Deckwerth ◽

Gergely Varró

Keyword(s):

Graph Constraints

Download Full-text

Generating Abstract Graph-Based Procedure Summaries for Pointer Programs

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09108-2_4 ◽

2014 ◽

pp. 49-64 ◽

Author(s):

Christina Jansen ◽

Thomas Noll

Keyword(s):

Download Full-text

Van Kampen Squares for Graph Transformation

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09108-2_15 ◽

2014 ◽

pp. 222-236

Author(s):

Harald König ◽

Michael Löwe ◽

Christoph Schulz ◽

Uwe Wolter

Keyword(s):

Graph Transformation

Download Full-text

The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09108-2_13 ◽

2014 ◽

pp. 192-206 ◽

Author(s):

H. N. de Ridder ◽

N. de Ridder

Keyword(s):

Isomorphism Problem ◽

Subgraph Isomorphism ◽

Hyperedge Replacement

Download Full-text

Tableau-Based Reasoning for Graph Properties

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09108-2_2 ◽

2014 ◽

pp. 17-32 ◽

Author(s):

Leen Lambers ◽

Fernando Orejas

Keyword(s):

Graph Properties

Download Full-text

Towards Process Mining with Graph Transformation Systems

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09108-2_17 ◽

2014 ◽

pp. 253-268 ◽

Author(s):

H. J. Sander Bruggink

Keyword(s):

Process Mining ◽

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Specification and Verification of Graph-Based Model Transformation Properties

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09108-2_8 ◽

2014 ◽

pp. 113-129 ◽

Author(s):

Gehan M. K. Selim ◽

Levi Lúcio ◽

James R. Cordy ◽

Juergen Dingel ◽

Bentley J. Oakes

Keyword(s):

Model Transformation ◽

Specification And Verification ◽

Graph Based Model

Download Full-text

Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09108-2_16 ◽

2014 ◽

pp. 237-252 ◽

Author(s):

Hans-Jörg Kreowski ◽

Sabine Kuske ◽

Aaron Lye ◽

Melanie Luderer

Keyword(s):

Graph Transformation ◽

Reversible Circuits

Download Full-text

Reversible Sesqui-Pushout Rewriting

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09108-2_11 ◽

2014 ◽

pp. 161-176 ◽

Author(s):

Vincent Danos ◽

Tobias Heindel ◽

Ricardo Honorato-Zimmer ◽

Sandro Stucki

Download Full-text