Wanyun Su

According to our database, Wanyun Su authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions.

Wanyun Su, Zhilin Wu, Mihaela Sighireanu

CoRR, 2024

2022

Modeling and Analysis of Runway Friction Coefficient Prediction Methods Based on Multivariable Coupling.

Yadong Niu, Xuewen Lu, Xingyu Li, Wanyun Su, Zhaozong Meng, Sixiang Zhang

IEEE Trans. Instrum. Meas., 2022

Research on Feature Extraction and Classification Methods to Improve the Recognition Rate of Monomers Assembly Defects in Thermal Battery.

Wei Zhou, Wanyun Su, Xingyu Li, Zhaozong Meng, Shanshan Li

IEEE Access, 2022