logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
L

Liangze Yin

national university of defense technology

10H指数
49论文数
293被引数
收录论文 9
发表时间
logo
Hetrify+: Improving the Verification Efficiency of RISC-V Heterogeneous Programs via Memory Access SpecializationHetrify+: 通过内存访问特化提高RISC-V异构程序验证效率
errIEEE Transactions on Software Engineering
IF5.6
err2026-05-12
err0
PREAI
errYiwei Li; Jiaxin Liu; Liangze Yin; Wei Dong; Shanshan Li; Jin Zhang
err分享
err收藏
BCCIC3: Batch Clause Construction Enhanced Generalization in IC3
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
err2026-01-01
err0
PREAI
errChen, Yi; Gong, Xinyi; Yin, Liangze; Wang, Ji; Wang, Ting
err分享
err收藏
HeteroWaveVD: A Heterogeneous Wavelet-Enhanced Source Code Vulnerability Detection FrameworkHeteroWaveVD：一种异构小波增强型源代码漏洞检测框架
errNEURAL INFORMATION PROCESSING, ICONIP 2025, PT VI
IF0
err2026-01-01
err0
PREAI
errLi, Zhen; Li, Yuhan; Yin, Liangze; Wang, Ji
err分享
err收藏
A Self-Learning Noise-Resistant Zeroing Neural Network for Dynamic Equations and Its Applications一种用于动态方程的自学习抗噪零化神经网络及其应用
errIEEE Transactions on Systems, Man, and Cybernetics: Systems
IF0
err2025-09-30
err0
PREAI
errYiwei Li; Jiaxin Liu; Lin Xiao; Qiuyue Zuo; Liangze Yin; Wei Dong
err分享
err收藏
Noise-resistant predefined-time convergent ZNN models for dynamic least squares and multi-agent systems抗噪声预设定时收敛的ZNN模型，用于动态最小二乘和多智能体系统
errNEURAL NETWORKS
IF6.3
err2025-07-01
err0
PREAI
errLi, Yiwei; Liu, Jiaxin; Jia, Lei; Yin, Liangze; Li, Xingpei; Zhang, Yong
err分享
err收藏
Corrigendum to “Noise-resistant predefined-time convergent ZNN models for dynamic least squares and multi-agent systems” [Neural Networks 187 (2025) 107412]勘误表：“Noise-resistant predefined-time convergent ZNN models for dynamic least squares and multi-agent systems” [Neural Networks 187 (2025) 107412]
errNeural Networks
IF6.3
err2025-06-02
err0
PREAI
errYiwei Li; Jiaxin Liu; Lei Jia; Liangze Yin; Xingpei Li; Yong Zhang
err分享
err收藏
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2020-05-01
err21
PREAI
errYin, Liangze; Dong, Wei; Liu, Wanwei; Wang, Ji
err分享
err收藏
Efficient software product-line model checking using induction and a SAT solver使用感应和SAT求解器进行有效的软件产品线模型检查
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2018-02-07
err4
PREAI
errHe, Fei; Gao, Yuan; Yin, Liangze
err分享
err收藏
Maxterm Covering for Satisfiability
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2012-03-01
err14
PREAI
errYin, Liangze; He, Fei; Hung, William N. N., Sr.; Song, Xiaoyu, Sr.; Gu, Ming
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
张
张勇 (Yong Zhang)
H 指数: 94 · 论文数: 1.1K
L
Lin Xiao
H 指数: 65 · 论文数: 473
Y
Yuan Gao
H 指数: 46 · 论文数: 331
贾
贾磊 (Lei Jia)
H 指数: 36 · 论文数: 390
X
Xiaoyu Song
H 指数: 35 · 论文数: 402
查看更多