Benchmarking Explicit State Parallel Model Checkers. - Michael D. Jones; Eric Mercer; Tonglaga Bao; Rahul Kumar 004; Peter Lamborn (PDMC@CAV, 2003)

Time-Efficient Model Checking with Magnetic Disk. - Tonglaga Bao; Michael D. Jones (TACAS, 2005)

Model Checking Abstract Components within Concrete Software Environments. - Tonglaga Bao; Michael D. Jones (SPIN, 2008)

Test Case Generation Using Model Checking for Software Components Deployed into New Environments. - Tonglaga Bao; Michael D. Jones (ICST Workshops, 2009)

Distribution of nucleosome binding motifs around the functional sites of human housekeeping genes. - Tonglaga Bao; Hong Li; Xiaoqing Zhao (BMEI, 2012)