The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ting Zhang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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 STeP 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]


Search in 0.036secs, Finished in 0.038secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002