 | 2009 |
|---|
| 8 |       | Mahadevan Subramaniam,
Ling Xiao,
Bo Guo,
Zoltán Pap:
An Approach for Test Selection for EFSMs Using a Theorem Prover.
TestCom/FATES 2009: 146-162 |
| 2008 |
|---|
| 7 | | Bo Guo,
Mahadevan Subramaniam:
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover.
SEFM 2008: 335-344 |
| 6 | | Bo Guo,
Ping Jiang,
Yun-Yan Xing:
A Censored Sequential Posterior Odd Test (SPOT) Method for Verification of the Mean Time To Repair.
IEEE Transactions on Reliability 57(2): 243-247 (2008) |
| 2007 |
|---|
| 5 | | Liang Liang,
Bo Guo:
The Study of Mission Reliability of QRMS Based on the Multistage Markov Process.
International Conference on Computational Science (4) 2007: 202-209 |
| 2006 |
|---|
| 4 | | Fang Liu,
Bo Guo,
Jianyin Zhao:
Mission Dependability Modeling and Evaluation of Repairable Systems Considering Maintenance Capacity.
ECBS 2006: 327-333 |
| 3 | | Yajie Liu,
Yuxing Peng,
Wenhua Dou,
Bo Guo:
Network Coding for Peer-to-Peer Live Media Streaming.
GCC 2006: 149-155 |
| 2004 |
|---|
| 2 | | Bo Guo,
Carl E. Kurt:
Towards Temporal Dynamic Segmentation.
GeoInformatica 8(3): 265-283 (2004) |
| 2001 |
|---|
| 1 | | John H. Reif,
Thomas H. LaBean,
Michael Pirrung,
Vipul S. Rana,
Bo Guo,
Carl Kingsford,
Gene S. Wickham:
Experimental Construction of Very Large Scale DNA Databases with Associative Search Capability.
DNA 2001: 231-247 |
