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 × France
1 × Taiwan
Collaborated with:
Y.Cheng H.Wang
Talks about:
composit (2) analysi (2) scalabl (1) bisimul (1) branch (1) minim (1) arcat (1) tool (1) suit (1) fli (1)

Person: Yu-Ru Cheng

DBLP DBLP: Cheng:Yu=Ru

Contributed to:

CIAA 20062006
SAC 20062006

Wrote 2 papers:

CIAA-2006-ChengWC #analysis #bisimulation #branch #composition #on the fly
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis (YPC, HYW, YRC), pp. 219–229.
SAC-2006-ChengCW #analysis #composition #named #scalability
ARCATS: a scalable compositional analysis tool suite (YPC, YRC, HYW), pp. 1852–1853.

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.