Login / Signup
Wanyun Su
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Inductive Reasoning
Data Driven Approaches
Quantifier Free
Epistemic Logic
Top Venues
CoRR
IEEE Trans. Instrum. Meas.
IEEE Access
</>
Publications
</>
Wanyun Su
,
Zhilin Wu
,
Mihaela Sighireanu
Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions.
CoRR
(2024)
Wei Zhou
,
Wanyun Su
,
Xingyu Li
,
Zhaozong Meng
,
Shanshan Li
Research on Feature Extraction and Classification Methods to Improve the Recognition Rate of Monomers Assembly Defects in Thermal Battery.
IEEE Access
10 (2022)
Yadong Niu
,
Xuewen Lu
,
Xingyu Li
,
Wanyun Su
,
Zhaozong Meng
,
Sixiang Zhang
Modeling and Analysis of Runway Friction Coefficient Prediction Methods Based on Multivariable Coupling.
IEEE Trans. Instrum. Meas.
71 (2022)