Route shepherd: stability hints for the control plane. - Alexander J. T. Gurney; Xianglong Han; Yang Li 025; Boon Thau Loo (SIGCOMM, 2012)

Reduction-based analysis of BGP systems with BGPVerif. - Anduo Wang; Alexander J. T. Gurney; Xianglong Han; Jinyan Cao; Carolyn L. Talcott; Boon Thau Loo; Andre Scedrov (SIGCOMM, 2012)

Scalanytics: a declarative multi-core platform for scalable composable traffic analytics. - Harjot Gill; Dong Lin; Xianglong Han; Cam Nguyen; Tanveer Gill; Boon Thau Loo (HPDC, 2013)

A reduction-based approach towards scaling up formal analysis of internet configurations. - Anduo Wang; Alexander J. T. Gurney; Xianglong Han; Jinyan Cao; Boon Thau Loo; Carolyn L. Talcott; Andre Scedrov (INFOCOM, 2014)

A systematic study of solvent effect on the crystal habit of dirithromycin solvates by computer simulation. - Zuozhong Liang; Qinhua Yi; Wei Wang; Xianglong Han; Jianfeng Chen; Yuan Le; Jiexin Wang; Chunyu Xue; Hong Zhao (Comput. Chem. Eng., 2014)

FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering. - Behnaz Arzani; Alexander J. T. Gurney; Bo Li; Xianglong Han; Roch Guérin; Boon Thau Loo (CoRR, 2015)