Ting Zhang

	2009
22		Zhengxuan Zhao, Pei-Luen Patrick Rau, Ting Zhang, Gavriel Salvendy: Visual search-based design and evaluation of screen magnifiers for older and visually impaired users. Int. J. Hum.-Comput. Stud. 67(8): 663-675 (2009)
	2008
21		Yuanxin Ouyang, Qiao Ren, Ting Zhang, Jiuyue Hao, Zhang Xiong: RFIDPROBUS: A universal RFID reader communication protocol. ICDE Workshops 2008: 100-101
20		Jingjing Liu, Yan Peng, Ting Zhang: The Application of Bayesian Network in the Performance Evaluation and Decision-making System. ICNSC 2008: 180-183
19		Minghu Zhang, Jian Shi, Ting Zhang, Yong Hu: Hard Real-Time Communication over Multi-hop Switched Ethernet. NAS 2008: 121-128
18		Ting Zhang, Yuanxin Ouyang, Yang He: Traceable Air Baggage Handling System Based on RFID Tags in the Airport. JTAER 3(1): 106-115 (2008)
	2007
17		Ting Zhang, Pei-Luen Patrick Rau, Gavriel Salvendy: Developing Instrument for Handset Usability Evaluation: A Survey Study. HCI (1) 2007: 662-671
16		Ting Zhang, Yuanxin Ouyang, Yang He, Zhang Xiong, Zhenyong Chen: Case Study of Human Computer Interaction Based on RFID and Context-Awareness in Ubiquitous Computing Environments. HCI (6) 2007: 264-271
15		Zohar Manna, Henny B. Sipma, Ting Zhang: Verifying Balanced Trees. LFCS 2007: 363-378
14		Ting Zhang, Bican Xia: A New Method for Real Root Isolation of Univariate Polynomials. Mathematics in Computer Science 1(2): 305-320 (2007)
	2006
13		Ting Zhang, Henny B. Sipma, Zohar Manna: Decision procedures for term algebras with integer constraints. Inf. Comput. 204(10): 1526-1574 (2006)
	2005
12		Ting Zhang, Henny B. Sipma, Zohar Manna: The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005: 131-148
11		Ting Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Queues with Integer Constraints. FSTTCS 2005: 225-237
10		Ling Gao, Zheng Wang, Ting Zhang: Online Internet Traffic Prediction Models Based on MMSE. ICCNMC 2005: 1253-1262
9		Grigori Mints, Ting Zhang: A proof of topological completeness for S4 in (0, 1). Ann. Pure Appl. Logic 133(1-3): 231-245 (2005)
8		Grigori Mints, Ting Zhang: Propositional logic of continuous transformations in Cantor space. Arch. Math. Log. 44(6): 783-799 (2005)
	2004
7		Ting Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004: 152-167
6		Ting Zhang, Henny B. Sipma, Zohar Manna: Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004: 321-336
	2003
5		César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna: Event Correlation: Language and Semantics. EMSOFT 2003: 323-339
4		Xiangwei Kong, Rufeng Chu, Xiaohui Ba, Ting Zhang, Deli Yang: A Perception Evaluation Scheme for Steganography. IDEAL 2003: 426-430
	2002
3		Xiangwei Kong, Ting Zhang, Xingang You, Deli Yang: A New Steganalysis Approach Based on Both Complexity Estimate and Statistical Filter. IEEE Pacific Rim Conference on Multimedia 2002: 434-441
	2001
2		G. Martin, Ralf Seepold, Ting Zhang, Luca Benini, Giovanni De Micheli: Component selection and matching for IP-based design. DATE 2001: 40-46
	2000
1		Anca Browne, Henny Sipma, Ting Zhang: Linking STeP with SPIN. SPIN 2000: 181-186

Coauthor Index

1	Xiaohui Ba	[4]
2	Luca Benini	[2]
3	Anca Browne (I. A. Draghicescu)	[1]
4	Zhenyong Chen	[16]
5	Rufeng Chu	[4]
6	David L. Dill	[5]
7	Ling Gao	[10]
8	Jiuyue Hao	[21]
9	Yang He	[16] [18]
10	Yong Hu	[19]
11	Xiangwei Kong	[3] [4]
12	Jingjing Liu	[20]
13	Zohar Manna	[5] [6] [7] [11] [12] [13] [15]
14	G. Martin	[2]
15	Giovanni De Micheli	[2]
16	Grigori Mints	[8] [9]
17	Yuanxin Ouyang	[16] [18] [21]
18	Yan Peng	[20]
19	Pei-Luen Patrick Rau	[17] [22]
20	Qiao Ren	[21]
21	Gavriel Salvendy	[17] [22]
22	César Sánchez	[5]
23	Sriram Sankaranarayanan	[5]
24	Ralf Seepold	[2]
25	Jian Shi	[19]
26	Henny B. Sipma (Henny Sipma)	[1] [5] [6] [7] [11] [12] [13] [15]
27	Zheng Wang	[10]
28	Bican Xia	[14]
29	Zhang Xiong	[16] [21]
30	Deli Yang	[3] [4]
31	Xingang You	[3]
32	Minghu Zhang	[19]
33	Zhengxuan Zhao	[22]

Colors in the list of coauthors