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: Chen:Haiming
Contributed to:
2015
20132012
2011
2010
1998Wrote 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.
- DLT-2013-LuPC
- 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.