BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × The Netherlands
Collaborated with:
H.J.S.Bruggink B.König D.Engelke M.Friedrich
Talks about:
graph (3) recogniz (2) languag (2) invari (2) check (2) decomposit (1) treewidth (1) pathwidth (1) implement (1) automata (1)

Person: Christoph Blume

DBLP DBLP: Blume:Christoph

Contributed to:

ICGT 20122012
GT-VMT 20112011
GT-VMT 20102010
ICGT 20102010

Wrote 4 papers:

ICGT-2012-BlumeBEK #automaton #graph #implementation #invariant #performance
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.
Treewidth, Pathwidth and Cospan Decompositions (CB, HJSB, MF, BK).
GT-VMT-2010-BlumeBK #graph #invariant
Recognizable Graph Languages for Checking Invariants (CB, HJSB, BK).
ICGT-2010-Blume #graph #verification
Recognizable Graph Languages for the Verification of Dynamic Systems (CB), pp. 384–387.

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.