Ting Zhang

2008
18	EE	Yuanxin Ouyang, Qiao Ren, Ting Zhang, Jiuyue Hao, Zhang Xiong: RFIDPROBUS: A universal RFID reader communication protocol. ICDE Workshops 2008: 100-101
2007
17	EE	Ting Zhang, Pei-Luen Patrick Rau, Gavriel Salvendy: Developing Instrument for Handset Usability Evaluation: A Survey Study. HCI (1) 2007: 662-671
16	EE	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	EE	Zohar Manna, Henny B. Sipma, Ting Zhang: Verifying Balanced Trees. LFCS 2007: 363-378
14	EE	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	EE	Ting Zhang, Henny B. Sipma, Zohar Manna: Decision procedures for term algebras with integer constraints. Inf. Comput. 204(10): 1526-1574 (2006)
2005
12	EE	Ting Zhang, Henny B. Sipma, Zohar Manna: The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005: 131-148
11	EE	Ting Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Queues with Integer Constraints. FSTTCS 2005: 225-237
10	EE	Ling Gao, Zheng Wang, Ting Zhang: Online Internet Traffic Prediction Models Based on MMSE. ICCNMC 2005: 1253-1262
9	EE	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	EE	Grigori Mints, Ting Zhang: Propositional logic of continuous transformations in Cantor space. Arch. Math. Log. 44(6): 783-799 (2005)
2004
7	EE	Ting Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004: 152-167
6	EE	Ting Zhang, Henny B. Sipma, Zohar Manna: Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004: 321-336
2003
5	EE	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	EE	Xiangwei Kong, Rufeng Chu, Xiaohui Ba, Ting Zhang, Deli Yang: A Perception Evaluation Scheme for Steganography. IDEAL 2003: 426-430
2002
3	EE	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	EE	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	[18]
9	Yang He	[16]
10	Xiangwei Kong	[3] [4]
11	Zohar Manna	[5] [6] [7] [11] [12] [13] [15]
12	G. Martin	[2]
13	Giovanni De Micheli	[2]
14	Grigori Mints	[8] [9]
15	Yuanxin Ouyang	[16] [18]
16	Pei-Luen Patrick Rau	[17]
17	Qiao Ren	[18]
18	Gavriel Salvendy	[17]
19	César Sánchez	[5]
20	Sriram Sankaranarayanan	[5]
21	Ralf Seepold	[2]
22	Henny B. Sipma (Henny Sipma)	[1] [5] [6] [7] [11] [12] [13] [15]
23	Zheng Wang	[10]
24	Bican Xia	[14]
25	Zhang Xiong	[16] [18]
26	Deli Yang	[3] [4]
27	Xingang You	[3]

Colors in the list of coauthors