GaM

Keyphrases

Publications

2015

Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. GaM (2015)
Géza Kulcsár, Frederik Deckwerth, Malte Lochau, Gergely Varró, Andy Schürr
Improved Conflict Detection for Graph Transformation with Attributes. GaM (2015)
Jason Vallet, Hélène Kirchner, Bruno Pinaud, Guy Melançon
A Visual Analytics Approach to Compare Propagation Models in Social Networks. GaM (2015)
Marwan Radwan, Reiko Heckel
Detecting and Refactoring Operational Smells within the Domain Name System. GaM (2015)
Christopher Bak, Glyn Faulkner, Detlef Plump, Colin Runciman
A Reference Interpreter for the Graph Programming Language GP 2. GaM (2015)
Anton Wijs
Confluence Detection for Transformations of Labelled Transition Systems. GaM (2015)
Aleks Kissinger, Vladimir Zamdzhiev
!-graphs with trivial overlap are context-free. GaM (2015)
Luc Moreau
Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs. GaM (2015)
Nicklas Hoch, Ugo Montanari, Matteo Sammartino
Dynamic Programming on Nominal Graphs. GaM (2015)