Tonglaga Bao

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Transcriptional Regulation

Gene Expression

Top Venues

Publications

Tonglaga Bao, Hong Li, Xiaoqing Zhao
Distribution of nucleosome binding motifs around the functional sites of human housekeeping genes. BMEI (2012)
Tonglaga Bao, Michael D. Jones
Test Case Generation Using Model Checking for Software Components Deployed into New Environments. ICST Workshops (2009)
Tonglaga Bao, Michael D. Jones
Model Checking Abstract Components within Concrete Software Environments. SPIN (2008)
Tonglaga Bao, Michael D. Jones
Time-Efficient Model Checking with Magnetic Disk. TACAS (2005)
Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn
Benchmarking Explicit State Parallel Model Checkers. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)