Lecture Notes in Computer Science - Graph Transformations
Latest Publications

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642159275, 9783642159282

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification of Graph Transformation Systems with Context-Free Specifications

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_8 ◽

2010 ◽

pp. 107-122 ◽

Author(s):

Barbara König ◽

Javier Esparza

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems ◽

Download Full-text

A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_6 ◽

2010 ◽

pp. 75-90 ◽

Author(s):

Victor Khomenko

Keyword(s):

Download Full-text

Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_32 ◽

2010 ◽

pp. 400-402

Author(s):

Tony Modica

Keyword(s):

Petri Net ◽

Formal Modeling ◽

Modeling And Analysis ◽

Transformation Systems

Download Full-text

Bisimulation Theory for Graph Transformation Systems

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_29 ◽

2010 ◽

pp. 391-393

Author(s):

Mathias Hülsbusch

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Hereditary Pushouts Reconsidered

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_17 ◽

2010 ◽

pp. 250-265 ◽

Author(s):

Tobias Heindel

Download Full-text

A Component Concept for Typed Graphs with Inheritance and Containment Structures

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_13 ◽

2010 ◽

pp. 187-202 ◽

Author(s):

Stefan Jurack ◽

Gabriele Taentzer

Download Full-text

A Hoare Calculus for Graph Programs

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_10 ◽

2010 ◽

pp. 139-154 ◽

Author(s):

Christopher M. Poskitt ◽

Detlef Plump

Download Full-text

How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_2 ◽

2010 ◽

pp. 3-26 ◽

Author(s):

Christoph Brandt ◽

Frank Hermann

Keyword(s):

Graph Transformation ◽

Enterprise Modeling

Download Full-text

Declarative Mesh Subdivision Using Topological Rewriting in MGS

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_20 ◽

2010 ◽

pp. 298-313 ◽

Author(s):

Antoine Spicher ◽

Olivier Michel ◽

Jean-Louis Giavitto

Download Full-text

Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-642-15928-2_34 ◽

2010 ◽

pp. 407-409 ◽

Author(s):

Fawad Qayum

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text