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

Van Kampen Squares for Graph Transformation

2014 ◽  
pp. 222-236
Author(s):  
Harald König ◽  
Michael Löwe ◽  
Christoph Schulz ◽  
Uwe Wolter
Keyword(s):  
Graph Transformation

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

2014 ◽  
pp. 237-252 ◽  
Author(s):  
Hans-Jörg Kreowski ◽  
Sabine Kuske ◽  
Aaron Lye ◽  
Melanie Luderer
Keyword(s):  
Graph Transformation ◽  
Reversible Circuits

scholarly journals Specification and Verification of Graph-Based Model Transformation Properties

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

Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling

2014 ◽  
pp. 269-284 ◽  
Author(s):  
Hakim Belhaouari ◽  
Agnés Arnould ◽  
Pascale Le Gall ◽  
Thomas Bellet
Keyword(s):  
Geometric Modeling ◽  
Graph Transformation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document