2008 |
4 | EE | Cheng Liu,
Mark Tuttle:
Emergency Evacuation Plan Maintenance.
Encyclopedia of GIS 2008: 267-271 |
3 | EE | Oscar Franzese,
Cheng Liu:
Emergency Evacuations, Transportation Networks.
Encyclopedia of GIS 2008: 271-274 |
2007 |
2 | EE | 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 | EE | 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) |