Fei Xie

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
40A hybrid communication solution to distributed moving query monitoring systems. Fuyu Liu, Kien A. Hua, Fei Xie. Electronic Commerce Research and Applications (10): 214-226 (2011). Web SearchBibTeXDownload
39Sharing Online Video Streams in Wireless Mesh Access Networks. Fei Xie, Kien A. Hua. GLOBECOM 2011, 1-6. Web SearchBibTeXDownload
38Keyword extraction based on sequential pattern mining. Jiajia Feng, Fei Xie, Xuegang Hu, Pei-Pei Li, Jie Cao, Xindong Wu. ICIMCS 2011, 34-38. Web SearchBibTeXDownload
37Personalized News Filtering and Summarization on the Web. Xindong Wu, Fei Xie, Gong-Qing Wu, Wei Ding. ICTAI 2011, 414-421. Web SearchBibTeXDownload
36Study of Patching-based and Caching-based video-on-demand in multi-hop WiMax mesh networks. Fei Xie, Kien A. Hua, Ning Jiang, Yao Hua Ho. Wireless Communications and Mobile Computing (11): 357-370 (2011). Web SearchBibTeXDownload
2010
35Pattern Matching with Flexible Wildcards and Recurring Characters. Haiping Wang, Fei Xie, Xuegang Hu, Pei-Pei Li, Xindong Wu. GrC 2010, 782-786. Web SearchBibTeXDownload
34Sequential Pattern Mining with Wildcards. Fei Xie, Xindong Wu, Xuegang Hu, Jun Gao, Dan Guo, Yulian Fei, Ertian Hua. ICTAI (1) 2010, 241-247. Web SearchBibTeXDownload
33Keyphrase extraction based on semantic relatedness. Fei Xie, Xindong Wu, Xuegang Hu. IEEE ICCI 2010, 308-312. Web SearchBibTeXDownload
32News Filtering and Summarization on the Web. Xindong Wu, Gong-Qing Wu, Fei Xie, Zhu Zhu, Xuegang Hu, Hao Lu, Huiqian Li. IEEE Intelligent Systems (25): 68-76 (2010). Web SearchBibTeXDownload
31Optimizing Patching-based multicast for video-on-demand in wireless mesh networks. Fei Xie, Kien A. Hua, Ning Jiang. Int. J. Communication Systems (23): 1057-1077 (2010). Web SearchBibTeXDownload
30A Dynamic Stream Merging Technique for Video-on-Demand Services over Wireless Mesh Access Networks. Kien A. Hua, Fei Xie. SECON 2010, 208-216. Web SearchBibTeXDownload
2009
29Formal Verification for High-Assurance Behavioral Synthesis. Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang. ATVA 2009, 337-351. Web SearchBibTeXDownload
28Mining Frequent Patterns with Gaps and One-Off Condition. Yongming Huang, Xindong Wu, Xuegang Hu, Fei Xie, Jun Gao, Gong-Qing Wu. CSE (1) 2009, 180-186. Web SearchBibTeXDownload
27An Internet Framework for Pervasive Sensor Computing. Rui Peng, Kien A. Hua, Hao Cheng, Fei Xie. IJAPUC (1): 1-22 (2009). Web SearchBibTeXDownload
26Cooperation Enforcement in a Highly Dynamic Mobile Ad Hoc Network. Yao Hua Ho, Ai Hua Ho, Kien A. Hua, Fei Xie. J. UCS (15): 1090-1118 (2009). Web SearchBibTeXDownload
2008
25A cross-layer framework for video-on-demand service in multi-hop WiMax mesh networks. Fei Xie, Kien A. Hua, Ning Jiang. Computer Communications (31): 1615-1626 (2008). Web SearchBibTeXDownload
24Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. Yan Chen, Fei Xie, Jin Yang. DAC 2008, 143-148. Web SearchBibTeXDownload
23Design and Development Methodology for Resilient Cyber-Physical Systems. Honguk Woo, Jianliang Yi, James C. Browne, Aloysius K. Mok, Ella Atkins, Fei Xie. ICDCS Workshops 2008, 525-528. Web SearchBibTeXDownload
22Keyword Extraction Based on Lexical Chains and Word Co-occurrence for Chinese News Web Pages. Xinghua Li, Xindong Wu, Xuegang Hu, Fei Xie, Zhaozhong Jiang. ICDM Workshops 2008, 744-751. Web SearchBibTeXDownload
21Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee. IEEE Real-Time and Embedded Technology and Applications Symposium 2008, 137-146. Web SearchBibTeXDownload
20A Service-Oriented Approach to Storage Backup. Hao Cheng, Yao Hua Ho, Kien A. Hua, Danzhou Liu, Fei Xie, Ynn-Pyng Tsaur. IEEE SCC (2) 2008, 413-421. Web SearchBibTeXDownload
19Keyphrase Extraction from Chinese News Web Pages Based on Semantic Relations. Fei Xie, Xindong Wu, Xuegang Hu, Fei-Yue Wang. ISI Workshops 2008, 490-495. Web SearchBibTeXDownload
18On Reducing Communication Cost for Distributed Moving Query Monitoring Systems. Fuyu Liu, Kien A. Hua, Fei Xie. MDM 2008, 156-164. Web SearchBibTeXDownload
17Dynamic Route Diversion in Connectionless Mobile Ad Hoc Networks. Yao Hua Ho, Kien A. Hua, Ning Jiang, Fei Xie. NAS 2008, 53-61. Web SearchBibTeXDownload
2007
16Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. Yan Chen, Yujing He, Fei Xie, Jin Yang. FMCAD 2007, 111-118. Web SearchBibTeXDownload
15From Semanticobjects to Structured Natural Language. Phillip C.-Y. Sheu, Atsushi Kitazawa, Chihiro Ishii, Kenichi Kaneko, Fei Xie. Int. J. Semantic Computing (1): 359-375 (2007). Web SearchBibTeXDownload
14Semi-Split TCP: Maintaining End-to-End Semantics for Split TCP. Fei Xie, Ning Jiang, Yao Hua Ho, Kien A. Hua. LCN 2007, 303-314. Web SearchBibTeXDownload
13Achieving True Video-on-Demand Service in Multi-Hop WiMax Mesh Networks. Fei Xie, Kien A. Hua, Ning Jiang. LCN 2007, 287-294. Web SearchBibTeXDownload
12Performance Study of Live Video Streaming Over Highway Vehicular Ad Hoc Networks. Fei Xie, Kien A. Hua, Wenjing Wang, Yao Hua Ho. VTC Fall 2007, 2121-2125. Web SearchBibTeXDownload
2006
11Verification of Component-Based Software Application Families. Fei Xie, James C. Browne. CBSE 2006, 50-66. Web SearchBibTeXDownload
10Integrating Semantic Web Services for Declarative Accesses in Natural Language. Fei Xie, Haitao Gong, Donghua Deng, Shu Wang, George T. Wang, Jicheng Hu, Phillip C.-Y. Sheu. ISM 2006, 201-208. Web SearchBibTeXDownload
2005
9Semantic Analysis and Synthesis of Complex Biological Systems. Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini. International Journal of Software Engineering and Knowledge Engineering (15): 547-570 (2005). Web SearchBibTeXDownload
2004
8Semantic Analysis and Synthesis of Complex Biological Systems. Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini. BIBE 2004, 600-610. Web SearchBibTeXDownload
7Translating Software Designs for Model Checking. Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne. FASE 2004, 324-338. Web SearchBibTeXDownload
6Lessons Learned from Model Checking a NASA Robot Controller. Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin. Formal Methods in System Design (25): 241-270 (2004). Web SearchBibTeXDownload
2003
5Verified systems by composition from verified components. Fei Xie, James C. Browne. ESEC / SIGSOFT FSE 2003, 277-286. Web SearchBibTeXDownload
4Translation-Based Compositional Reasoning for Software Systems. Fei Xie, James C. Browne, Robert P. Kurshan. FME 2003, 582-599. Web SearchBibTeXDownload
2002
3Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. Fei Xie, James C. Browne. FASE 2002, 64-79. Web SearchBibTeXDownload
2ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. Fei Xie, Vladimir Levin, James C. Browne. FASE 2002, 331-335. Web SearchBibTeXDownload
2001
1Model Checking for an Executable Subset of UML. Fei Xie, Vladimir Levin, James C. Browne. ASE 2001, 333-336. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research