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 × Italy
2 × Taiwan
2 × USA
Collaborated with:
P.Lu L.Zheng F.Peng Z.Xu K.Xie D.Li L.Cui
Talks about:
determin (2) languag (2) unari (2) determinaci (1) internet (1) function (1) conjunct (1) toolkit (1) sentenc (1) regular (1)

Person: Haiming Chen

DBLP DBLP: Chen:Haiming

Contributed to:

SEKE 20152015
DLT 20132013
DLT 20122012
SAC 20112011
SEFM 20102010
ICFP 19981998

Wrote 6 papers:

SEKE-2015-XieCLC #evolution #internet #physics
An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things (KX, HC, DL, LC), pp. 213–216.
Deciding Determinism of Unary Languages Is coNP-Complete (PL, FP, HC), pp. 350–361.
DLT-2012-ChenL #regular expression
Checking Determinism of Regular Expressions with Counting (HC, PL), pp. 332–343.
SAC-2011-ZhengC #database #query
Determinacy and rewriting of conjunctive queries over unary database schemas (LZ, HC), pp. 1039–1044.
SEFM-2010-XuZC #context-free grammar #generative #tool support
A Toolkit for Generating Sentences from Context-Free Grammars (ZX, LZ, HC), pp. 118–122.
ICFP-1998-Haiming #context-free grammar #recursion
Combining CFG and Recursive Functions to Get a New Language (HC), p. 351.

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.