Buquan Liu

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 1

Top Topics

Formal Verification

Simulation Models

Top Venues

Sci. China Inf. Sci.

Int. J. Sens. Networks

Publications

Buquan Liu
High performance simulation technology in the Internet of Things. Int. J. Sens. Networks 17 (3) (2015)
Buquan Liu, Huaimin Wang
A novel compact simulation interface specification. Sci. China Inf. Sci. 57 (6) (2014)
Buquan Liu, Yiping Yao, Zhiwen Jiang, Laibin Yan, Qingjun Qu, Shaoliang Peng
HLA-Based Parallel Simulation: A Case Study. PADS (2012)
Buquan Liu, Yiping Yao, Huaimin Wang
An efficient algorithm in the HLA time management. WSC (2007)
Buquan Liu, Yiping Yao, Jing Tao, Huaimin Wang
Development of a runtime infrastructure for large-scale distributed simulations. WSC (2006)
Buquan Liu, Yiping Yao, Jing Tao, Huaimin Wang
Implementation of time management in a runtime infrastructure. WSC (2006)
Buquan Liu, Huaimin Wang, Yiping Yao
Data consistency in a large-scale runtime infrastructure. WSC (2005)