Tonglaga Bao

According to our database, Tonglaga Bao authored at least 5 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Distribution of nucleosome binding motifs around the functional sites of human housekeeping genes.

Tonglaga Bao, Hong Li, Xiaoqing Zhao

Proceedings of the 5th International Conference on BioMedical Engineering and Informatics, 2012

2009

Test Case Generation Using Model Checking for Software Components Deployed into New Environments.

Tonglaga Bao, Michael D. Jones

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Model Checking Abstract Components within Concrete Software Environments.

Tonglaga Bao, Michael D. Jones

Proceedings of the Model Checking Software, 2008

2005

Time-Efficient Model Checking with Magnetic Disk.

Tonglaga Bao, Michael D. Jones

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2003

Benchmarking Explicit State Parallel Model Checkers.

Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003