Design and Analysis of a Backpressure Congestion Control Algorithm in Wireless Sensor Network. - Ying Ouyang; Chuang Lin 002; Fengyuan Ren; Hongkun Yang; Xiaomeng Huang; Ting Liu (PDCAT, 2007)

Analyzing the Reliability of Group Transmission in Wireless Sensor Network. - Hao Wen 014; Hongkun Yang; Chuang Lin 002; Fengyuan Ren; Yao Yue; Jia Zhou (GLOBECOM, 2008)

Joint Adaptive Redundancy and Partial Retransmission for Reliable Transmission in Wireless Sensor Networks. - Hao Wen 014; Chuang Lin 002; Fengyuan Ren; Hongkun Yang; Tao He 008; Eryk Dutkiewicz (IPCCC, 2008)

A Novel Cookie-Based DDoS Protection Scheme and its Performance Analysis. - Rongfei Zeng; Chuang Lin 002; Hongkun Yang; Yuanzhuo Wang; Yang Wang 018; Peter D. Ungsunan (AINA, 2009)

An Effective Early Warning Scheme against Pollution Dissemination for BitTorrent. - An'an Luo; Chuang Lin 002; Yixin Jiang; Xiaowen Chu 001; Hongkun Yang (GLOBECOM, 2009)

Security Analysis for Online Banking System Using Hierarchical Stochastic Game Nets Model. - Yuanzhuo Wang; Chuang Lin 002; Kun Meng; Hongkun Yang; Junjie Lv (GLOBECOM, 2009)

Optimization of Energy Efficient Transmission in Underwater Sensor Networks. - Hongkun Yang; Bin Liu 004; Fengyuan Ren; Hao Wen 014; Chuang Lin 002 (GLOBECOM, 2009)

Idle Detection Based Optimal Throughput Rate Adaptation in Multi-Rate WLANs. - Bin Liu 004; Fengyuan Ren; Hongkun Yang; Chuang Lin 002 (SECON, 2009)

Hybrid simulation of biochemical systems using hybrid adaptive Petri nets. - Hongkun Yang; Chuang Lin 002; Quan-Lin Li (VALUETOOLS, 2009)

Optimization of Energy Efficient Transmission in Underwater Sensor Networks - Hongkun Yang; Bin Liu 004 (CoRR, 2009)

Frequency-Domain Packet Scheduling for 3GPP LTE Uplink. - Hongkun Yang; Fengyuan Ren; Chuang Lin 002; Jiao Zhang 002 (INFOCOM, 2010)

Energy efficient cooperation in underwater sensor networks. - Hongkun Yang; Fengyuan Ren; Chuang Lin 002; Bin Liu 004 (IWQoS, 2010)

Efficient verification of network reachability properties. - Hongkun Yang (ICNP, 2013)

Frequency Domain Packet Scheduling with Stability Analysis for 3GPP LTE Uplink. - Fengyuan Ren; Yinsheng Xu; Hongkun Yang; Jiao Zhang 002; Chuang Lin 002 (IEEE Trans. Mob. Comput., 2013)

Frequency Domain Packet Scheduling with MIMO for 3GPP LTE Downlink. - Yinsheng Xu; Hongkun Yang; Fengyuan Ren; Chuang Lin 002; Xuemin (Sherman) Shen (IEEE Trans. Wirel. Commun., 2013)

Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane. - Hongkun Yang; Simon S. Lam (ICNP, 2014)

Dynamic Routing for Data Integrity and Delay Differentiated Services in Wireless Sensor Networks. - Jiao Zhang 002; Fengyuan Ren; Shan Gao; Hongkun Yang; Chuang Lin 002 (IEEE Trans. Mob. Comput., 2015)

SICS: Secure In-Cloud Service Function Chaining. - Huazhe Wang; Xin Li 057; Yu Zhao 010; Ye Yu 001; Hongkun Yang; Chen Qian 001 (CoRR, 2016)

Real-Time Verification of Network Properties Using Atomic Predicates. - Hongkun Yang; Simon S. Lam (IEEE/ACM Trans. Netw., 2016)

Practical Network-Wide Packet Behavior Identification by AP Classifier. - Huazhe Wang; Chen Qian 001; Ye Yu 001; Hongkun Yang; Simon S. Lam (IEEE/ACM Trans. Netw., 2017)

Scalable Verification of Networks With Packet Transformers Using Atomic Predicates. - Hongkun Yang; Simon S. Lam (IEEE/ACM Trans. Netw., 2017)

Incremental Network Configuration Verification. - Peng Zhang 011; Yuhao Huang; Aaron Gember-Jacobson; Wenbo Shi; Xu Liu 013; Hongkun Yang; Zhiqiang Zuo 002 (HotNets, 2020)

APKeep: Realtime Verification for Real Networks. - Peng Zhang 011; Xu Liu 013; Hongkun Yang; Ning Kang 003; Zhengchang Gu; Hao Li 011 (NSDI, 2020)

SICS: Secure and Dynamic Middlebox Outsourcing. - Huazhe Wang; Xin Li 057; Yang Wang 009; Yu Zhao 010; Ye Yu 001; Hongkun Yang; Chen Qian 001 (IEEE/ACM Trans. Netw., 2020)

Aggregate Dispatchable Power of Virtual Power Plants Considering Wind and Solar Uncertainty. - Jinhua Tian; Zhong Zhang; Genhong Qi; Shuguang Hu; Wenbin Liu; Hongkun Yang (iSPEC, 2023)

NDD: A Decision Diagram for Network Verification. - Zechun Li; Peng Zhang 011; Yichi Zhang; Hongkun Yang (NSDI, 2025)