Login / Signup
Jinhui Lai
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 3
Top Topics
Neyman Pearson
Consistency Checking
Shot Detection
Software Design
Top Venues
USENIX ATC
ICBAR
IEEE Access
</>
Publications
</>
Chen Gao
,
Xiangwei Meng
,
Wei Li
,
Jinhui Lai
,
Yiran Zhang
,
Fengyuan Ren
CrossMapping: Harmonizing Memory Consistency in Cross-ISA Binary Translation.
USENIX ATC
(2024)
Xi Wang
,
Jinhui Lai
,
Yijia Ouyang
,
Hui Xu
A Method for Formal Model Generation in the Teaching of Software Design and Analysis.
ICBAR
(2023)
Yu Wang
,
Xiaojuan Ban
,
Huan Wang
,
Di Wu
,
Hao Wang
,
Shouqing Yang
,
Sinuo Liu
,
Jinhui Lai
Detection and Classification of Moving Vehicle From Video Using Multiple Spatio-Temporal Features.
IEEE Access
7 (2019)
Song Liang
,
Jinhui Lai
,
Delong Cui
Efficient Image Watermarking Algorithm Using Non-negative Matrix Factorization and Discrete Wavelet Transform.
ICICA (2)
(2012)