| 2007 |
|---|
| 8 | EE | Yu Guo,
Xinyu Jiang,
Yiyun Chen,
Chunxiao Lin:
A Certified Thread Library for Multithreaded User Programs.
TASE 2007: 117-126 |
| 7 | EE | Chunxiao Lin,
Andrew McCreight,
Zhong Shao,
Yiyun Chen,
Yu Guo:
Foundational Typed Assembly Language with Certified Garbage Collection.
TASE 2007: 326-338 |
| 6 | EE | Xinyu Feng,
Zhaozhong Ni,
Zhong Shao,
Yu Guo:
An open framework for foundational proof-carrying code.
TLDI 2007: 67-78 |
| 2006 |
|---|
| 5 | EE | 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 | EE | 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 | EE | Wandan Zeng,
Guiran Chang,
Dengke Zhang,
Yu Guo:
Mobile Agent Implemented Grid Resource Reservation.
SOAS 2005: 256-263 |
| 2002 |
|---|
| 2 | EE | 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 |
