The SCEAS System
| |||||||

## Search the dblp DataBase
Ting Zhang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Ting Zhang, Henny B. Sipma, Zohar Manna
**Decision Procedures for Recursive Data Structures with Integer Constraints.**[Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:152-167 [Conf] - Ting Zhang, Henny B. Sipma, Zohar Manna
**The Decidability of the First-Order Theory of Knuth-Bendix Order.**[Citation Graph (0, 0)][DBLP] CADE, 2005, pp:131-148 [Conf] - G. Martin, Ralf Seepold, Ting Zhang, Luca Benini, Giovanni De Micheli
**Component selection and matching for IP-based design.**[Citation Graph (0, 0)][DBLP] DATE, 2001, pp:40-46 [Conf] - César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
**Event Correlation: Language and Semantics.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2003, pp:323-339 [Conf] - Ting Zhang, Henny B. Sipma, Zohar Manna
**Decision Procedures for Queues with Integer Constraints.**[Citation Graph (0, 0)][DBLP] FSTTCS, 2005, pp:225-237 [Conf] - Ling Gao, Zheng Wang, Ting Zhang
**Online Internet Traffic Prediction Models Based on MMSE.**[Citation Graph (0, 0)][DBLP] ICCNMC, 2005, pp:1253-1262 [Conf] - Xiangwei Kong, Rufeng Chu, Xiaohui Ba, Ting Zhang, Deli Yang
**A Perception Evaluation Scheme for Steganography.**[Citation Graph (0, 0)][DBLP] IDEAL, 2003, pp:426-430 [Conf] - Xiangwei Kong, Ting Zhang, Xingang You, Deli Yang
**A New Steganalysis Approach Based on Both Complexity Estimate and Statistical Filter.**[Citation Graph (0, 0)][DBLP] IEEE Pacific Rim Conference on Multimedia, 2002, pp:434-441 [Conf] - Anca Browne, Henny Sipma, Ting Zhang
**Linking**[Citation Graph (0, 0)][DBLP]*ST*with SPIN._{e}P SPIN, 2000, pp:181-186 [Conf] - Ting Zhang, Henny B. Sipma, Zohar Manna
**Term Algebras with Length Function and Bounded Quantifier Alternation.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:321-336 [Conf] - Grigori Mints, Ting Zhang
**Propositional logic of continuous transformations in Cantor space.**[Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2005, v:44, n:6, pp:783-799 [Journal] - Grigori Mints, Ting Zhang
**A proof of topological completeness for**[Citation Graph (0, 0)][DBLP]*S*4 in (0, 1). Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:231-245 [Journal] - Ting Zhang, Henny B. Sipma, Zohar Manna
**Decision procedures for term algebras with integer constraints.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:10, pp:1526-1574 [Journal] - Ting Zhang, Pei-Luen Patrick Rau, Gavriel Salvendy
**Developing Instrument for Handset Usability Evaluation: A Survey Study.**[Citation Graph (0, 0)][DBLP] HCI (1), 2007, pp:662-671 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] HCI (6), 2007, pp:264-271 [Conf] - Zohar Manna, Henny B. Sipma, Ting Zhang
**Verifying Balanced Trees.**[Citation Graph (0, 0)][DBLP] LFCS, 2007, pp:363-378 [Conf] **RFIDPROBUS: A universal RFID reader communication protocol.**[Citation Graph (, )][DBLP]**Properties of Periodic Solutions for Common Logistic Model with Discrete and Distributed Delay.**[Citation Graph (, )][DBLP]**An Improved Lower Bound for the Complementation of Rabin Automata.**[Citation Graph (, )][DBLP]**Hard Real-Time Communication over Multi-hop Switched Ethernet.**[Citation Graph (, )][DBLP]**Positive Periodic Solutions of Nonautonomous Lotka-Volterra Dispersal System with Delays.**[Citation Graph (, )][DBLP]**The Application of Bayesian Network in the Performance Evaluation and Decision-making System.**[Citation Graph (, )][DBLP]**A Statistical Information Reconstruction Method of Images Based on Multiple-Point Geostatistics Integrating Soft Data with Hard Data.**[Citation Graph (, )][DBLP]**A Novel Method for Information Prediction.**[Citation Graph (, )][DBLP]**An Improved RFID-Based Locating Algorithm by Eliminating Diversity of Active Tags for Indoor Environment.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |