Fei Xie

2008
34	EE	Fei Xie, Xindong Wu, Xuegang Hu, Fei-Yue Wang: Keyphrase Extraction from Chinese News Web Pages Based on Semantic Relations. ISI Workshops 2008: 490-495
33	EE	Fuyu Liu, Kien A. Hua, Fei Xie: On Reducing Communication Cost for Distributed Moving Query Monitoring Systems. MDM 2008: 156-164
32	EE	Fei Xie, Kien A. Hua, Ning Jiang: A cross-layer framework for video-on-demand service in multi-hop WiMax mesh networks. Computer Communications 31(8): 1615-1626 (2008)
2007
31	EE	Fei Xie, Huaiyu Liu: Unified Property Specification for Hardware/Software Co-Verification. COMPSAC (1) 2007: 483-490
30	EE	Ping Hang Cheung, Kecheng Hao, Fei Xie: Component-Based Hardware/Software Co-Simulation. DSD 2007: 265-270
29	EE	Juncao Li, Fei Xie, Huaiyu Liu: Guiding Component-Based Hardware/Software Co-Verification with Patterns. EUROMICRO-SEAA 2007: 67-74
28	EE	Yan Chen, Yujing He, Fei Xie, Jin Yang: Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD 2007: 111-118
27	EE	Fei Xie, Kien A. Hua, Ning Jiang: Achieving True Video-on-Demand Service in Multi-Hop WiMax Mesh Networks. LCN 2007: 287-294
26	EE	Fei Xie, Ning Jiang, Yao Hua Ho, Kien A. Hua: Semi-Split TCP: Maintaining End-to-End Semantics for Split TCP. LCN 2007: 303-314
25	EE	Wenjing Wang, Fei Xie, Mainak Chatterjee: TOPO: Routing in Large Scale Vehicular Networks. VTC Fall 2007: 2106-2110
24	EE	Fei Xie, Kien A. Hua, Wenjing Wang, Yao Hua Ho: Performance Study of Live Video Streaming Over Highway Vehicular Ad Hoc Networks. VTC Fall 2007: 2121-2125
23	EE	Phillip C.-Y. Sheu, Atsushi Kitazawa, Chihiro Ishii, Kenichi Kaneko, Fei Xie: From Semanticobjects to Structured Natural Language. Int. J. Semantic Computing 1(3): 359-375 (2007)
22	EE	Fei Xie, Guowu Yang, Xiaoyu Song: Component-based hardware/software co-verification for building trustworthy embedded systems. Journal of Systems and Software 80(5): 643-654 (2007)
2006
21	EE	Fei Xie, Guowu Yang, Xiaoyu Song: Compositional Reasoning for Hardware/Software Co-verification. ATVA 2006: 154-169
20	EE	Fei Xie, James C. Browne: Verification of Component-Based Software Application Families. CBSE 2006: 50-66
19	EE	Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski: Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. CIAA 2006: 279-280
18	EE	Fei Xie, Haitao Gong, Donghua Deng, Shu Wang, George T. Wang, Jicheng Hu, Phillip C.-Y. Sheu: Integrating Semantic Web Services for Declarative Accesses in Natural Language. ISM 2006: 201-208
17	EE	Fei Xie, Guowu Yang, Xiaoyu Song: Component-based hardware/software co-verification. MEMOCODE 2006: 27-36
16	EE	Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski: Group Theory Based Synthesis of Binary Reversible Circuits. TAMC 2006: 365-374
15	EE	Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie: Maximal Models of Assertion Graph in GSTE. TAMC 2006: 684-693
2005
14	EE	Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie: A Theoretical Upper Bound for IP-Based Floorplanning. COCOON 2005: 411-419
13	EE	Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi: Translation-based co-verification. MEMOCODE 2005: 111-120
12	EE	Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini: Semantic Analysis and Synthesis of Complex Biological Systems. International Journal of Software Engineering and Knowledge Engineering 15(3): 547-570 (2005)
2004
11	EE	Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini: Semantic Analysis and Synthesis of Complex Biological Systems. BIBE 2004: 600-610
10	EE	Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338
9	EE	Thomas Ball, Vladimir Levin, Fei Xie: Automatic Creation of Environment Models via Training. TACAS 2004: 93-107
8	EE	Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin: Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods in System Design 25(2-3): 241-270 (2004)
2003
7	EE	Fei Xie, James C. Browne: Verified systems by composition from verified components. ESEC / SIGSOFT FSE 2003: 277-286
6	EE	Fei Xie, James C. Browne, Robert P. Kurshan: Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599
2002
5	EE	Fei Xie, Vladimir Levin, James C. Browne: ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. FASE 2002: 331-335
4	EE	Fei Xie, James C. Browne: Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. FASE 2002: 64-79
3	EE	George T. Wang, Fei Xie, F. Tsunoda, H. Maezawa, Akira K. Onoma: Web Search with Personalization and Knowledge. ISMSE 2002: 90-97
2	EE	Peng Bi, Fei Xie, Guangwen Yang, Dingxing Wang: A multi-protocol cross-domain communication model for metacomputing systems. Operating Systems Review 36(2): 52-63 (2002)
2001
1	EE	Fei Xie, Vladimir Levin, James C. Browne: Model Checking for an Executable Subset of UML. ASE 2001: 333-336

Coauthor Index

1	Thomas Ball	[9]
2	Peng Bi	[2]
3	James C. Browne	[1] [4] [5] [6] [7] [8] [10] [20]
4	Mainak Chatterjee	[25]
5	Yan Chen	[28]
6	Ping Hang Cheung	[30]
7	Haera Chung	[13]
8	Vittorio Cristini	[11] [12]
9	Donghua Deng	[18]
10	Haitao Gong	[18]
11	Kecheng Hao	[30]
12	Yujing He	[28]
13	Yao Hua Ho	[24] [26]
14	Jicheng Hu	[18]
15	Xuegang Hu	[34]
16	Kien A. Hua	[24] [26] [27] [32] [33]
17	William N. N. Hung	[16]
18	Chihiro Ishii	[23]
19	Ning Jiang	[26] [27] [32]
20	Kenichi Kaneko	[23]
21	Atsushi Kitazawa	[23]
22	Robert P. Kurshan	[6] [8] [10]
23	Arthur Lander	[11] [12]
24	Vladimir Levin	[1] [5] [8] [9] [10]
25	Juncao Li	[29]
26	Fuyu Liu	[33]
27	Huaiyu Liu	[29] [31]
28	H. Maezawa	[3]
29	Ranajoy Nandi	[13]
30	Akira K. Onoma	[3]
31	Marek A. Perkowski	[16] [19]
32	Natasha Sharygina	[8]
33	Phillip C.-Y. Sheu (Phillip Chen-Yu Sheu)	[11] [12] [18] [23]
34	Xiaoyu Song	[13] [14] [15] [16] [17] [19] [21] [22]
35	F. Tsunoda	[3]
36	Dingxing Wang	[2]
37	Fei-Yue Wang	[34]
38	George T. Wang	[3] [18]
39	Shu Wang	[18]
40	Wenjing Wang	[24] [25]
41	Xindong Wu	[34]
42	Guangwen Yang	[2]
43	Guowu Yang	[14] [15] [16] [17] [19] [21] [22]
44	Hannah Honghua Yang	[14]
45	Jin Yang	[15] [28]

Colors in the list of coauthors