Wensheng Yu

A Formalization of Properties of Continuous Functions on Closed Intervals

Yaoshun Fu, Wensheng Yu, 2020, ICMS.

Static routing, modulation, spectrum, and space allocation in space division multiplexed-elastic optical networks with bundles of single-mode fiber

Xiangjun Xin, Qi Zhang, Bo Tian, 2019, Optical Engineering.

A Formal System of Axiomatic Set Theory in Coq

Wensheng Yu, Tianyu Sun, 2020, IEEE Access.

A Formal Verification Framework for Security Issues of Blockchain Smart Contracts

Wensheng Yu, Tianyu Sun, Tianyu Sun, 2020 .