| 2008 |
|---|
| 8 | 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 |
|---|
| 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 |
