Xianglong Han

According to our database1, Xianglong Han authored at least 6 papers between 2012 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering.
CoRR, 2015

2014
A systematic study of solvent effect on the crystal habit of dirithromycin solvates by computer simulation.
Comput. Chem. Eng., 2014

A reduction-based approach towards scaling up formal analysis of internet configurations.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2013
Scalanytics: a declarative multi-core platform for scalable composable traffic analytics.
Proceedings of the 22nd International Symposium on High-Performance Parallel and Distributed Computing, 2013

2012
Reduction-based analysis of BGP systems with BGPVerif.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Route shepherd: stability hints for the control plane.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012


  Loading...