Xianglong Han

Publication Activity (10 Years)

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

Top Topics

Computer Simulation

Internet Traffic

Payment Protocol

Statistical Analyses

Top Venues

Publications

Behnaz Arzani, Alexander J. T. Gurney, Bo Li, Xianglong Han, Roch Guérin, Boon Thau Loo
FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering. CoRR (2015)
Zuozhong Liang, Qinhua Yi, Wei Wang, Xianglong Han, Jianfeng Chen, Yuan Le, Jiexin Wang, Chunyu Xue, Hong Zhao
A systematic study of solvent effect on the crystal habit of dirithromycin solvates by computer simulation. Comput. Chem. Eng. 62 (2014)
Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov
A reduction-based approach towards scaling up formal analysis of internet configurations. INFOCOM (2014)
Harjot Gill, Dong Lin, Xianglong Han, Cam Nguyen, Tanveer Gill, Boon Thau Loo
Scalanytics: a declarative multi-core platform for scalable composable traffic analytics. HPDC (2013)
Alexander J. T. Gurney, Xianglong Han, Yang Li, Boon Thau Loo
Route shepherd: stability hints for the control plane. SIGCOMM (2012)
Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov
Reduction-based analysis of BGP systems with BGPVerif. SIGCOMM (2012)