Tao Zheng

2008
19	EE	Takahiko 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
18	EE	Tao 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
16	EE	Jianhua 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
15	EE	Tao 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
14	EE	Shankar M. Banik, Sridhar Radhakrishnan, Tao Zheng, Chandra N. Sekharan: Distributed floor control protocols for computer collaborative applications on overlay networks. CollaborateCom 2005
13	EE	Tao Zheng, Sridhar Radhakrishnan, Venkatesh Sarangan: PMAC: An Adaptive Energy-Efficient MAC Protocol for Wireless Sensor Networks. IPDPS 2005
12	EE	C. Murray Woodside, Tao Zheng, Marin Litoiu: The Use of Optimal Filters to Track Parameters of Performance Models. QEST 2005: 74-84
11	EE	Tao Zheng, C. Murray Woodside: Fast estimation of probabilities of soft deadline misses in layered software performance models. WOSP 2005: 181-186
10	EE	Marin 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
9	EE	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
2003
8	EE	Tao Zheng, C. Murray Woodside: Heuristic Optimization of Scheduling and Allocation for Distributed Systems with Soft Deadlines. Computer Performance Evaluation / TOOLS 2003: 169-181
7	EE	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
6	EE	Waleed 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
5	EE	Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
4	EE	Xuandong 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
3	EE	Xuandong 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

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

Colors in the list of coauthors