2008 |
12 | EE | Haiming Chen,
Lei Chen:
Inclusion Test Algorithms for One-Unambiguous Regular Expressions.
ICTAC 2008: 96-110 |
11 | EE | Lei Chen,
Haiming Chen:
Efficient Type Checking for a Subclass of Regular Expression Types.
ICYCS 2008: 1647-1652 |
10 | EE | 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 | EE | 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 | EE | 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 | EE | Haiming Chen,
Yunmei Dong:
Towards Practical Computable Functions on Context-Free Languages.
TAMC 2006: 555-565 |
5 | EE | 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 | EE | 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 | EE | Haiming Chen,
Yunmei Dong:
Yet another meta-language for programming language processing.
SIGPLAN Notices 37(6): 28-37 (2002) |
2001 |
2 | EE | 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 | EE | Haiming Chen:
Combining CFG and Recursive Functions to Get a New Language.
ICFP 1998: 351 |