Son N. Le

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 2

Top Topics

Formal Verification

Underwater Acoustic

Inertial Navigation

Top Venues

Publications

Son N. Le, Sudarshan K. Srinivasan, Scott C. Smith
Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits. MWSCAS (2020)
Son N. Le, Sudarshan K. Srinivasan, Scott C. Smith
Formal Verification of Completion-Completeness for NCL Circuits. MWSCAS (2020)
Lina Pu, Yu Luo, Haining Mo, Son N. Le, Zheng Peng, Jun-Hong Cui, Zaihan Jiang
Comparing underwater MAC protocols in real sea experiments. Comput. Commun. 56 (2015)
Son N. Le, Jun Liu, Zheng Peng, Jiaxing Che, Yu Luo, Jun-Hong Cui
Seamark-assisted Inertial Navigation for Autonomous Underwater Vehicles. WUWNet (2014)
Yibo Zhu, Son N. Le, Zheng Peng, Jun-Hong Cui
Distributed on-demand MAC scheduling for underwater acoustic networks. GLOBECOM (2014)
Son N. Le, Yibo Zhu, Zheng Peng, Jun-Hong Cui, Zaihan Jiang
PMAC: a real-world case study of underwater MAC. WUWNet (2013)
Son N. Le, Zheng Peng, Jun-Hong Cui, Hao Zhou, Janny Liao
SeaLinx: a multi-instance protocol stack architecture for underwater networking. WUWNet (2013)
Haining Mo, Son N. Le, Zheng Peng, Zhijie Shi, Jun-Hong Cui
Aqua-OS: An Operating System for Underwater Acoustic Networks. WASA (2012)
Son N. Le, Michael Zuba, Zheng Peng, Jun-Hong Cui, Jie Wang
Deployment framework for mobile underwater wireless networks with node reuse. GLOBECOM (2012)
Zhong Zhou, Son N. Le, Jun-Hong Cui
An OFDM based MAC protocol for underwater acoustic networks. WUWNet (2010)