Yongxin Zhao - Publications, H-index & Citations

赵

赵涌鑫 (Yongxin Zhao)

chinese academy of sciences

10H指数

97论文数

410被引数

收录论文 10

发表时间

Investigation into the Allergenicity and Functional Properties of Soybean 7S Protein upon Ultrasound-Assisted Punicalagin Binding 研究超声波辅助没食子儿茶素结合对大豆7S蛋白过敏原性和功能性质的影响

Journal of Agricultural and Food Chemistry

IF6.2

2026-03-15

PREAI

Yan Xu; Jialu Shi; Xin Wang; Tao Wang; Yongxin Zhao; Yuanhang Yao; Quancai Sun; G. S. Vijaya Raghavan; Jing Huang; Jin Wang

NL2ACSL : Interactively translating natural language to ANSI C specification language with large language models NL2ACSL: 使用大型语言模型将自然语言交互转换为ANSI C规范语言

Knowledge-Based Systems

IF7.6

2025-12-23

PREAI

Wenxian Su; Xi Wu; Yongxin Zhao

Cobalt nanoparticle-embedded boron nitride hollow spheres for adsorption-accelerated persulfate-driven degradation of organic pollutants 钴纳米粒子嵌入的氮化硼空心球用于吸附加速过硫酸盐驱动的有机污染物降解

Progress in Natural Science: Materials International

IF0

2025-11-26

PREAI

Pengcheng Dai; Yongxin Zhao; Lin Shi; Yan Feng; Xiangjian Wang; Yang Li; Debin Kong; Xinghao Zhang

A Method of Inertial Regularized ADMM for Separable Nonconvex Optimization Problems

SOFT COMPUTING

IF2.5

2023-08-08

PREAI

Chao, Miantao; Geng, Yueqi; Zhao, Yongxin

Formal Analysis of TSN Scheduler for Real-Time Communications

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2021-09-01

PREAI

Lv, Jin; Zhao, Yongxin; Wu, Xi; Li, Yongjian; Wang, Qiang

Isolation Modeling and Analysis Based on Mobility

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2019-02-26

PREAI

Jiang, Jian-Min; Zhu, Huibiao; Li, Qin; Zhao, Yongxin; Hong, Zhong; Zhang, Shi; Gong, Ping

A feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus

IEEE ACCESS

IF3.6

2019-01-01

OAAI

Zhang, Peng; Liu, Yu; Shi, Jianqi; Huang, Yanhong; Zhao, Yongxin

Semantic theories of programs with nested interrupts

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2015-02-03

PREAI

Huang, Yanhong; He, Jifeng; Zhu, Huibiao; Zhao, Yongxin; Shi, Jianqi; Qin, Shengchao

A UTP semantic model for Orc language with execution status and fault handling

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2014-08-26

PREAI

Li, Qin; Zhao, Yongxin; Zhu, Huibiao; He, Jifeng

A novel requirement analysis approach for periodic control systems

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-01-28

PREAI

Wang, Zheng; Pu, Geguang; Li, Jiangwen; Chen, Yuxiang; Zhao, Yongxin; Chen, Mingsong; Gu, Bin; Yang, Mengfei; He, Jifeng

研究方向

可信人工智能：因果推断大模型AI安全AI鲁棒性可解释和公平性可信软件工程：智能系统网络协议等各类系统及软件的可信建模分析验证和应用研究形式化方法：程序统一理论形式语义理论形式建模与分析形式验证定理证明

合作学者

合作期刊