Xian Zhang

	2009
21		Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang: Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ICFEM 2009: 581-600
	2008
20		Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian: Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC 2008: 490-491
19		Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang: Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. ICFEM 2008: 318-337
18		Mingsheng Jin, Shiming Ji, Li Zhang, Qiaoling Yuan, Xian Zhang, Yindong Zhang: Material Removal Model and Contact Control of Robotic Gasbag Polishing Technique. RAM 2008: 879-883
17		Xian Zhang, Yu Hao, Xiaoyan Zhu, Ming Li: New Information Distance Measure and Its Application in Question Answering System. J. Comput. Sci. Technol. 23(4): 557-572 (2008)
	2007
16		Xian Zhang, Xiaoyan Zhu: A New Type of Feature - Loose N-Gram Feature in Text Categorization. IbPRIA (1) 2007: 378-385
15		Xian Zhang, Yu Hao, Xiaoyan Zhu, Ming Li, David R. Cheriton: Information distance from a question to an answer. KDD 2007: 874-883
	2006
14		Jingyang Li, Maosong Sun, Xian Zhang: A Comparison and Semi-Quantitative Analysis of Words and Character-Bigrams as Features in Chinese Text Categorization. ACL 2006
13		Jianhua Wu, Fang Lin, Haiyan Chen, Xian Zhang, Jing Wang, Li Li: The Design and Implementation of Chinese Rural Studies Database. ICADL 2006: 537-538
12		Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245
11		Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
10		Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin: HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778
9		Jiandong Jiang, Fang Xu, Xinrong Zhen, Xian Zhang, Yangyu Wang, Libin Zhang: Axiomatic Design Using Ontology Modeling for Interoperability in Small Agriculture Machinery Product Development. PROLAMAT 2006: 184-191
8		Xian Zhang, Jianfeng Cai, Yimin Wei: Interval iterative methods for computing Moore-Penrose inverse. Applied Mathematics and Computation 183(1): 522-532 (2006)
	2005
7		Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang: The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80
6		Xian Zhang, Xiaoyan Zhu: Extended Bi-gram Features in Text Categorization. IbPRIA (2) 2005: 379-386
5		Jiao Li, Xian Zhang, Yu Hao, Minlie Huang, Xiaoyan Zhu: Learning Domain-Specific Knowledge from Context--THUIR at TREC 2005 Genomics Track. TREC 2005
	2004
4		Yuehua Wan, Shiming Ji, Yi Xie, Xian Zhang, Peijun Xie: Video Program Clustering Indexing Based on Face Recognition Hybrid Model of Hidden Markov Model and Support Vector Machine. IWCIA 2004: 739-749
3		Jiao Li, Xian Zhang, Min Zhang, Xiaoyan Zhu: THUIR at TREC 2004: Genomics Track. TREC 2004
2		Xian Zhang, Mei-Yu Cheng: The general common nonnegative-definite and positive-definite solutions to the matrix equations AXAast = BBast and CXCast = DDast. Appl. Math. Lett. 17(5): 543-547 (2004)
1		Chongguang Cao, Xian Zhang, Xiaomin Tang: Reverse order law of group inverses of products of two matrices. Applied Mathematics and Computation 158(2): 489-495 (2004)

Coauthor Index

1	Jianfeng Cai	[8]
2	Chongguang Cao	[1]
3	Haiyan Chen	[13]
4	Mei-Yu Cheng	[2]
5	David R. Cheriton	[15]
6	Jin Song Dong	[7] [10] [11] [12] [19] [21]
7	Wei Dong	[20]
8	Ping Hao	[7] [10] [11]
9	Yu Hao	[5] [15] [17]
10	Minlie Huang	[5]
11	Shiming Ji	[4] [18]
12	Jiandong Jiang	[9]
13	Mingsheng Jin	[18]
14	Jiao Li	[3] [5]
15	Jingyang Li	[14]
16	Li Li	[13]
17	Ming Li	[15] [17]
18	Fang Lin	[13]
19	Yang Liu	[12] [21]
20	Shengchao Qin	[7] [10]
21	Jing Sun	[19]
22	Maosong Sun	[14]
23	Jun Sun	[11] [12] [19] [21]
24	Kenji Taguchi	[19]
25	Xiaomin Tang	[1]
26	Jie Tian	[20]
27	Yuehua Wan	[4]
28	Ji Wang	[20]
29	Jing Wang	[13]
30	Yangyu Wang	[9]
31	Yimin Wei	[8]
32	Jianhua Wu	[13]
33	Peijun Xie	[4]
34	Yi Xie	[4]
35	Fang Xu	[9]
36	Qiaoling Yuan	[18]
37	Li Zhang	[18]
38	Libin Zhang	[9]
39	Min Zhang	[3]
40	Yindong Zhang	[18]
41	Changzhi Zhao	[20]
42	Xinrong Zhen	[9]
43	Xiaoyan Zhu	[3] [5] [6] [15] [16] [17]

Colors in the list of coauthors