dblp.uni-trier.dewww.uni-trier.de

Tao Zheng Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
20EELili Pan, Mei Xie, Tao Zheng, Jianli Ren: A Robust Iris Localization Model Based on Phase Congruency and Least Trimmed Squares Estimation. ICIAP 2009: 682-691
2008
19EETakahiko Noda, Kentarou Nomura, Naoyuki Komuro, Tao Zheng, Chen Yang, Kazunori Miyata: Landscape bartender: landscape generation using a cocktail analogy. SIGGRAPH New Tech Demos 2008: 21
18EETao Zheng, C. Murray Woodside, Marin Litoiu: Performance Model Estimation and Tracking Using Optimal Filters. IEEE Trans. Software Eng. 34(3): 391-406 (2008)
2007
17 Sascha Preibisch, Tao Zheng, Wolfgang Renz: ERItemManager - ein dynamisch rekonfigurierbares Webapplikationsframework. Software Engineering (Workshops) 2007: 345-348
2006
16EEJianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. J. Comput. Sci. Technol. 21(1): 41-51 (2006)
2005
15EETao Zheng, Jinmei Yang, C. Murray Woodside, Marin Litoiu, Gabriel Iszlai: Tracking time-varying parameters in software systems with extended Kalman filters. CASCON 2005: 334-345
14EEShankar M. Banik, Sridhar Radhakrishnan, Tao Zheng, Chandra N. Sekharan: Distributed floor control protocols for computer collaborative applications on overlay networks. CollaborateCom 2005
13EETao Zheng, Sridhar Radhakrishnan, Venkatesh Sarangan: PMAC: An Adaptive Energy-Efficient MAC Protocol for Wireless Sensor Networks. IPDPS 2005
12EEC. Murray Woodside, Tao Zheng, Marin Litoiu: The Use of Optimal Filters to Track Parameters of Performance Models. QEST 2005: 74-84
11EETao Zheng, C. Murray Woodside: Fast estimation of probabilities of soft deadline misses in layered software performance models. WOSP 2005: 181-186
10EEMarin Litoiu, C. Murray Woodside, Tao Zheng: Hierarchical model-based autonomic control of software systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
2004
9EEXuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
2003
8EETao Zheng, C. Murray Woodside: Heuristic Optimization of Scheduling and Allocation for Distributed Systems with Soft Deadlines. Computer Performance Evaluation / TOOLS 2003: 169-181
7EEJianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
6EEWaleed S. Al-Numay, Sridhar Radhakrishnan, Tao Zheng, Chandra N. Sekharan: Interaction of Wireless TCP Schemes and Rerouting: Analytical Models and Simulation. ICDCS Workshops 2003: 883-
2002
5EEJianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
4EEXuandong Li, Jianhua Zhao, Pei Yu, Yong Li, Tao Zheng, Guoliang Zheng: Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebr. Program. 52-53: 79-108 (2002)
2001
3EEXuandong Li, Pei Yu, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng: Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480
1998
2 Xuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng: Hybrid Regular Expressions. HSCC 1998: 384-399
1997
1 Xuandong Li, Dang Van Hung, Tao Zheng: Checking Hybrid Automata for Linear Duration Invariants. ASIAN 1997: 166-180

Coauthor Index

1Waleed S. Al-Numay [6]
2Shankar M. Banik [14]
3Dang Van Hung [1]
4Gabriel Iszlai [15]
5Hou Jianmin [2]
6Naoyuki Komuro [19]
7Xuandong Li [1] [2] [3] [4] [5] [7] [9] [16]
8Yong Li [3] [4] [9]
9Marin Litoiu [10] [12] [15] [18]
10Kazunori Miyata [19]
11Takahiko Noda [19]
12Kentarou Nomura [19]
13Lili Pan [20]
14Sascha Preibisch [17]
15Sridhar Radhakrishnan [6] [13] [14]
16Jianli Ren [20]
17Wolfgang Renz [17]
18Venkatesh Sarangan [13]
19Chandra N. Sekharan [6] [14]
20C. Murray Woodside [8] [10] [11] [12] [15] [18]
21Mei Xie [20]
22He Xu [5]
23Chen Yang [19]
24Jinmei Yang [15]
25Pei Yu [3] [4]
26Jianhua Zhao [2] [3] [4] [5] [7] [9] [16]
27Guoliang Zheng [2] [3] [4] [5] [7] [9] [16]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)