Yang Guo

	2008
42		Yang Guo, Chao Liang, Yong Liu: dHCPS: decentralized hierarchically clustered p2p video streaming. CIVR 2008: 655-662
41		Yingnan Zhu, Wenjun Zeng, Hang Liu, Yang Guo, Saurabh Mathur: Supporting Video Streaming Services in Infrastructure Wireless Mesh Networks: Architecture and Protocols. ICC 2008: 1850-1855
40		Chao Liang, Yang Guo, Yong Liu: Is Random Scheduling Sufficient in P2P Video Streaming? ICDCS 2008: 53-60
39		WanXia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang: Efficient Verification of Parameterized Cache Coherence Protocols. ICYCS 2008: 154-159
38		WanXia Qu, Tun Li, Yang Guo, Xiaodong Yang: Explicit Model Checking Based on Integer Pointer and Fibonacci Hash. ICYCS 2008: 844-849
37		Dan Zhu, Tun Li, Yang Guo, Sikun Li: 2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED 2008: 637-642
36		Yang Guo, Chao Liang, Yong Liu: AQCS: Adaptive Queue-Based Chunk Scheduling for P2P Live Streaming. Networking 2008: 433-444
35		Yang Guo, Kyoungwon Suh, Jim Kurose, Donald F. Towsley: DirectStream: A directory-based peer-to-peer video streaming service. Computer Communications 31(3): 520-536 (2008)
34		Yong Liu, Yang Guo, Chao Liang: A survey on peer-to-peer video streaming systems. Peer-to-Peer Networking and Applications 1(1): 18-28 (2008)
	2007
33		Tun Li, Sikun Li, Jinshan Yu, Yang Guo: A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD 2007: 145-150
32		Yang Guo, Saurabh Mathur, Kumar Ramaswamy, Shengchao Yu, Bankim Patel: PONDER: Performance Aware P2P Video-on-Demand Service. GLOBECOM 2007: 225-230
31		Chao Liang, Yang Guo, Yong Liu: Hierarchically Clustered P2P Streaming System. GLOBECOM 2007: 236-241
30		Ying Wang, Wei Zhang, Su Wu, Yang Guo: Simulators for Driving Safety Study - A Literature Review. HCI (14) 2007: 584-593
29		Nazanin Magharei, Reza Rejaie, Yang Guo: Mesh or Multiple-Tree: A Comparative Study of Live P2P Streaming Approaches. INFOCOM 2007: 1424-1432
28		Yang Guo, Kyoungwon Suh, James F. Kurose, Donald F. Towsley: P2Cast: peer-to-peer patching for video on demand service. Multimedia Tools Appl. 33(2): 109-129 (2007)
	2006
27		Dong Wang, Xiao Hu, Shuming Chen, Yang Guo: Bandwidth Optimization of the EMCI for a High Performance 32-bit DSP. Asia-Pacific Computer Systems Architecture Conference 2006: 488-494
26		Jinshan Yu, Tun Li, Yang Guo, QingPing Tan: Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. EUC 2006: 732-741
25		Xiao Hu, Pengyong Ma, Shuming Chen, Yang Guo, Xing Fang: TraceDo: An On-Chip Trace System for Real-Time Debug and Optimization in Multiprocessor SoC. ISPA 2006: 806-817
24		Pengyong Ma, Xiao Hu, Shuming Chen, Yang Guo: Pseudo Share Data Cache in Multiprocessor: PSDMP. ISPA Workshops 2006: 47-56
23		Kyoungwon Suh, Yang Guo, James F. Kurose, Donald F. Towsley: Locating network monitors: Complexity, heuristics, and coverage. Computer Communications 29(10): 1564-1577 (2006)
22		Yang Guo, Zihui Ge, Bhuvan Urgaonkar, Prashant J. Shenoy, Donald F. Towsley: Dynamic cache reconfiguration strategies for cluster-based streaming proxy. Computer Communications 29(10): 1710-1721 (2006)
21		Daniel R. Figueiredo, Benyuan Liu, Yang Guo, James F. Kurose, Donald F. Towsley: On the efficiency of fluid simulation of networks. Computer Networks 50(12): 1974-1994 (2006)
20		Ming Xiong, BiYu Liang, Kam-yiu Lam, Yang Guo: Quality of Service Guarantee for Temporal Consistency of Real-Time Transactions. IEEE Trans. Knowl. Data Eng. 18(8): 1097-1110 (2006)
	2005
19		Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li: Automatic functional test program generation for microprocessor verification. ASP-DAC 2005: 1039-1042
18		Tun Li, Yang Guo, Sikun Li, GongJie Liu: Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA 2005: 174-186
17		Tun Li, Yang Guo, GongJie Liu, Sikun Li: Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. DSD 2005: 17-25
16		Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li: MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD 2005: 176-183
15		Kyoungwon Suh, Yang Guo, James F. Kurose, Donald F. Towsley: Locating network monitors: complexity, heuristics, and coverage. INFOCOM 2005: 351-361
14		Tun Li, Yang Guo, Sikun Li, Dan Zhu: Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. MICAI 2005: 175-184
	2004
13		Tun Li, Yang Guo, Sikun Li: Assertion-based automated functional vectors generation using constraint logic programming. ACM Great Lakes Symposium on VLSI 2004: 288-291
12		Tun Li, Yang Guo, Sikun Li, FuJiang Ao, GongJie Li: Parallel verilog simulation: architecture and circuit partition. ASP-DAC 2004: 644-646
11		Tun Li, Yang Guo, Sikun Li: CLP Based Static Property Checking. ATVA 2004: 495-498
10		Xiaolan (Ellen) Zhang, Michael K. Bradshaw, Yang Guo, Bing Wang, James F. Kurose, Prashant J. Shenoy, Donald F. Towsley: AMPS: a flexible, scalable proxy testbed for implementing streaming services. NOSSDAV 2004: 116-121
9		Kam-yiu Lam, Ming Xiong, BiYu Liang, Yang Guo: Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects. RTSS 2004: 276-285
8		Tun Li, Yang Guo, Sikun Li: Design and Implementation of a Parallel Verilog Simulator: PVSim. VLSI Design 2004: 329-334
7		Yang Guo, Lixin Gao, Donald F. Towsley, Subhabrata Sen: Smooth workload adaptive broadcast. IEEE Transactions on Multimedia 6(2): 387-395 (2004)
6		Tun Li, Yang Guo, Sikun Li: Automatic Circuit Extractor for HDL Description Using Program Slicing. J. Comput. Sci. Technol. 19(5): 718-728 (2004)
	2003
5		Tun Li, Yang Guo, Sikun Li: An Automatic Circuit Extractor for RTL Verification. Asian Test Symposium 2003: 154-160
4		Yang Guo, Kyoungwon Suh, James F. Kurose, Donald F. Towsley: P2Cast: peer-to-peer patching scheme for VoD service. WWW 2003: 301-309
	2001
3		Benyuan Liu, Daniel R. Figueiredo, Yang Guo, James F. Kurose, Donald F. Towsley: A Study of Networks Simulation Efficiency: Fluid Simulation vs. Packet-level Simulation. INFOCOM 2001: 1244-1253
	2000
2		Yang Guo, Weibo Gong, Donald F. Towsley: Time-Stepped Hybrid Simulation (TSHS) for Large Scale Networks. INFOCOM 2000: 441-450
	1999
1		Benyuan Liu, Yang Guo, James F. Kurose, Donald F. Towsley, Weibo Gong: Fluid Simulation of Large Scale Networks: Issues and Tradeoffs. PDPTA 1999: 2136-2142

Coauthor Index

1	FuJiang Ao	[12]
2	Michael K. Bradshaw	[10]
3	Shuming Chen	[24] [25] [27]
4	Xing Fang	[25]
5	Daniel R. Figueiredo	[3] [21]
6	Lixin Gao	[7]
7	Zihui Ge	[22]
8	Weibo Gong	[1] [2]
9	Xiao Hu	[24] [25] [27]
10	James F. Kurose (Jim Kurose)	[1] [3] [4] [10] [15] [21] [23] [28] [35]
11	Kam-yiu Lam	[9] [20]
12	GongJie Li	[12]
13	Sikun Li	[5] [6] [8] [11] [12] [13] [14] [16] [17] [18] [19] [33] [37]
14	Tun Li	[5] [6] [8] [11] [12] [13] [14] [16] [17] [18] [19] [26] [33] [37] [38]
15	BiYu Liang	[9] [20]
16	Chao Liang	[31] [34] [36] [40] [42]
17	Lei Liang	[19]
18	Benyuan Liu	[1] [3] [21]
19	GongJie Liu	[16] [17] [18]
20	Hang Liu	[41]
21	Yong Liu	[31] [34] [36] [40] [42]
22	Pengyong Ma	[24] [25]
23	Nazanin Magharei	[29]
24	Saurabh Mathur	[32] [41]
25	Zhengbin Pang	[39]
26	Bankim Patel	[32]
27	WanXia Qu	[38] [39]
28	Kumar Ramaswamy	[32]
29	Reza Rejaie	[29]
30	Subhabrata Sen	[7]
31	Prashant J. Shenoy	[10] [22]
32	Kyoungwon Suh	[4] [15] [23] [28] [35]
33	QingPing Tan	[26]
34	Donald F. Towsley	[1] [2] [3] [4] [7] [10] [15] [21] [22] [23] [28] [35]
35	Bhuvan Urgaonkar	[22]
36	Bing Wang	[10]
37	Dong Wang	[27]
38	Ying Wang	[30]
39	Su Wu	[30]
40	Ming Xiong	[9] [20]
41	Xiaodong Yang	[38] [39]
42	Jinshan Yu	[26] [33]
43	Shengchao Yu	[32]
44	Wenjun Zeng	[41]
45	Wei Zhang	[30]
46	Xiaolan (Ellen) Zhang	[10]
47	Dan Zhu	[14] [16] [19] [37]
48	Yingnan Zhu	[41]

Colors in the list of coauthors