| 2008 |
|---|
| 18 | EE | Yu Guo,
Krzysztof Sierszecki,
Christo Angelov:
A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems.
COMPSAC 2008: 1315-1320 |
| 17 | EE | 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 | EE | 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 | EE | 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 | EE | Susan Bull,
Xiaoxi Dong,
Mark Britland,
Yu Guo:
Can Students Edit Their Learner Model Appropriately?.
Intelligent Tutoring Systems 2008: 674-676 |
| 12 | EE | 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 | EE | Xinyu Feng,
Zhong Shao,
Yuan Dong,
Yu Guo:
Certifying low-level programs with hardware interrupts and preemptive threads.
PLDI 2008: 170-182 |
| 10 | EE | Christo Angelov,
Xu Ke,
Yu Guo,
Krzysztof Sierszecki:
Reconfigurable State Machine Components for Embedded Applications.
SEAA 2008: 51-58 |
| 9 | EE | 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 | 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 |
