The SCEAS System
| |||||||

## Search the dblp DataBase
Tao Zheng:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - Xuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng
**Hybrid Regular Expressions.**[Citation Graph (0, 0)][DBLP] HSCC, 1998, pp:384-399 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Sascha Preibisch, Tao Zheng, Wolfgang Renz
**ERItemManager - ein dynamisch rekonfigurierbares Webapplikationsframework.**[Citation Graph (0, 0)][DBLP] Software Engineering (Workshops), 2007, pp:345-348 [Conf] **Service System Resource Management Based on a Tracked Layered Performance Model.**[Citation Graph (, )][DBLP]**A Robust Iris Localization Model Based on Phase Congruency and Least Trimmed Squares Estimation.**[Citation Graph (, )][DBLP]**Landscape bartender: landscape generation using a cocktail analogy.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

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