Fei Xie

	2011
75		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: Formalizing hardware/software interface specifications. ASE 2011: 143-152
74		Fei Xie, Avin Jamadagni, Zhili Hao: A novel piezoelectric device with dual functions of studying biological soft tissues. BMEI 2011: 2360-2364
73		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin: Model Checking Büchi Pushdown Systems. FASE 2011: 141-155
72		Fei Xie, Kien A. Hua: Sharing Online Video Streams in Wireless Mesh Access Networks. GLOBECOM 2011: 1-6
71		Jiajia Feng, Fei Xie, Xuegang Hu, Pei-Pei Li, Jie Cao, Xindong Wu: Keyword extraction based on sequential pattern mining. ICIMCS 2011: 34-38
70		Xindong Wu, Fei Xie, Gong-Qing Wu, Wei Ding: Personalized News Filtering and Summarization on the Web. ICTAI 2011: 414-421
69		Fei Xie: Architecture strategy of personalized information environment. iConference 2011: 841
68		Fuyu Liu, Kien A. Hua, Fei Xie: A hybrid communication solution to distributed moving query monitoring systems. Electronic Commerce Research and Applications 10(2): 214-226 (2011)
67		Guowu Yang, Fei Xie, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski: Realization and synthesis of reversible functions. Theor. Comput. Sci. 412(17): 1606-1613 (2011)
66		Fei Xie, Kien A. Hua, Ning Jiang, Yao Hua Ho: Study of Patching-based and Caching-based video-on-demand in multi-hop WiMax mesh networks. Wireless Communications and Mobile Computing 11(3): 357-370 (2011)
	2010
65		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin: Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. CAV 2010: 339-353
64		Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang: Optimizing equivalence checking for behavioral synthesis. DATE 2010: 1500-1505
63		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE 2010: 248-262
62		Haiping Wang, Fei Xie, Xuegang Hu, Pei-Pei Li, Xindong Wu: Pattern Matching with Flexible Wildcards and Recurring Characters. GrC 2010: 782-786
61		Fei Xie, Xindong Wu, Xuegang Hu, Jun Gao, Dan Guo, Yulian Fei, Ertian Hua: Sequential Pattern Mining with Wildcards. ICTAI (1) 2010: 241-247
60		Fei Xie, Xindong Wu, Xuegang Hu: Keyphrase extraction based on semantic relatedness. IEEE ICCI 2010: 308-312
59		Kien A. Hua, Fei Xie: A Dynamic Stream Merging Technique for Video-on-Demand Services over Wireless Mesh Access Networks. SECON 2010: 208-216
58		Xindong Wu, Gong-Qing Wu, Fei Xie, Zhu Zhu, Xuegang Hu, Hao Lu, Huiqian Li: News Filtering and Summarization on the Web. IEEE Intelligent Systems 25(5): 68-76 (2010)
57		Fei Xie, Kien A. Hua, Ning Jiang: Optimizing Patching-based multicast for video-on-demand in wireless mesh networks. Int. J. Communication Systems 23(9-10): 1057-1077 (2010)
56		Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu: Embedded architecture description language. Journal of Systems and Software 83(2): 235-252 (2010)
	2009
55		Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang: Formal Verification for High-Assurance Behavioral Synthesis. ATVA 2009: 337-351
54		Nicholas T. Pilkington, Juncao Li, Fei Xie: ESIDE: An Integrated Development Environment for Component-Based Embedded Systems. COMPSAC (1) 2009: 305-314
53		Yongming Huang, Xindong Wu, Xuegang Hu, Fei Xie, Jun Gao, Gong-Qing Wu: Mining Frequent Patterns with Gaps and One-Off Condition. CSE (1) 2009: 180-186
52		Kecheng Hao, Fei Xie: Componentizing hardware/software interface design. DATE 2009: 232-237
51		Yan Sun, Cheng Wang, Fei Xie: Method for Joining Intersected Contour Lines Intelligently. IFITA (3) 2009: 469-471
50		Rui Peng, Kien A. Hua, Hao Cheng, Fei Xie: An Internet Framework for Pervasive Sensor Computing. IJAPUC 1(3): 1-22 (2009)
49		Yao Hua Ho, Ai Hua Ho, Kien A. Hua, Fei Xie: Cooperation Enforcement in a Highly Dynamic Mobile Ad Hoc Network. J. UCS 15(5): 1090-1118 (2009)
	2008
48		Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu: Embedded Architecture Description Language. COMPSAC 2008: 36-43
47		Yan Chen, Fei Xie, Jin Yang: Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. DAC 2008: 143-148
46		Honguk Woo, Jianliang Yi, James C. Browne, Aloysius K. Mok, Ella Atkins, Fei Xie: Design and Development Methodology for Resilient Cyber-Physical Systems. ICDCS Workshops 2008: 525-528
45		Xinghua Li, Xindong Wu, Xuegang Hu, Fei Xie, Zhaozhong Jiang: Keyword Extraction Based on Lexical Chains and Word Co-occurrence for Chinese News Web Pages. ICDM Workshops 2008: 744-751
44		Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song: Component-Based Abstraction and Refinement. ICSR 2008: 39-51
43		Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee: Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 137-146
42		Hao Cheng, Yao Hua Ho, Kien A. Hua, Danzhou Liu, Fei Xie, Ynn-Pyng Tsaur: A Service-Oriented Approach to Storage Backup. IEEE SCC (2) 2008: 413-421
41		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
40		Fuyu Liu, Kien A. Hua, Fei Xie: On Reducing Communication Cost for Distributed Moving Query Monitoring Systems. MDM 2008: 156-164
39		Yao Hua Ho, Kien A. Hua, Ning Jiang, Fei Xie: Dynamic Route Diversion in Connectionless Mobile Ad Hoc Networks. NAS 2008: 53-61
38		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
37		Fei Xie, Huaiyu Liu: Unified Property Specification for Hardware/Software Co-Verification. COMPSAC (1) 2007: 483-490
36		Ping Hang Cheung, Kecheng Hao, Fei Xie: Component-Based Hardware/Software Co-Simulation. DSD 2007: 265-270
35		Juncao Li, Fei Xie, Huaiyu Liu: Guiding Component-Based Hardware/Software Co-Verification with Patterns. EUROMICRO-SEAA 2007: 67-74
34		Yan Chen, Yujing He, Fei Xie, Jin Yang: Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD 2007: 111-118
33		Fei Xie, Kien A. Hua, Ning Jiang: Achieving True Video-on-Demand Service in Multi-Hop WiMax Mesh Networks. LCN 2007: 287-294
32		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
31		Wenjing Wang, Fei Xie, Mainak Chatterjee: TOPO: Routing in Large Scale Vehicular Networks. VTC Fall 2007: 2106-2110
30		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
29		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)
28		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
27		Fei Xie, Guowu Yang, Xiaoyu Song: Compositional Reasoning for Hardware/Software Co-verification. ATVA 2006: 154-169
26		Fei Xie, James C. Browne: Verification of Component-Based Software Application Families. CBSE 2006: 50-66
25		Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski: Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. CIAA 2006: 279-280
24		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
23		Wenjing Wang, Fei Xie, Mainak Chatterjee: Routing Performance in CDMA-based Sensor Networks for Different Energy Metrics. LCN 2006: 664-671
22		Fei Xie, Guowu Yang, Xiaoyu Song: Component-based hardware/software co-verification. MEMOCODE 2006: 27-36
21		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
20		Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie: Maximal Models of Assertion Graph in GSTE. TAMC 2006: 684-693
	2005
19		Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie: A Theoretical Upper Bound for IP-Based Floorplanning. COCOON 2005: 411-419
18		Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi: Translation-based co-verification. MEMOCODE 2005: 111-120
17		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
16		Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini: Semantic Analysis and Synthesis of Complex Biological Systems. BIBE 2004: 600-610
15		Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338
14		Thomas Ball, Vladimir Levin, Fei Xie: Automatic Creation of Environment Models via Training. TACAS 2004: 93-107
13		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
12		Fei Xie, James C. Browne: Verified systems by composition from verified components. ESEC / SIGSOFT FSE 2003: 277-286
11		Fei Xie, James C. Browne, Robert P. Kurshan: Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599
	2002
10		Fei Xie, Vladimir Levin, James C. Browne: ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. FASE 2002: 331-335
9		Fei Xie, James C. Browne: Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. FASE 2002: 64-79
8		George T. Wang, Fei Xie, F. Tsunoda, H. Maezawa, Akira K. Onoma: Web Search with Personalization and Knowledge. ISMSE 2002: 90-97
7		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
6		Fei Xie, Vladimir Levin, James C. Browne: Model Checking for an Executable Subset of UML. ASE 2001: 333-336
	1997
5		Stefaan Van Gerven, Fei Xie: A comparative study of speech detection methods. EUROSPEECH 1997
	1996
4		Tom Claes, Fei Xie, Dirk Van Compernolle: Spectral estimation and normalisation for robust speech recognition. ICSLP 1996
3		Fei Xie, Dirk Van Compernolle: Speech enhancement by spectral magnitude estimation - A unifying approach. Speech Communication 19(2): 89-104 (1996)
	1993
2		Fei Xie, Dirk Van Compernolle: Speech enhancement by nonlinear spectral estimation - a unifying approach. EUROSPEECH 1993
	1990
1		Dirk Van Compernolle, Weiye Ma, Fei Xie, Marc Van Diest: Speech recognition in noisy environments with the aid of microphone arrays. Speech Communication 9(5-6): 433-442 (1990)

Coauthor Index

1	Ella Atkins	[43] [46]
2	Thomas Ball	[14] [63] [65] [73] [75]
3	Peng Bi	[7]
4	James C. Browne	[6] [9] [10] [11] [12] [13] [15] [26] [43] [46]
5	Jie Cao	[71]
6	Mainak Chatterjee	[23] [31]
7	Yan Chen	[34] [47] [55]
8	Hao Cheng	[42] [50]
9	Ping Hang Cheung	[36]
10	Haera Chung	[18]
11	Tom Claes	[4]
12	Dirk Van Compernolle	[1] [2] [3] [4]
13	Vittorio Cristini	[16] [17]
14	Donghua Deng	[24]
15	Marc Van Diest	[1]
16	Wei Ding	[70]
17	Yulian Fei	[61]
18	Jiajia Feng	[71]
19	Jun Gao	[53] [61]
20	Stefaan Van Gerven	[5]
21	Haitao Gong	[24]
22	Dan Guo	[61]
23	Kecheng Hao	[36] [52] [55] [64]
24	Zhili Hao	[74]
25	Yujing He	[34]
26	Ai Hua Ho	[49]
27	Yao Hua Ho	[30] [32] [39] [42] [49] [66]
28	Jicheng Hu	[24]
29	Xuegang Hu	[41] [45] [53] [58] [60] [61] [62] [71]
30	Ertian Hua	[61]
31	Kien A. Hua	[30] [32] [33] [38] [39] [40] [42] [49] [50] [57] [59] [66] [68] [72]
32	Yongming Huang	[53]
33	William N. N. Hung	[21] [67]
34	Chihiro Ishii	[29]
35	Avin Jamadagni	[74]
36	Ning Jiang	[32] [33] [38] [39] [57] [66]
37	Zhaozhong Jiang	[45]
38	Kenichi Kaneko	[29]
39	Atsushi Kitazawa	[29]
40	Robert P. Kurshan	[11] [13] [15]
41	Arthur Lander	[16] [17]
42	Chan-Gun Lee	[43]
43	Vladimir Levin	[6] [10] [13] [14] [15] [63] [65] [73] [75]
44	Huiqian Li	[58]
45	Juncao Li	[35] [44] [48] [54] [56] [63] [65] [73] [75]
46	Pei-Pei Li	[62] [71]
47	Xinghua Li	[45]
48	Danzhou Liu	[42]
49	Fuyu Liu	[40] [68]
50	Huaiyu Liu	[35] [37]
51	Qiang Liu	[48] [56]
52	Hao Lu	[58]
53	Weiye Ma	[1]
54	H. Maezawa	[8]
55	Con McGarvey	[63] [75]
56	Aloysius K. Mok	[43] [46]
57	Ranajoy Nandi	[18]
58	Akira K. Onoma	[8]
59	Rui Peng	[50]
60	Marek A. Perkowski	[21] [25] [67]
61	Nicholas T. Pilkington	[48] [54] [56]
62	Sandip Ray	[55] [64]
63	Natasha Sharygina	[13]
64	Phillip C.-Y. Sheu (Phillip Chen-Yu Sheu)	[16] [17] [24] [29]
65	Xiaoyu Song	[18] [19] [20] [21] [22] [25] [27] [28] [44] [67]
66	Xiuli Sun	[44]
67	Yan Lindsay Sun (Yan Sun)	[51]
68	Ynn-Pyng Tsaur	[42]
69	F. Tsunoda	[8]
70	Cheng Wang	[51]
71	Dingxing Wang	[7]
72	Fei-Yue Wang	[41]
73	George T. Wang	[8] [24]
74	Haiping Wang	[62]
75	Shu Wang	[24]
76	Wenjing Wang	[23] [30] [31]
77	Honguk Woo	[43] [46]
78	Gong-Qing Wu	[53] [58] [70]
79	Xindong Wu	[41] [45] [53] [58] [60] [61] [62] [70] [71]
80	Guangwen Yang	[7]
81	Guowu Yang	[19] [20] [21] [22] [25] [27] [28] [67]
82	Hannah Honghua Yang (Honghua Yang)	[19]
83	Jin Yang	[20] [34] [47] [55] [64]
84	Jianliang Yi	[43] [46]
85	Zhu Zhu	[58]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page