 | 2009 |
|---|
| 5 |       | Cheng Liu,
Wentong Cai:
Splitting Overlay Network for Peer-to-Peer-based Massively Multiplayer Online Games.
IICS 2009: 157-168 |
| 2008 |
|---|
| 4 |  | Cheng Liu,
Mark Tuttle:
Emergency Evacuation Plan Maintenance.
Encyclopedia of GIS 2008: 267-271 |
| 3 | | Oscar Franzese,
Cheng Liu:
Emergency Evacuations, Transportation Networks.
Encyclopedia of GIS 2008: 271-274 |
| 2007 |
|---|
| 2 | | Yiyun Chen,
Lin Ge,
Baojian Hua,
Zhaopeng Li,
Cheng Liu:
Design of a Certifying Compiler Supporting Proof of Program Safety.
TASE 2007: 127-138 |
| 1 | | Yiyun Chen,
Lin Ge,
Baojian Hua,
Zhaopeng Li,
Cheng Liu,
Zhifang Wang:
A pointer logic and certifying compiler.
Frontiers of Computer Science in China 1(3): 297-312 (2007) |
