Dragan Bošnački, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs
Proceedings Third Workshop on GRAPH Inspection and Traversal Engineering
GRAPHITE, 2014.

@proceedings{GRAPHITE-2014,
	address       = "Grenoble, France",
	doi           = "10.4204/EPTCS.159",
	editor        = "Dragan Bošnački and Stefan Edelkamp and Alberto Lluch-Lafuente and Anton Wijs",
	series        = "{EPTCS}",
	title         = "{Proceedings Third Workshop on GRAPH Inspection and Traversal Engineering}",
	volume        = 159,
	year          = 2014,
}

Event page: http://sysma.imtlucca.it/graphite/

Contents (7 items)

2 ×#analysis

GRAPHITE-2014-KantP #game studies #generative

Generating and Solving Symbolic Parity Games (GK, JvdP), pp. 2–14.

GRAPHITE-2014-FernandezKP #analysis #framework #graph grammar #interactive #modelling

Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework (MF, HK, BP), pp. 15–29.

GRAPHITE-2014-BlancoBM

Entity-Linking via Graph-Distance Minimization (RB, PB, AM), pp. 30–43.

GRAPHITE-2014-DelzannoRT #analysis #protocol

Graph- versus Vector-Based Analysis of a Consensus Protocol (GD, AR, RT), pp. 44–57.

GRAPHITE-2014-ManskyGG #optimisation #parallel #source code #specification

Specifying and Executing Optimizations for Parallel Programs (WM, DG, ELG), pp. 58–70.

GRAPHITE-2014-Ziegert #abstraction #graph transformation

Graph Transformation Planning via Abstraction (SZ), pp. 71–83.

GRAPHITE-2014-SenniS #knowledge base #reduction

Backwards State-space Reduction for Planning in Dynamic Knowledge Bases (VS, MS), pp. 84–99.