 | 2009 |
|---|
| 14 |       | Lixiao Zheng,
Haiming Chen:
A Systematic Framework for Grammar Testing.
ACIS-ICIS 2009: 1013-1019 |
| 13 | | Xiang-Yang Li,
Yu Wang,
Haiming Chen,
Xiaowen Chu,
Yanwei Wu,
Yong Qi:
Reliable and Energy-Efficient Routing for Static Wireless Ad Hoc Networks with Unreliable Links.
IEEE Trans. Parallel Distrib. Syst. 20(10): 1408-1421 (2009) |
| 2008 |
|---|
| 12 | | Haiming Chen,
Lei Chen:
Inclusion Test Algorithms for One-Unambiguous Regular Expressions.
ICTAC 2008: 96-110 |
| 11 | | Lei Chen,
Haiming Chen:
Efficient Type Checking for a Subclass of Regular Expression Types.
ICYCS 2008: 1647-1652 |
| 10 | | Jian Zhang,
Wenhui Zhang,
Naijun Zhan,
Yi-Dong Shen,
Haiming Chen,
Yunquan Zhang,
Yongji Wang,
Enhua Wu,
Hongan Wang,
Xueyang Zhu:
Basic research in computer science and software engineering at SKLCS.
Frontiers of Computer Science in China 2(1): 1-11 (2008) |
| 9 | | Haiming Chen,
Mihai Ionescu,
Tseren-Onolt Ishdorj,
Andrei Paun,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
Spiking neural P systems with extended rules: universality and languages.
Natural Computing 7(2): 147-166 (2008) |
| 2007 |
|---|
| 8 | | Yi Hu,
Xiang-Yang Li,
Haiming Chen,
Xiaohua Jia:
Distributed Call Admission Protocol for Multi-Channel Multi-Radio Wireless Networks.
GLOBECOM 2007: 2509-2513 |
| 7 |  | Haiming Chen,
Rudolf Freund,
Mihai Ionescu,
Gheorghe Paun,
Mario J. Pérez-Jiménez:
On String Languages Generated by Spiking Neural P Systems.
Fundam. Inform. 75(1-4): 141-162 (2007) |
| 2006 |
|---|
| 6 | | Haiming Chen,
Yunmei Dong:
Towards Practical Computable Functions on Context-Free Languages.
TAMC 2006: 555-565 |
| 5 | | Haiming Chen,
Yunmei Dong:
Facilitating formal specification acquisition by using recursive functions on context-free languages.
Knowl.-Based Syst. 19(2): 141-151 (2006) |
| 2004 |
|---|
| 4 | | Haiming Chen,
Yunmei Dong:
Practical Type Checking of Functions Defined on Context-Free Languages.
J. Comput. Sci. Technol. 19(6): 840-847 (2004) |
| 2002 |
|---|
| 3 | | Haiming Chen,
Yunmei Dong:
Yet another meta-language for programming language processing.
SIGPLAN Notices 37(6): 28-37 (2002) |
| 2001 |
|---|
| 2 | | Haiming Chen,
Yunmei Dong:
Pattern Matching Compilation of Functions Defined in Context-Free Languages.
J. Comput. Sci. Technol. 16(2): 159-167 (2001) |
| 1998 |
|---|
| 1 | | Haiming Chen:
Combining CFG and Recursive Functions to Get a New Language.
ICFP 1998: 351 |
