dblp.uni-trier.dewww.uni-trier.de

Ting Zhang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
20EEYuanxin Ouyang, Qiao Ren, Ting Zhang, Jiuyue Hao, Zhang Xiong: RFIDPROBUS: A universal RFID reader communication protocol. ICDE Workshops 2008: 100-101
19EEJingjing Liu, Yan Peng, Ting Zhang: The Application of Bayesian Network in the Performance Evaluation and Decision-making System. ICNSC 2008: 180-183
18EETing Zhang, Yuanxin Ouyang, Yang He: Traceable Air Baggage Handling System Based on RFID Tags in the Airport. JTAER 3(1): 106-115 (2008)
2007
17EETing Zhang, Pei-Luen Patrick Rau, Gavriel Salvendy: Developing Instrument for Handset Usability Evaluation: A Survey Study. HCI (1) 2007: 662-671
16EETing 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
15EEZohar Manna, Henny B. Sipma, Ting Zhang: Verifying Balanced Trees. LFCS 2007: 363-378
14EETing Zhang, Bican Xia: A New Method for Real Root Isolation of Univariate Polynomials. Mathematics in Computer Science 1(2): 305-320 (2007)
2006
13EETing Zhang, Henny B. Sipma, Zohar Manna: Decision procedures for term algebras with integer constraints. Inf. Comput. 204(10): 1526-1574 (2006)
2005
12EETing Zhang, Henny B. Sipma, Zohar Manna: The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005: 131-148
11EETing Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Queues with Integer Constraints. FSTTCS 2005: 225-237
10EELing Gao, Zheng Wang, Ting Zhang: Online Internet Traffic Prediction Models Based on MMSE. ICCNMC 2005: 1253-1262
9EEGrigori Mints, Ting Zhang: A proof of topological completeness for S4 in (0, 1). Ann. Pure Appl. Logic 133(1-3): 231-245 (2005)
8EEGrigori Mints, Ting Zhang: Propositional logic of continuous transformations in Cantor space. Arch. Math. Log. 44(6): 783-799 (2005)
2004
7EETing Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004: 152-167
6EETing Zhang, Henny B. Sipma, Zohar Manna: Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004: 321-336
2003
5EECésar Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna: Event Correlation: Language and Semantics. EMSOFT 2003: 323-339
4EEXiangwei Kong, Rufeng Chu, Xiaohui Ba, Ting Zhang, Deli Yang: A Perception Evaluation Scheme for Steganography. IDEAL 2003: 426-430
2002
3EEXiangwei 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
2EEG. 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)