Lecture Notes in Computer Science - Graph Transformations
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642159275, 9783642159282

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 1

Author(s):

Fawad Qayum

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

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 ◽

Cited By ~ 4

Author(s):

Barbara König ◽

Javier Esparza

Keyword(s):

Graph Transformation ◽

Transformation Systems ◽

Graph Transformation Systems ◽

Context Free

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 ◽

Cited By ~ 2

Author(s):

Victor Khomenko

Keyword(s):

New Type

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 ◽

Cited By ~ 16

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 ◽

Cited By ~ 7

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 ◽

Cited By ~ 7

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 9

Author(s):

Antoine Spicher ◽

Olivier Michel ◽

Jean-Louis Giavitto

Download Full-text

Lecture Notes in Computer Science - Graph TransformationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

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

Verification of Graph Transformation Systems with Context-Free Specifications

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

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

Bisimulation Theory for Graph Transformation Systems

Hereditary Pushouts Reconsidered

A Component Concept for Typed Graphs with Inheritance and Containment Structures

A Hoare Calculus for Graph Programs

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

Declarative Mesh Subdivision Using Topological Rewriting in MGS

Lecture Notes in Computer Science - Graph Transformations
Latest Publications