Fei He

2007
21	EE	Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun: Effective heuristics for counterexample-guided abstraction refinement. ACM Great Lakes Symposium on VLSI 2007: 393-398
20	EE	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
19	EE	Zhipeng Tan, Dan Feng, Fei He, Ke Zhou: Studying of Multi-dimensional Based Replica Management in Object Storage System. EUC Workshops 2007: 341-354
18	EE	Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262
17	EE	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
16		Lam Fat Yeung, Martin Brown, Fei He: Discrete-Time Model Representations for Biochemical Pathway Modeling. IMECS 2007: 267-272
15	EE	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
14	EE	Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun: A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA 2006: 39-50
13	EE	Anduo Wang, Fei He, Ming Gu, Xiaoyu Song: Verifying Java Programs By Theorem Prover HOL. COMPSAC (1) 2006: 139-142
12	EE	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
11	EE	Chengwan He, Fei He, Keqing He, Jin Liu, Wenjie Tu: RoleOf Relationship and Its Meta Model for Design Pattern Instantiation. ADMA 2005: 642-653
10	EE	Bin Liu, Deyi Li, Jin Liu, Fei He: Classifying Class and Finding Community in UML Metamodel Network. ADMA 2005: 690-695
9	EE	Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu: Research on Semantic-Based Web Services Registry Federation. GCC 2005: 202-207
8	EE	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
7	EE	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
6	EE	Chengwan He, Keqing He, Fei He, Feng Yao, Jin Liu: Using RoleOf Relationship in Design Pattern Instantiation. ITCC (2) 2005: 353-358
5	EE	Jin Liu, Keqing He, Bing Li, Fei He: A Perspective of Fusing Ontology and Metamodeling Architecture in Interconnection Environment. SKG 2005: 6
4	EE	Yangfan He, Keqing He, Chong Wang, Fei He: Metamodel Framework for Ontology Registration (MMF4Ontology Registration) for Semantic Interoperation. SKG 2005: 84
3	EE	Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng: Probabilistic Estimation for Routing Space. Comput. J. 48(6): 667-676 (2005)
2	EE	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
1	EE	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)

Coauthor Index

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

Colors in the list of coauthors