Haiming Chen

	2012
28		Haiming Chen, Sheng Yu: Derivatives of Regular Expressions and an Application. Computation, Physics and Beyond 2012: 343-356
	2011
27		Haiming Chen, Ping Lu: Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models. APWeb 2011: 301-312
26		Lixiao Zheng, Haiming Chen: Determinacy and rewriting of conjunctive queries over unary database schemas. SAC 2011: 1039-1044
25		Jingjing Zhang, Rui Wang, Shilong Lu, Jibing Gong, Ze Zhao, Haiming Chen, Li Cui, Nanyue Wang, Youhua Yu: EasiCPRS: design and implementation of a portable Chinese pulse-wave retrieval system. SenSys 2011: 149-161
24		Zhiwu Xu, Lixiao Zheng, Haiming Chen: A Toolkit for Generating Sentences from Context-Free Grammars. Int. J. Software and Informatics 5(4): 659-676 (2011)
	2010
23		Lei Chen, Haiming Chen: Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. ICTAC 2010: 45-59
22		Dong Li, Ze Zhao, Li Cui, He Zhu, Le Zhang, ZhaoLiang Zhang, Yi Wang, Haiming Chen: The design and implementation of a surveillance and self-driven cleanup system for blue-green algae blooms on Lake Tai. MASS 2010: 759-761
21		Zhiwu Xu, Lixiao Zheng, Haiming Chen: A Toolkit for Generating Sentences from Context-Free Grammars. SEFM 2010: 118-122
	2009
20		Lixiao Zheng, Haiming Chen: A Systematic Framework for Grammar Testing. ACIS-ICIS 2009: 1013-1019
19		Haiming Chen, Li Cui, Victor O. K. Li: A Joint Design of Opportunistic Forwarding and Energy-Efficient MAC Protocol in Wireless Sensor Networks. GLOBECOM 2009: 1-6
18		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)
17		Haiming Chen, Li Cui, Changcheng Huang, He Zhu: EasiSim: A Scalable Simulator for Wireless Sensor Networks. Wireless Sensor Network 1(5): 467-474 (2009)
	2008
16		Haiming Chen, Lei Chen: Inclusion Test Algorithms for One-Unambiguous Regular Expressions. ICTAC 2008: 96-110
15		Lei Chen, Haiming Chen: Efficient Type Checking for a Subclass of Regular Expression Types. ICYCS 2008: 1647-1652
14		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)
13		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)
12		Linfang Dong, Yantai Shu, Haiming Chen, Maode Ma: Packet delay analysis on IEEE 802.11 DCF under finite load traffic in multi-hop ad hoc networks. Science in China Series F: Information Sciences 51(4): 408-416 (2008)
	2007
11		Yi Hu, Xiang-Yang Li, Haiming Chen, Xiaohua Jia: Distributed Call Admission Protocol for Multi-Channel Multi-Radio Wireless Networks. GLOBECOM 2007: 2509-2513
10		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
9		Haiming Chen, Mihai Ionescu, Andrei Paun, Gheorghe Paun, Bianca Popa: On Trace Languages Generated by (Small) Spiking Neural P Systems. DCFS 2006: 94-105
8		Xiang-Yang Li, Haiming Chen, Yantai Shu, Xiaowen Chu, Yanwei Wu: Energy Efficient Routing With Unreliable Links in Wireless Networks. MASS 2006: 160-169
7		Haiming Chen, Yunmei Dong: Towards Practical Computable Functions on Context-Free Languages. TAMC 2006: 555-565
6		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
5		Haiming Chen, Yunmei Dong: Practical Type Checking of Functions Defined on Context-Free Languages. J. Comput. Sci. Technol. 19(6): 840-847 (2004)
	2002
4		Haiming Chen, Yunmei Dong: Yet another meta-language for programming language processing. SIGPLAN Notices 37(6): 28-37 (2002)
	2001
3		Haiming Chen, Yunmei Dong: Pattern Matching Compilation of Functions Defined in Context-Free Languages. J. Comput. Sci. Technol. 16(2): 159-167 (2001)
	1999
2		Haiming Chen: Function Definition Language FDL and its implementation. J. Comput. Sci. Technol. 14(4): 414-421 (1999)
	1998
1		Haiming Chen: Combining CFG and Recursive Functions to Get a New Language. ICFP 1998: 351

Coauthor Index

1	Lei Chen	[15] [16] [23]
2	Xiaowen Chu	[8] [18]
3	Li Cui	[17] [19] [22] [25]
4	Linfang Dong	[12]
5	Yunmei Dong	[3] [4] [5] [6] [7]
6	Rudolf Freund	[10]
7	Jibing Gong	[25]
8	Yi Hu	[11]
9	Changcheng Huang	[17]
10	Mihai Ionescu (Armand-Mihai Ionescu)	[9] [10] [13]
11	Tseren-Onolt Ishdorj	[13]
12	Xiaohua Jia	[11]
13	Dong Li	[22]
14	Victor O. K. Li	[19]
15	Xiang-Yang Li	[8] [11] [18]
16	Ping Lu	[27]
17	Shilong Lu	[25]
18	Maode Ma	[12]
19	Andrei Paun	[9] [13]
20	Gheorghe Paun	[9] [10] [13]
21	Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez)	[10] [13]
22	Bianca Popa	[9]
23	Yong Qi	[18]
24	Yi-Dong Shen	[14]
25	Yantai Shu	[8] [12]
26	Hongan Wang	[14]
27	Nanyue Wang	[25]
28	Yi Wang	[22]
29	Yongji Wang	[14]
30	Yu Wang	[18]
31	Rui Wang	[25]
32	Enhua Wu	[14]
33	Yanwei Wu	[8] [18]
34	Zhiwu Xu	[21] [24]
35	Sheng Yu	[28]
36	Youhua Yu	[25]
37	Naijun Zhan	[14]
38	Jingjing Zhang	[25]
39	Le Zhang	[22]
40	Wenhui Zhang	[14]
41	Yunquan Zhang	[14]
42	ZhaoLiang Zhang	[22]
43	Jian Zhang	[14]
44	Ze Zhao	[22] [25]
45	Lixiao Zheng	[20] [21] [24] [26]
46	He Zhu	[17] [22]
47	Xueyang Zhu	[14]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page