Yu Guo

	2009
20		Xinyu Jiang, Yu Guo, Yiyun Chen: The Logical Approach to Low-Level Stack Reasoning. TASE 2009: 209-216
19		Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong: Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. J. Autom. Reasoning 42(2-4): 301-347 (2009)
	2008
18		Yu Guo, Krzysztof Sierszecki, Christo Angelov: A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems. COMPSAC 2008: 1315-1320
17		Taihua Wang, Yu Guo, Wei Zhang: The Teaching Method Research of Electronic Major Courses Based on Software of SystemView. CSSE (5) 2008: 627-630
16		Wangtu Xu, Shiwei He, Rui Song, Yu Guo, Leilei Quan: Road Occupancy Rate Based Fuzzy Logic for Transit Signal Control at Freeway Ramp. FSKD (3) 2008: 622-626
15		Yu Guo, Ning Wang, Kin-Hon Ho, Michael P. Howarth, George Pavlou: Achieving Fast BGP Reroute with Traffic Engineering Using Multiple Routing Planes. IPOM 2008: 41-52
14		Zdravko Karakehayov, Yu Guo: Parallel Embedded Systems: Where Real-Time and Low-Power Meet. ISCA PDCCS 2008: 177-182
13		Susan Bull, Xiaoxi Dong, Mark Britland, Yu Guo: Can Students Edit Their Learner Model Appropriately?. Intelligent Tutoring Systems 2008: 674-676
12		Yu Guo, Joseph E. Beck, Neil T. Heffernan: Trying to Reduce Bottom-Out Hinting: Will Telling Student How Many Hints They Have Left Help?. Intelligent Tutoring Systems 2008: 774-778
11		Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo: Certifying low-level programs with hardware interrupts and preemptive threads. PLDI 2008: 170-182
10		Christo Angelov, Xu Ke, Yu Guo, Krzysztof Sierszecki: Reconfigurable State Machine Components for Embedded Applications. SEAA 2008: 51-58
9		Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong: Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. VSTTE 2008: 54-69
	2007
8		Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin: A Certified Thread Library for Multithreaded User Programs. TASE 2007: 117-126
7		Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo: Foundational Typed Assembly Language with Certified Garbage Collection. TASE 2007: 326-338
6		Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo: An open framework for foundational proof-carrying code. TLDI 2007: 67-78
	2006
5		Huicheng Zhou, Li Wu, Yu Guo: Mid- and long term hydrologic forecasting for drainage area based on WNN and FRM. ISDA (1) 2006: 7-12
4		Yu Guo, Wenhe Liao, Xiaosheng Cheng, Liang Liu: SimOpt: A new simulation optimization system based virtual simulation for manufacturing system. Simulation Modelling Practice and Theory 14(5): 577-585 (2006)
	2005
3		Wandan Zeng, Guiran Chang, Dengke Zhang, Yu Guo: Mobile Agent Implemented Grid Resource Reservation. SOAS 2005: 256-263
	2002
2		Yu Guo, Ying Sun, T. G. Manfredi: Automated algorithm to delineate Z-bands in electron microscopic images of the human skeletal muscle. ISBI 2002: 883-886
	1998
1		Yu Guo, Yukio Hiranaka, Takao Akatsuka: Autonomic Buffer Control of Web Proxy Server. WWCA 1998: 428-438

Coauthor Index

1	Takao Akatsuka	[1]
2	Christo Angelov	[10] [18]
3	Joseph E. Beck (Joseph Beck)	[12]
4	Mark Britland	[13]
5	Susan Bull	[13]
6	Guiran Chang	[3]
7	Yiyun Chen	[7] [8] [20]
8	Xiaosheng Cheng	[4]
9	Xiaoxi Dong	[13]
10	Yuan Dong	[9] [11] [19]
11	Xinyu Feng	[6] [9] [11] [19]
12	Shiwei He	[16]
13	Neil T. Heffernan	[12]
14	Yukio Hiranaka	[1]
15	Kin-Hon Ho	[15]
16	Michael P. Howarth	[15]
17	Xinyu Jiang	[8] [20]
18	Zdravko Karakehayov	[14]
19	Xu Ke	[10]
20	Wenhe Liao	[4]
21	Chunxiao Lin	[7] [8]
22	Liang Liu	[4]
23	T. G. Manfredi	[2]
24	Andrew McCreight	[7]
25	Zhaozhong Ni	[6]
26	George Pavlou	[15]
27	Leilei Quan	[16]
28	Zhong Shao	[6] [7] [9] [11] [19]
29	Krzysztof Sierszecki	[10] [18]
30	Rui Song	[16]
31	Ying Sun	[2]
32	Ning Wang	[15]
33	Taihua Wang	[17]
34	Li Wu	[5]
35	Wangtu Xu	[16]
36	Wandan Zeng	[3]
37	Dengke Zhang	[3]
38	Wei Zhang	[17]
39	Huicheng Zhou	[5]

Colors in the list of coauthors