Login / Signup
Jinyan Cao
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 1
Top Topics
Internet Users
Formal Analysis
Image Brightness
Noise Sensitivity
Top Venues
Remote. Sens.
INFOCOM
</>
Publications
</>
Liming Fan
,
Shuhai Yu
,
Xing Zhong
,
Maosheng Chen
,
Dong Wang
,
Jinyan Cao
,
Xiyan Cai
A General Relative Radiometric Correction Method for Vignetting Noise Drift.
Remote. Sens.
15 (21) (2023)
Anduo Wang
,
Alexander J. T. Gurney
,
Xianglong Han
,
Jinyan Cao
,
Boon Thau Loo
,
Carolyn L. Talcott
,
Andre Scedrov
A reduction-based approach towards scaling up formal analysis of internet configurations.
INFOCOM
(2014)
Anduo Wang
,
Alexander J. T. Gurney
,
Xianglong Han
,
Jinyan Cao
,
Carolyn L. Talcott
,
Boon Thau Loo
,
Andre Scedrov
Reduction-based analysis of BGP systems with BGPVerif.
SIGCOMM
(2012)