Graph Transformation, Specifications, and Nets - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319753959, 9783319753966
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Graph Operations and Free Graph Algebras

2018 ◽  
pp. 313-331 ◽  
Author(s):  
Uwe Wolter ◽  
Zinovy Diskin ◽  
Harald König
Keyword(s):  
Graph Algebras ◽  
Free Graph ◽  
Graph Operations

The Verigraph System for Graph Transformation

2018 ◽  
pp. 160-178 ◽  
Author(s):  
Guilherme Grochau Azzi ◽  
Jonas Santos Bezerra ◽  
Leila Ribeiro ◽  
Andrei Costa ◽  
Leonardo Marques Rodrigues ◽  
...  
Keyword(s):  
Graph Transformation

Initial Conflicts and Dependencies: Critical Pairs Revisited

2018 ◽  
pp. 105-123 ◽  
Author(s):  
Leen Lambers ◽  
Kristopher Born ◽  
Fernando Orejas ◽  
Daniel Strüber ◽  
Gabriele Taentzer
Keyword(s):  
Critical Pairs

scholarly journals Graph Attribution Through Sub-Graphs

2018 ◽  
pp. 245-265 ◽  
Author(s):  
Harmen Kastenberg ◽  
Arend Rensink

Overview of Reconfigurable Petri Nets

2018 ◽  
pp. 201-222 ◽  
Author(s):  
Julia Padberg ◽  
Laid Kahloul
Keyword(s):  
Petri Nets

scholarly journals Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models

2018 ◽  
pp. 285-312 ◽  
Author(s):  
Dániel Varró ◽  
Oszkár Semeráth ◽  
Gábor Szárnyas ◽  
Ákos Horváth
Keyword(s):  
Graph Models ◽  
Automated Generation

scholarly journals Towards a Navigational Logic for Graphical Structures

2018 ◽  
pp. 124-141 ◽  
Author(s):  
Leen Lambers ◽  
Marisa Navarro ◽  
Fernando Orejas ◽  
Elvira Pino

Multi-view Consistency in UML: A Survey

2018 ◽  
pp. 37-60 ◽  
Author(s):  
Alexander Knapp ◽  
Till Mossakowski

scholarly journals On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches

2018 ◽  
pp. 1-18 ◽  
Author(s):  
Andrea Corradini ◽  
Dominique Duval ◽  
Michael Löwe ◽  
Leila Ribeiro ◽  
Rodrigo Machado ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document