Datacast: a scalable and efficient reliable group data delivery service for data centers. - Jiaxin Cao; Chuanxiong Guo; Guohan Lu; Yongqiang Xiong; Yixin Zheng; Yongguang Zhang; Yibo Zhu; Chen Chen 019 (CoNEXT, 2012)

Reduction-based security analysis of Internet routing protocols. - Chen Chen 019; Limin Jia 001; Boon Thau Loo; Wenchao Zhou (ICNP, 2012)

Datacast: A Scalable and Efficient Reliable Group Data Delivery Service for Data Centers. - Jiaxin Cao; Chuanxiong Guo; Guohan Lu; Yongqiang Xiong; Yixin Zheng; Yongguang Zhang; Yibo Zhu; Chen Chen 019; Ye Tian 004 (IEEE J. Sel. Areas Commun., 2013)

Proof-based Verification of Software Defined Networks. - Chen Chen 019; Limin Jia 001; Wenchao Zhou; Boon Thau Loo (ONS, 2014)

Automated verification of safety properties of declarative networking programs. - Chen Chen 019; Lay Kuan Loh; Limin Jia 001; Wenchao Zhou; Boon Thau Loo (PPDP, 2015)

A scalable multi-datacenter layer-2 network architecture. - Chen Chen 019; Changbin Liu; Pingkai Liu; Boon Thau Loo; Ling Ding 002 (SOSR, 2015)

A Program Logic for Verifying Secure Routing Protocols. - Chen Chen 019; Limin Jia 001; Hao Xu; Cheng Luo; Wenchao Zhou; Boon Thau Loo (Log. Methods Comput. Sci., 2015)

Distributed Provenance Compression. - Chen Chen 019; Harshal Tushar Lehri; Lay Kuan Loh; Anupam Alur; Limin Jia 001; Boon Thau Loo; Wenchao Zhou (SIGMOD Conference, 2017)

Data Center Diagnostics with Network Provenance. - Ang Chen 001; Chen Chen 019; Lay Kuan Loh; Yang Wu; Andreas Haeberlen; Limin Jia 001; Boon Thau Loo; Wenchao Zhou (IEEE Data Eng. Bull., 2018)

Provenance for Probabilistic Logic Programs. - Shaobo Wang; Hui Lyu; Jiachi Zhang 001; Chenyuan Wu; Xinyi Chen 004; Wenchao Zhou; Boon Thau Loo; Susan B. Davidson; Chen Chen 019 (EDBT, 2020)