The SCEAS System
Navigation Menu

Search the dblp DataBase


Tao Zheng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Xuandong Li, Dang Van Hung, Tao Zheng
    Checking Hybrid Automata for Linear Duration Invariants. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1997, pp:166-180 [Conf]
  2. Tao Zheng, Jinmei Yang, C. Murray Woodside, Marin Litoiu, Gabriel Iszlai
    Tracking time-varying parameters in software systems with extended Kalman filters. [Citation Graph (0, 0)][DBLP]
    CASCON, 2005, pp:334-345 [Conf]
  3. Xuandong Li, Pei Yu, Jianhua Zhao, Yong Li 0005, Tao Zheng, Guoliang Zheng
    Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:465-480 [Conf]
  4. Tao Zheng, C. Murray Woodside
    Heuristic Optimization of Scheduling and Allocation for Distributed Systems with Soft Deadlines. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2003, pp:169-181 [Conf]
  5. Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
    Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:34-45 [Conf]
  6. Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng
    Partial Order Path Technique for Checking Parallel Timed Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:417-432 [Conf]
  7. Xuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng
    Hybrid Regular Expressions. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:384-399 [Conf]
  8. Waleed S. Al-Numay, Sridhar Radhakrishnan, Tao Zheng, Chandra N. Sekharan
    Interaction of Wireless TCP Schemes and Rerouting: Analytical Models and Simulation. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2003, pp:883-0 [Conf]
  9. Tao Zheng, Sridhar Radhakrishnan, Venkatesh Sarangan
    PMAC: An Adaptive Energy-Efficient MAC Protocol for Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  10. C. Murray Woodside, Tao Zheng, Marin Litoiu
    The Use of Optimal Filters to Track Parameters of Performance Models. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:74-84 [Conf]
  11. Tao Zheng, C. Murray Woodside
    Fast estimation of probabilities of soft deadline misses in layered software performance models. [Citation Graph (0, 0)][DBLP]
    WOSP, 2005, pp:181-186 [Conf]
  12. Shankar M. Banik, Sridhar Radhakrishnan, Tao Zheng, Chandra N. Sekharan
    Distributed floor control protocols for computer collaborative applications on overlay networks. [Citation Graph (0, 0)][DBLP]
    CollaborateCom, 2005, pp:- [Conf]
  13. Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng
    Duration-constrained regular expressions. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:2, pp:155-163 [Journal]
  14. Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
    Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2006, v:21, n:1, pp:41-51 [Journal]
  15. Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li 0005, Tao Zheng, Guoliang Zheng
    Positive loop-closed automata: a decidable class of hybrid systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:79-108 [Journal]
  16. Sascha Preibisch, Tao Zheng, Wolfgang Renz
    ERItemManager - ein dynamisch rekonfigurierbares Webapplikationsframework. [Citation Graph (0, 0)][DBLP]
    Software Engineering (Workshops), 2007, pp:345-348 [Conf]

  17. Service System Resource Management Based on a Tracked Layered Performance Model. [Citation Graph (, )][DBLP]

  18. A Robust Iris Localization Model Based on Phase Congruency and Least Trimmed Squares Estimation. [Citation Graph (, )][DBLP]

  19. Landscape bartender: landscape generation using a cocktail analogy. [Citation Graph (, )][DBLP]

Search in 0.020secs, Finished in 0.021secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002