Son N. Le

According to our database, Son N. Le authored at least 10 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Formal Verification of Completion-Completeness for NCL Circuits.

Son N. Le, Sudarshan K. Srinivasan, Scott C. Smith

Proceedings of the 63rd IEEE International Midwest Symposium on Circuits and Systems, 2020

Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits.

Son N. Le, Sudarshan K. Srinivasan, Scott C. Smith

Proceedings of the 63rd IEEE International Midwest Symposium on Circuits and Systems, 2020

2015

Comparing underwater MAC protocols in real sea experiments.

Lina Pu, Yu Luo, Haining Mo, Son N. Le, Zheng Peng, Jun-Hong Cui, Zaihan Jiang

Comput. Commun., 2015

2014

Seamark-assisted Inertial Navigation for Autonomous Underwater Vehicles.

Son N. Le, Jun Liu, Zheng Peng, Jiaxing Che, Yu Luo, Jun-Hong Cui

Proceedings of the International Conference on Underwater Networks & Systems, Rome, Italy, November 12, 2014

Distributed on-demand MAC scheduling for underwater acoustic networks.

Yibo Zhu, Son N. Le, Zheng Peng, Jun-Hong Cui

Proceedings of the IEEE Global Communications Conference, 2014

2013

PMAC: a real-world case study of underwater MAC.

Son N. Le, Yibo Zhu, Zheng Peng, Jun-Hong Cui, Zaihan Jiang

Proceedings of the Conference on Underwater Networks and Systems, 2013

SeaLinx: a multi-instance protocol stack architecture for underwater networking.

Son N. Le, Zheng Peng, Jun-Hong Cui, Hao Zhou, Janny Liao

Proceedings of the Conference on Underwater Networks and Systems, 2013

2012

Aqua-OS: An Operating System for Underwater Acoustic Networks.

Haining Mo, Son N. Le, Zheng Peng, Zhijie Shi, Jun-Hong Cui

Proceedings of the Wireless Algorithms, Systems, and Applications, 2012

Deployment framework for mobile underwater wireless networks with node reuse.

Son N. Le, Michael Zuba, Zheng Peng, Jun-Hong Cui, Jie Wang

Proceedings of the 2012 IEEE Global Communications Conference, 2012

2010

An OFDM based MAC protocol for underwater acoustic networks.

Zhong Zhou, Son N. Le, Jun-Hong Cui

Proceedings of the Workshop on Underwater Networks, 2010