Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. Anca Browne, Henny Sipma, Ting Zhang
   Linking ST_eP with SPIN. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:181-186 [Conf]
   
10. 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]
    
11. 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]
    
12. Grigori Mints, Ting Zhang
    A proof of topological completeness for S4 in (0, 1). [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:231-245 [Journal]
    
13. 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]
    
14. 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]
    
15. 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]
    
16. Zohar Manna, Henny B. Sipma, Ting Zhang
    Verifying Balanced Trees. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:363-378 [Conf]
    
17. 
    RFIDPROBUS: A universal RFID reader communication protocol. [Citation Graph (, )][DBLP]
    
    
18. 
    Properties of Periodic Solutions for Common Logistic Model with Discrete and Distributed Delay. [Citation Graph (, )][DBLP]
    
    
19. 
    An Improved Lower Bound for the Complementation of Rabin Automata. [Citation Graph (, )][DBLP]
    
    
20. 
    Hard Real-Time Communication over Multi-hop Switched Ethernet. [Citation Graph (, )][DBLP]
    
    
21. 
    Positive Periodic Solutions of Nonautonomous Lotka-Volterra Dispersal System with Delays. [Citation Graph (, )][DBLP]
    
    
22. 
    The Application of Bayesian Network in the Performance Evaluation and Decision-making System. [Citation Graph (, )][DBLP]
    
    
23. 
    A Statistical Information Reconstruction Method of Images Based on Multiple-Point Geostatistics Integrating Soft Data with Hard Data. [Citation Graph (, )][DBLP]
    
    
24. 
    A Novel Method for Information Prediction. [Citation Graph (, )][DBLP]
    
    
25. 
    An Improved RFID-Based Locating Algorithm by Eliminating Diversity of Active Tags for Indoor Environment. [Citation Graph (, )][DBLP]