BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
Collaborated with:
B.Khoussainov S.Göller M.Lohrey
Talks about:
structur (1) polynomi (1) parallel (1) equival (1) complex (1) bisimul (1) automat (1) system (1) pariti (1) growth (1)

Person: Moses Ganardi

DBLP DBLP: Ganardi:Moses

Contributed to:

FoSSaCS 20152015
CSL 20162016
CSL 20202020

Wrote 3 papers:

FoSSaCS-2015-Ganardi #bound #clique #game studies
Parity Games of Bounded Tree- and Clique-Width (MG), pp. 390–404.
CSL-2016-GanardiGL #bisimulation #complexity #finite #on the #parallel
On the Parallel Complexity of Bisimulation on Finite Systems (MG, SG, ML), p. 17.
CSL-2020-GanardiK #automation #equivalence #polynomial
Automatic Equivalence Structures of Polynomial Growth (MG, BK), p. 16.

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.