Fei He

	2009
30		Fei He, Yoshiaki Fukazawa: User-oriented Preparative Treatments for Requirements Engineering. Software Engineering Research and Practice 2009: 374-378
29		Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun: Heuristic-Guided Abstraction Refinement. Comput. J. 52(3): 280-287 (2009)
	2008
28		Yaxuan Qi, Zongwei Zhou, Baohua Yang, Fei He, Yibo Xue, Jun Li: Towards effective network algorithms on multi-core network processors. ANCS 2008: 125-126
27		Bo Xu, Yaxuan Qi, Fei He, Zongwei Zhou, Yibo Xue, Jun Li: Fast Path Session Creation on Network Processors. ICDCS 2008: 573-580
26		Yunqing Rao, Fei He, Xinyu Shao, Chaoyong Zhang: On-Line Simulation for Shop Floor Control in Manufacturing Execution System. ICIRA (2) 2008: 141-150
25		Fei He, Martin Brown, Hong Yue, Lam Fat Yeung: Robust experimental design and feature selection in signal transduction pathway modeling. IJCNN 2008: 1544-1551
24		Fei He, Martin Brown, Lam Fat Yeung: On the complexity - sensitivity trade-off for the NF-kappaB pathway modeling. IJCNN 2008: 3933-3940
23		Martin Brown, Fei He, Lam Fat Yeung: Robust measurement selection for biochemical pathway experimental design. IJBRA 4(4): 400-416 (2008)
	2007
22		Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun: Effective heuristics for counterexample-guided abstraction refinement. ACM Great Lakes Symposium on VLSI 2007: 393-398
21		Yaxuan Qi, Bo Xu, Fei He, Baohua Yang, Jianming Yu, Jun Li: Towards high-performance flow-level packet processing on multi-core network processors. ANCS 2007: 17-26
20		Zhipeng Tan, Dan Feng, Fei He, Ke Zhou: Studying of Multi-dimensional Based Replica Management in Object Storage System. EUC Workshops 2007: 341-354
19		Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
18		Yaxuan Qi, Bo Xu, Fei He, Xin Zhou, Jianming Yu, Jun Li: Towards Optimized Packet Classification Algorithms for Multi-Core Network Processors. ICPP 2007: 2
17		Lam Fat Yeung, Martin Brown, Fei He: Discrete-Time Model Representations for Biochemical Pathway Modeling. IMECS 2007: 267-272
16		Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He: A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Trans. Design Autom. Electr. Syst. 12(4): (2007)
	2006
15		Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun: A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA 2006: 39-50
14		Anduo Wang, Fei He, Ming Gu, Xiaoyu Song: Verifying Java Programs By Theorem Prover HOL. COMPSAC (1) 2006: 139-142
13		Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang: Congestion estimation for hexagonal routing. Int. J. Comput. Math. 83(3): 263-272 (2006)
	2005
12		Chengwan He, Fei He, Keqing He, Jin Liu, Wenjie Tu: RoleOf Relationship and Its Meta Model for Design Pattern Instantiation. ADMA 2005: 642-653
11		Bin Liu, Deyi Li, Jin Liu, Fei He: Classifying Class and Finding Community in UML Metamodel Network. ADMA 2005: 690-695
10		Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu: Research on Semantic-Based Web Services Registry Federation. GCC 2005: 202-207
9		Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun: Segmented channel routing with pin rearrangements via satisfiability. ISCAS (6) 2005: 6248-6251
8		Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun: A Hierachical Method for Wiring and Congestion Prediction. ISVLSI 2005: 307-308
7		Chengwan He, Keqing He, Fei He, Feng Yao, Jin Liu: Using RoleOf Relationship in Design Pattern Instantiation. ITCC (2) 2005: 353-358
6		Jin Liu, Keqing He, Bing Li, Fei He: A Perspective of Fusing Ontology and Metamodeling Architecture in Interconnection Environment. SKG 2005: 6
5		Yangfan He, Keqing He, Chong Wang, Fei He: Metamodel Framework for Ontology Registration (MMF4Ontology Registration) for Semantic Interoperation. SKG 2005: 84
4		Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng: Probabilistic Estimation for Routing Space. Comput. J. 48(6): 667-676 (2005)
3		Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun: On Theoretical Upper Bounds for Routing Estimation. J. UCS 11(6): 916-925 (2005)
	2004
2		Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song: A comparative study on search strategies for cell assignments. Int. J. Comput. Math. 81(7): 901-908 (2004)
	2001
1		Fei He, Arvin Agah: Multi-Modal Human Interactions with an Intelligent Interface Utilizing Images, Sounds, and Force Feedback. Journal of Intelligent and Robotic Systems 32(2): 171-190 (2001)

Coauthor Index

1	Arvin Agah	[1]
2	Luciano Baresi	[19]
3	Martin Brown	[17] [23] [24] [25]
4	Gang Chen	[16]
5	Lerong Cheng	[3] [4] [8] [13]
6	Dan Feng	[20]
7	Yoshiaki Fukazawa	[30]
8	Carlo Ghezzi	[19]
9	Ming Gu	[2] [3] [4] [8] [9] [13] [14] [15] [22] [29]
10	Chengwan He	[7] [12]
11	Keqing He	[5] [6] [7] [10] [12]
12	Yangfan He	[5]
13	William N. N. Hung	[2] [9]
14	Bing Li	[6] [10]
15	Deyi Li	[11]
16	Jun Li	[18] [21] [27] [28]
17	Bin Liu	[11]
18	Feng Liu	[16]
19	Jin Liu	[6] [7] [10] [11] [12]
20	Wudong Liu	[10]
21	Yaxuan Qi	[18] [21] [27] [28]
22	Yunqing Rao	[26]
23	Xinyu Shao	[26]
24	Xiaoyu Song	[2] [3] [4] [8] [9] [13] [14] [15] [16] [22] [29]
25	Paola Spoletini	[19]
26	Jia-Guang Sun (Jiaguang Sun)	[3] [8] [9] [15] [22] [29]
27	QingPing Tan	[16]
28	Zhipeng Tan	[20]
29	Zhiwei Tang	[4] [8]
30	Wenjie Tu	[12]
31	Anduo Wang	[14]
32	Chong Wang	[5]
33	Bo Xu	[18] [21] [27]
34	Yibo Xue	[27] [28]
35	Baohua Yang	[21] [28]
36	Guowu Yang	[3] [4] [8] [13]
37	Feng Yao	[7]
38	Lam Fat Yeung	[17] [23] [24] [25]
39	Jianming Yu	[18] [21]
40	Hong Yue	[25]
41	Chaoyong Zhang	[26]
42	Ke Zhou	[20]
43	Xin Zhou	[18]
44	Zongwei Zhou	[27] [28]

Colors in the list of coauthors