Login / Signup
Likun Yang
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 3
Top Topics
Bounded Model Checking
Visual Exploration
Formal Verification
Data Sharing
Top Venues
CoRR
WCNC Workshops
Trans. Emerg. Telecommun. Technol.
</>
Publications
</>
Likun Yang
,
Xiaokun Feng
,
Xiaotang Chen
,
Shiyu Zhang
,
Kaiqi Huang
See Your Heart: Psychological states Interpretation through Visual Creations.
CoRR
(2023)
Jintian Lu
,
Yunyi Zhang
,
Likun Yang
,
Shuyuan Jin
Inter-cloud secure data sharing and its formal verification.
Trans. Emerg. Telecommun. Technol.
33 (1) (2022)
Y. Zhengwu
,
Changyou Fu
,
Zengshan Tian
,
Likun Yang
Dual-band OFDM Signal Excitation based RFID Channel Estimation and Single-station Ranging.
WCNC Workshops
(2021)
Zhigang Che
,
Liangcai Xiong
,
Tielin Shi
,
Zirong Tang
,
Huayang Cheng
,
Likun Yang
Numerical and experimental study of Microscale Laser Shock Processing using excimer laser.
NEMS
(2009)