An OFDM based MAC protocol for underwater acoustic networks. - Zhong Zhou; Son N. Le; Jun-Hong Cui (WUWNet, 2010)

Deployment framework for mobile underwater wireless networks with node reuse. - Son N. Le; Michael Zuba; Zheng Peng 001; Jun-Hong Cui; Jie Wang 002 (GLOBECOM, 2012)

Aqua-OS: An Operating System for Underwater Acoustic Networks. - Haining Mo; Son N. Le; Zheng Peng 001; Zhijie Shi; Jun-Hong Cui (WASA, 2012)

SeaLinx: a multi-instance protocol stack architecture for underwater networking. - Son N. Le; Zheng Peng 001; Jun-Hong Cui; Hao Zhou; Janny Liao (WUWNet, 2013)

PMAC: a real-world case study of underwater MAC. - Son N. Le; Yibo Zhu; Zheng Peng 001; Jun-Hong Cui; Zaihan Jiang (WUWNet, 2013)

Distributed on-demand MAC scheduling for underwater acoustic networks. - Yibo Zhu; Son N. Le; Zheng Peng 001; Jun-Hong Cui (GLOBECOM, 2014)

Seamark-assisted Inertial Navigation for Autonomous Underwater Vehicles. - Son N. Le; Jun Liu 006; Zheng Peng 001; Jiaxing Che; Yu Luo 001; Jun-Hong Cui (WUWNet, 2014)

Comparing underwater MAC protocols in real sea experiments. - Lina Pu; Yu Luo 001; Haining Mo; Son N. Le; Zheng Peng 001; Jun-Hong Cui; Zaihan Jiang (Comput. Commun., 2015)

Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits. - Son N. Le; Sudarshan K. Srinivasan; Scott C. Smith (MWSCAS, 2020)

Formal Verification of Completion-Completeness for NCL Circuits. - Son N. Le; Sudarshan K. Srinivasan; Scott C. Smith (MWSCAS, 2020)