Proceedings Third Workshop on GRAPH Inspection and Traversal Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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:

Contents (7 items)

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.