Login / Signup
Yingwen Lin
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Multipath
Mimo Ofdm Systems
Wireless Ad Hoc Networks
Multi Path Routing
Top Venues
TASE
</>
Publications
</>
Yingwen Lin
,
Yao Zhang
,
Sen Chen
,
Fu Song
,
Xiaofei Xie
,
Xiaohong Li
,
Lintan Sun
Inferring Loop Invariants for Multi-Path Loops.
TASE
(2021)