Graph Transformation, Specifications, and Nets

Keyphrases

Publications

2018

Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado
The Verigraph System for Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink
A Tutorial on Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Detlef Plump
Modular Termination of Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. Graph Transformation, Specifications, and Nets (2018)
Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Graph Transformation, Specifications, and Nets (2018)
Uwe Wolter, Zinovy Diskin, Harald König
Graph Operations and Free Graph Algebras. Graph Transformation, Specifications, and Nets (2018)
Annegret Habel, Christian Sandmann, Tilman Teusch
Integration of Graph Constraints into Graph Grammars. Graph Transformation, Specifications, and Nets (2018)
Harmen Kastenberg, Arend Rensink
Graph Attribution Through Sub-Graphs. Graph Transformation, Specifications, and Nets (2018)
Donald Sannella, Andrzej Tarlecki
On Normal Forms for Structured Specifications with Generating Constraints. Graph Transformation, Specifications, and Nets (2018)
Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe
Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach. Graph Transformation, Specifications, and Nets (2018)
Alexander Knapp, Till Mossakowski
Multi-view Consistency in UML: A Survey. Graph Transformation, Specifications, and Nets (2018)
Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye
A Simple Notion of Parallel Graph Transformation and Its Perspectives. Graph Transformation, Specifications, and Nets (2018)
Michael Löwe
Model Transformations as Free Constructions. Graph Transformation, Specifications, and Nets (2018)
Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino
Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets (2018)
Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer
Initial Conflicts and Dependencies: Critical Pairs Revisited. Graph Transformation, Specifications, and Nets (2018)
Julia Padberg, Laïd Kahloul
Overview of Reconfigurable Petri Nets. Graph Transformation, Specifications, and Nets (2018)
John L. Pfaltz
A Category of "Undirected Graphs" - A Tribute to Hartmut Ehrig. Graph Transformation, Specifications, and Nets (2018)

volume 10800, 2018

Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig Graph Transformation, Specifications, and Nets 10800 (2018)