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

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

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

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

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

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