Yu Guo

	2011
36		Weidong Wu, Wenhe Liao, Yu Guo: Research of top-down automatic assembling design method based on linkage. EMEIT 2011: 2347-2350
35		Wei Wang, Zhong Shao, Xinyu Jiang, Yu Guo: A Simple Model for Certifying Assembly Programs with First-Class Function Pointers. TASE 2011: 125-132
	2010
34		Kebin Zeng, Yu Guo, Christo Angelov: Graphical Model Debugger Framework for embedded systems. DATE 2010: 87-92
33		Xiao-Yong Li, Li-Tao Zhou, Yong Shi, Yu Guo: A trusted computing environment model in cloud architecture. ICMLC 2010: 2843-2848
32		Yu Guo, Ning Wang, Michael P. Howarth, Kin-Hon Ho: Link weight optimization for enhancing IP resilience using multi-plane routing. ISCC 2010: 899-905
31		Fei Wang, Caigui Jiang, Nanning Zheng, Yu Guo: Camera Pose Estimation Based on Angle Constraints. ISVC (1) 2010: 96-107
30		Yu Guo, Armin Graber, Robert N. McBurney, Raji Balasubramanian: Sample size and statistical power considerations in high-dimensionality data settings: a comparative study of classification algorithms. BMC Bioinformatics 11: 447 (2010)
29		Albert C. J. Luo, Yu Guo: Parameter Characteristics for Stable and Unstable Solutions in Nonlinear Discrete Dynamical Systems. I. J. Bifurcation and Chaos 20(10): 3173-3191 (2010)
28		Yu Guo, Xinyu Jiang, Yiyun Chen: Certification of Thread Context Switching. J. Comput. Sci. Technol. 25(4): 827-840 (2010)
	2009
27		Ning Wang, Yu Guo, Kin-Hon Ho, Michael P. Howarth, George Pavlou: Fast Network Failure Recovery Using Multiple BGP Routing Planes. GLOBECOM 2009: 1-6
26		Yu Guo, Su Ruan, Gilles Millon, Jean-Marc Constans: Spectrum separation of Magnetic Resonance Spectroscopy based on sparse representation. ICASSP 2009: 453-456
25		Xinyu Jiang, Yu Guo, Yiyun Chen: The Logical Approach to Low-Level Stack Reasoning. TASE 2009: 209-216
24		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
23		Yu Guo, Wen-long Chen, Shouyu Chen: Application of System NCF Method to Ice Flood Prediction of the Yellow River. ACFIE 2008: 404-419
22		Yu Guo, Krzysztof Sierszecki, Christo Angelov: A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems. COMPSAC 2008: 1315-1320
21		Taihua Wang, Yu Guo, Wei Zhang: The Teaching Method Research of Electronic Major Courses Based on Software of SystemView. CSSE (5) 2008: 627-630
20		Christo Angelov, Xu Ke, Yu Guo, Krzysztof Sierszecki: Reconfigurable State Machine Components for Embedded Applications. EUROMICRO-SEAA 2008: 51-58
19		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
18		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
17		Zdravko Karakehayov, Yu Guo: Parallel Embedded Systems: Where Real-Time and Low-Power Meet. ISCA PDCCS 2008: 177-182
16		Susan Bull, Xiaoxi Dong, Mark Britland, Yu Guo: Can Students Edit Their Learner Model Appropriately?. Intelligent Tutoring Systems 2008: 674-676
15		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
14		Chongjing Yan, Wenhe Liao, Yu Guo, Xiaosheng Cheng, Shiwen Gao: Capability Based Manufacturing Service Rough Matching. PACIIA (2) 2008: 151-155
13		Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo: Certifying low-level programs with hardware interrupts and preemptive threads. PLDI 2008: 170-182
12		Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong: Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. VSTTE 2008: 54-69
11		Yan Su, Wenhe Liao, Yu Guo, Shiwen Gao: An ASP-Based Product Customization Service Systems for SMEs: A Case Study in Construction Machinery. IJEIS 4(1): 1-17 (2008)
	2007
10		Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin: A Certified Thread Library for Multithreaded User Programs. TASE 2007: 117-126
9		Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo: Foundational Typed Assembly Language with Certified Garbage Collection. TASE 2007: 326-338
8		Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo: An open framework for foundational proof-carrying code. TLDI 2007: 67-78
	2006
7		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
6		Shouyu Chen, Yu Guo: Variable Fuzzy Sets and its Application in Comprehensive Risk Evaluation for Flood-control Engineering System. FO & DM 5(2): 153-162 (2006)
5		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
4		Wandan Zeng, Guiran Chang, Dengke Zhang, Yu Guo: Mobile Agent Implemented Grid Resource Reservation. SOAS 2005: 256-263
	2004
3		Yu Guo, Weili Hu: Iterative learning control of wheeled robot trajectory tracking. ICARCV 2004: 1684-1689
	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	[20] [22] [34]
3	Raji Balasubramanian	[30]
4	Joseph E. Beck (Joseph Beck)	[15]
5	Mark Britland	[16]
6	Susan Bull	[16]
7	Guiran Chang	[4]
8	Shouyu Chen	[6] [23]
9	Wen-long Chen	[23]
10	Yiyun Chen	[9] [10] [25] [28]
11	Xiaosheng Cheng	[5] [14]
12	Jean-Marc Constans	[26]
13	Xiaoxi Dong	[16]
14	Yuan Dong	[12] [13] [24]
15	Xinyu Feng	[8] [12] [13] [24]
16	Shiwen Gao	[11] [14]
17	Armin Graber	[30]
18	Shiwei He	[19]
19	Neil T. Heffernan	[15]
20	Yukio Hiranaka	[1]
21	Kin-Hon Ho	[18] [27] [32]
22	Michael P. Howarth	[18] [27] [32]
23	Weili Hu	[3]
24	Caigui Jiang	[31]
25	Xinyu Jiang	[10] [25] [28] [35]
26	Zdravko Karakehayov	[17]
27	Xu Ke	[20]
28	Xiao-Yong Li	[33]
29	Wenhe Liao	[5] [11] [14] [36]
30	Chunxiao Lin	[9] [10]
31	Liang Liu	[5]
32	Albert C. J. Luo	[29]
33	T. G. Manfredi	[2]
34	Robert N. McBurney	[30]
35	Andrew McCreight	[9]
36	Gilles Millon	[26]
37	Zhaozhong Ni	[8]
38	George Pavlou	[18] [27]
39	Leilei Quan	[19]
40	Su Ruan	[26]
41	Zhong Shao	[8] [9] [12] [13] [24] [35]
42	Yong Shi	[33]
43	Krzysztof Sierszecki	[20] [22]
44	Rui Song	[19]
45	Yan Su	[11]
46	Ying Sun	[2]
47	Ning Wang	[18] [27] [32]
48	Taihua Wang	[21]
49	Wei Wang	[35]
50	Fei Wang	[31]
51	Li Wu	[7]
52	Weidong Wu	[36]
53	Wangtu Xu	[19]
54	Chongjing Yan	[14]
55	Kebin Zeng	[34]
56	Wandan Zeng	[4]
57	Dengke Zhang	[4]
58	Wei Zhang	[21]
59	Nanning Zheng	[31]
60	Huicheng Zhou	[7]
61	Li-Tao Zhou	[33]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page