| 2008 |
|---|
| 4 | EE | Zhifang Wang,
Yiyun Chen,
Zhenming Wang,
Wei Wang,
Bo Tian:
Implementation of Pointer Logic for Automated Verification.
ICYCS 2008: 2295-2301 |
| 3 | EE | Zhifang Wang,
Yiyun Chen,
Zhenming Wang,
Wei Wang,
Bo Tian:
An Extension to Pointer Logic for Verification.
TASE 2008: 49-56 |
| 2007 |
|---|
| 2 | EE | Bo Tian,
Zheng Qin,
Lei Yang:
Population Forecasting Model Based on Wavelet Least Squares Support Vectors Machines.
ICIC (3) 2007: 1167-1175 |
| 2005 |
|---|
| 1 | | Jean-Pierre Corriveau,
Bo Tian,
Vojislav D. Radonjic:
On Facilitating the Reuse of C++ Graph Libraries.
IASTED Conf. on Software Engineering 2005: 7-12 |
