Anton Wijs, Dragan Bošnački, Stefan Edelkamp
Proceedings First Workshop on GRAPH Inspection and Traversal Engineering
GRAPHITE, 2012.

@proceedings{GRAPHITE-2012,
	address       = "Tallinn, Estonia",
	doi           = "10.4204/EPTCS.99",
	editor        = "Anton Wijs and Dragan Bošnački and Stefan Edelkamp",
	series        = "{EPTCS}",
	title         = "{Proceedings First Workshop on GRAPH Inspection and Traversal Engineering}",
	volume        = 99,
	year          = 2012,
}

Contents (5 items)

2 ×#graph

GRAPHITE-2012-BeckmannFKM #analysis #graph

A structural analysis of the A5/1 state transition graph (AB, JF, JK, UM), pp. 5–19.

GRAPHITE-2012-Cormie-Bowins #comparison #gpu #implementation #reachability

A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities (ECB), pp. 20–34.

GRAPHITE-2012-ZambonR #graph

Graph Subsumption in Abstract State Space Exploration (EZ, AR), pp. 35–49.

GRAPHITE-2012-KantP #equation #game studies #performance

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.

GRAPHITE-2012-EdelkampKT #clustering #named

Lex-Partitioning: A New Option for BDD Search (SE, PK, ÁT), pp. 66–82.