Zhe Yang

Microsoft Corporation

other persons with the same name:

• Zhe Yang - Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
• Zhe Yang - Department of Computer Science and Technology, Tongji University, Shanghai, China

2008
13	EE	Zhe Yang, Saltant Khamit, Abbas Mohammed, Peter Larson: A comparative study on business models of municipal wireless cities in US and Sweden. BDIM 2008: 116-117
12	EE	Zhe Yang, Abbas Mohammed: Business model design for capacity-driven services from High Altitude Platforms. BDIM 2008: 118-119
11	EE	Zhe Yang, Abbas Mohammed: On the Cost-Effective Wireless Broadband Service Delivery from High Altitude Platforms with an Economical Business Model Design. VTC Fall 2008: 1-5
2006
10	EE	Xiangfeng Luo, Ning Fang, Zhe Yang, Huizhe Xiao, Weimin Xu: Scientific Text Topics Discovery for e-science Semantic Grid Environment. GCC 2006: 440-447
9	EE	Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang: Modular checking for buffer overflows in the large. ICSE 2006: 232-241
2004
8	EE	Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang: Software validation via scalable path-sensitive value flow analysis. ISSTA 2004: 12-22
7	EE	Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang: PSE: explaining program failures via postmortem static analysis. SIGSOFT FSE 2004: 63-72
6	EE	Zhe Yang: Encoding types in ML-like languages. Theor. Comput. Sci. 315(1): 151-190 (2004)
2001
5		Bernd Grobauer, Zhe Yang: The Second Futamura Projection for Type-Directed Partial Evaluation. Higher-Order and Symbolic Computation 14(2-3): 173-219 (2001)
2000
4	EE	Bernd Grobauer, Zhe Yang: The Second Futamura Projection for Type-Directed Partial Evaluation. PEPM 2000: 22-32
1999
3	EE	Olivier Danvy, Zhe Yang: An Operational Investigation of the CPS Hierarchy. ESOP 1999: 224-242
1998
2	EE	Zhe Yang: Encoding Types in ML-Like Languages. ICFP 1998: 289-300
1997
1	EE	Robert Paige, Zhe Yang: High Level Reading and Data Structure Compilation. POPL 1997: 456-469

Coauthor Index

1	Stephen Adams	[7] [8]
2	Olivier Danvy	[3]
3	Manuvir Das	[7] [8] [9]
4	Nurit Dor	[8]
5	Ning Fang	[10]
6	Bernd Grobauer	[4] [5]
7	Brian Hackett	[9]
8	Saltant Khamit	[13]
9	Peter Larson	[13]
10	Xiangfeng Luo	[10]
11	Roman Manevich	[7]
12	Abbas Mohammed	[11] [12] [13]
13	Robert Paige	[1]
14	Manu Sridharan	[7]
15	Daniel Wang	[9]
16	Huizhe Xiao	[10]
17	Weimin Xu	[10]

Colors in the list of coauthors