Verifying Java Programs By Theorem Prover HOL. - Anduo Wang; Fei He 001; Ming Gu 001; Xiaoyu Song (COMPSAC (1), 2006)

Formally Verifiable Networking. - Anduo Wang; Limin Jia 001; Changbin Liu; Boon Thau Loo; Oleg Sokolsky; Prithwish Basu (HotNets, 2009)

Declarative Network Verification. - Anduo Wang; Prithwish Basu; Boon Thau Loo; Oleg Sokolsky (PADL, 2009)

An Operational Semantics for Network Datalog. - Vivek Nigam; Limin Jia 001; Anduo Wang; Boon Thau Loo; Andre Scedrov (LAM@LICS, 2010)

Analyzing BGP Instances in Maude. - Anduo Wang; Carolyn L. Talcott; Limin Jia 001; Boon Thau Loo; Andre Scedrov (FMOODS/FORTE, 2011)

FSR: formal analysis and implementation toolkit for safe inter-domain routing. - Yiqing Ren; Wenchao Zhou; Anduo Wang; Limin Jia 001; Alexander J. T. Gurney; Boon Thau Loo; Jennifer Rexford (SIGCOMM, 2011)

Recent Advances in Declarative Networking. - Boon Thau Loo; Harjot Gill; Changbin Liu; Yun Mao; William R. Marczak; Micah Sherr; Anduo Wang; Wenchao Zhou (PADL, 2012)

Brief announcement: a calculus of policy-based routing systems. - Anduo Wang; Carolyn L. Talcott; Alexander J. T. Gurney; Boon Thau Loo; Andre Scedrov (PODC, 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)

Reduction-Based Formal Analysis of BGP Instances. - Anduo Wang; Carolyn L. Talcott; Alexander J. T. Gurney; Boon Thau Loo; Andre Scedrov (TACAS, 2012)

FSR: formal analysis and implementation toolkit for safe interdomain routing. - Anduo Wang; Limin Jia 001; Wenchao Zhou; Yiqing Ren; Boon Thau Loo; Jennifer Rexford; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (IEEE/ACM Trans. Netw., 2012)

On the feasibility of automation for bandwidth allocation problems in data centers. - Yifei Yuan 001; Anduo Wang; Rajeev Alur; Boon Thau Loo (FMCAD, 2013)

Automated synthesis of reactive controllers for software-defined networks. - Anduo Wang; Salar Moarref; Boon Thau Loo; Ufuk Topcu; Andre Scedrov (ICNP, 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)

Software-Defined Networks as Databases. - Anduo Wang; Wenchao Zhou; Brighten Godfrey; Matthew Caesar 001 (ONS, 2014)

Energy-budget-compliant cloud video delivery to mobile devices. - Mohammad Hosseini 002; Anduo Wang; Seyed Rasoul Etesami (ICC Workshops, 2015)

Towards energy-aware DASH for mobile video. - Mohammad Hosseini 002; Anduo Wang; Seyed Rasoul Etesami (MoVid@MMSys, 2015)

Access control for a database-defined network. - Noemi Glaeser; Anduo Wang (Sarnoff Symposium, 2016)

Ravel: A Database-Defined Network. - Anduo Wang; Xueyuan Mei; Jason Croft; Matthew Caesar 001; Brighten Godfrey (SOSR, 2016)

Reflections on Data Integration for SDN. - Anduo Wang; Jason Croft; Eduard C. Dragut (SDN-NFV@CODASPY, 2017)

Automating SDN Composition: A Database Perspective. - Anduo Wang; Jason Croft (SOSR, 2017)

Towards Example-Guided Network Synthesis. - Haoxian Chen 001; Anduo Wang; Boon Thau Loo (APNet, 2018)

Database Criteria for Network Policy Chain. - Anduo Wang (SDN-NFV@CODASPY, 2018)

Policy and Resource Orchestration in Software-Defined Networks. - Anduo Wang; Jie Wu 001 (CIC, 2018)

Rethinking Network Policy Coordination: A Database Perspective. - Anduo Wang; Seungwon Shin 001; Eduard C. Dragut (APNet, 2019)

A Logical Approach to Representing and Reasoning About Interdomain Routing Policies. - Anduo Wang; Zhijia Chen (Datalog, 2019)

Internet Routing and Non-monotonic Reasoning. - Anduo Wang; Zhijia Chen (LPNMR, 2019)

(Demo) Boléro: Enabling Policy Innovation in Interdomain Routing. - Zhijia Chen; Anduo Wang (SOSR, 2019)

Enabling Policy Innovation in Interdomain Routing: A Software-Defined Approach. - Anduo Wang; Zhijia Chen; Tony Yang; Minlan Yu (SOSR, 2019)

Flexible Routing with Policy Exchange. - Bin Gui; Fangping Lan; Anduo Wang (APNet, 2021)

Fauré: A Partial Approach to Network Analysis. - Fangping Lan; Bin Gui; Anduo Wang (HotNets, 2021)

Sarasate: a strong representation system for networking policies. - Bin Gui; Fangping Lan; Anduo Wang (SIGCOMM Posters and Demos, 2021)

A Network Use for Incomplete Knowledge Management. - Anduo Wang; Fangping Lan (CIDR, 2022)

Design and Implementation of a Strong Representation System for Network Policies. - Fangping Lan; Sanchari Biswas; Bin Gui; Jie Wu 001; Anduo Wang (ICCCN, 2022)

Indirect Network Troubleshooting with The Chase. - Mubashir Anwar; Fangping Lan; Anduo Wang; Matthew Caesar 001 (APNet, 2023)

Structural Semantics Management: an Application of the Chase in Networking. - Anduo Wang; Mubashir Anwar; Fangping Lan; Matthew Caesar 001 (MASCOTS, 2023)

Demo: Structural Network Minimization: A Case of Reflective Networking. - Mubashir Anwar; Anduo Wang; Fangping Lan; Matthew Caesar 001 (SIGCOMM, 2023)