logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Shaowei Cai

chinese academy of sciences

30H-index
168Paper Count
2.9KCitation Count
Published Papers 38
Publication Date
logo
Addressing Hard Problems of Cache Coherence Protocols Verification Through Enhanced Directed Model Checking
errIEEE Transactions on Computers
IF3.8
err2026-09-16
err0
PREAI
errKun Ma; Yongjian Li; Kaifan Wang; Yongxin Zhao; Shaowei Cai
errShare
errSave
Discovering heuristics in a complex SAT solver with large language models
errNature Communications
IF15.7
err2026-07-17
err0
errOAAI
errYiwen Sun; Furong Ye; Zhihan Chen; Ke Wei; Shaowei Cai
errShare
errSave
CirOPT: Toward Effective Combinational Equivalence Checking via Compiler Optimization
errIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IF2.9
err2026-04-01
err0
PREAI
errCui, Shaoke; Luo, Chuan; Yang, Zhenwei; Lin, Jiabao; Wu, Wei; Liu, Chanjuan; Cai, Shaowei; Hu, Chunming
errShare
errSave
Local Search for Integer Quadratic Programming
errINFORMS Journal on Computing
IF2.1
err2026-01-01
err0
PREAI
errHe, Xiang; Lin, Peng; Jiang, Tao; Cai, Shaowei
errShare
errSave
Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization
errACM Transactions on Design Automation of Electronic Systems
IF2
err2026-01-01
err0
PREAI
errChen, Zhihan; Zhang, Xindi; Qian, Yuhang; Cai, Shaowei
errShare
errSave
Local-MIP: Efficient Local Search for Mixed Integer Programming
errartificial intelligence review
IF4.6
err2025-08-27
err0
PREAI
errPeng Lin; Shaowei Cai; Mengchuan Zou; Jinkun Lin
errShare
errSave
Research progress of stability and supercooling in phase change material emulsions
errINTERNATIONAL JOURNAL OF REFRIGERATION
IF3.8
err2024-12-01
err3
PREAI
errJi, Jun; Zhang, Chaoxiang; Cai, Shaowei; Zhang, Xuelai; Tong, Hui
errShare
errSave
PathLAD plus : Towards effective exact methods for subgraph isomorphism problem
errartificial intelligence review
IF4.6
err2024-12-01
err0
PREAI
errWang, Yiyuan; Jin, Chenghou; Cai, Shaowei
errShare
errSave
Optimizing local search-based partial MaxSAT solving via initial assignment prediction
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2024-11-21
err0
PREAI
errLiu, Chanjuan; Liu, Guangyuan; Luo, Chuan; Cai, Shaowei; Lei, Zhendong; Zhang, Wenjie; Chu, Yi; Zhang, Guojing
errShare
errSave
Development of highly stable low supercooling paraffin nano phase change emulsions for thermal management systems
errJOURNAL OF MOLECULAR LIQUIDS
IF5.2
err2024-11-01
err2
PREAI
errZhang, Chaoxiang; Ji, Jun; Zhang, Xuelai; Cai, Shaowei
errShare
errSave
Development and thermal property analysis of biobased binary composite heat storage materials
errJOURNAL OF ENERGY STORAGE
IF9.8
err2024-08-01
err2
PREAI
errHua, Weisan; Hu, Jinsha; Zhao, Yize; Zhang, Xuelai; Cai, Shaowei; Ji, Jun
errShare
errSave
Preparation and characterization of phase change material emulsions and their applications in liquid cooling systems for wind turbines
errAPPLIED THERMAL ENGINEERING
IF6.9
err2024-07-01
err4
PREAI
errZhang, Chaoxiang; Ji, Jun; Zhang, Xuelai; Cai, Shaowei; Hu, Jinsha
errShare
errSave
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2024-07-01
err0
PREAI
errLuo, Weilin; Chen, Polong; Wan, Hai; Zhong, Hongzhen; Cai, Shaowei; Xiao, Zhanhao
errShare
errSave
Experimental study on flexible flame retardant phase change materials for reducing thermal runaway propagation of batteries
errJOURNAL OF ENERGY STORAGE
IF9.8
err2024-06-01
err2
PREAI
errZhao, Yize; Zhang, Xuelai; Cai, Shaowei; Zhang, Can; Wu, Mingxia; Yang, Bo; Ji, Jun; Hua, Weisan
errShare
errSave
Development of bio-based flexible phase change materials utilizing lauric acid for battery thermal management systems
errJOURNAL OF ENERGY STORAGE
IF9.8
err2024-05-01
err6
PREAI
errCai, Shaowei; Ji, Jun; Zhang, Xuelai; Zhang, Can; Pan, Zhenyu; Zhang, Chaoxiang; Zhao, Yize
errShare
errSave
Recent Advances in Photovoltaic and Photovoltaic Thermal Technologies of Integrated Phase-Change Materials: A Review
errSOLAR RRL
IF4.7
err2024-03-18
err1
PREAI
errFang, Manting; Zhang, Xuelai; Liu, Yang; Cai, Shaowei
errShare
errSave
NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem
errIEEE TRANSACTIONS ON CYBERNETICS
IF10.5
err2024-03-01
err11
PREAI
errLuo, Chuan; Xing, Wenqian; Cai, Shaowei; Hu, Chunming
errShare
errSave
A review of battery thermal management systems using liquid cooling and PCM
errJOURNAL OF ENERGY STORAGE
IF9.8
err2024-01-01
err40
PREAI
errZhao, Yize; Zhang, Xuelai; Yang, Bo; Cai, Shaowei
errShare
errSave
Recent advances in phase change materials-based battery thermal management systems for electric vehicles
errJOURNAL OF ENERGY STORAGE
IF9.8
err2023-11-01
err20
PREAI
errCai, Shaowei; Zhang, Xuelai; Ji, Jun
errShare
errSave
LANDMARK: language-guided representation enhancement framework for scene graph generation
errAPPLIED INTELLIGENCE
IF3.5
err2023-08-18
err2
errOAAI
errChang, Xiaoguang; Wang, Teng; Cai, Shaowei; Sun, Changyin
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
W
W. Xu
H-index: 81 · Papers: 889
C
Changyin Sun
H-index: 73 · Papers: 859
Wenjie Zhang cover
Wenjie Zhang (Wenjie Zhang)
H-index: 59 · Papers: 767
M
Minghao Yin
H-index: 49 · Papers: 705
X
Xuelai Zhang
H-index: 47 · Papers: 211
View more