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

Xiaomei Zhong

southwest jiaotong university

7H指数
37论文数
147被引数
收录论文 6
发表时间
logo
Towards multi-clause automated deduction and theorem generation: Constructing and applying standard contradictions走向多子句自动演绎和定理生成: 构建和应用标准矛盾
errKNOWLEDGE-BASED SYSTEMS
IF7.6
err2026-01-21
err0
PREAI
errXu, Yang; Chen, Shuwei; Zhong, Xiaomei; Liu, Jun; He, Xingxing
err分享
err收藏
Local Re-Encoding for Coded Matrix Multiplication
errieee open journal of the industrial electronics society
IF6.1
err2022-01-01
err1
errOAAI
errSu, Xian; Parker, Jared; Zhong, Xiaomei; Fan, Xiaodi; Li, Jun
err分享
err收藏
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic ProtocolsLoet-e: 一种用于证明密码协议安全性的改进理论
errIEEE ACCESS
IF3.6
err2019-01-01
err3
errOAAI
errSong, Jiawen; Xiao, Meihua; Yang, Ke; Wang, Xizhong; Zhong, Xiaomei
err分享
err收藏
Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events
errIEEE ACCESS
IF3.6
err2018-01-01
err2
errOAAI
errYang, Ke; Xiao, Meihua; Song, Jiawen; Chen, Jia; Zhong, Xiaomei; Wang, Xizhong
err分享
err收藏
Multiary α-Resolution Principle for a Lattice-Valued Logic
errIEEE TRANSACTIONS ON FUZZY SYSTEMS
IF11.9
err2013-10-01
err24
PREAI
errXu, Yang; Liu, Jun; Zhong, Xiaomei; Chen, Shuwei
err分享
err收藏
General form of α-resolution principle for linguistic truth-valued lattice-valued logic
errSOFT COMPUTING
IF2.5
err2012-06-29
err18
PREAI
errZhong, Xiaomei; Xu, Yang; Liu, Jun; Chen, Shuwei
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
刘
刘军 (Jun Liu)
H 指数: 50 · 论文数: 941
杨旭 封面图
杨旭 (Yang Xu)
H 指数: 40 · 论文数: 454
陈树伟 封面图
陈树伟 (Shuwei Chen)
H 指数: 23 · 论文数: 196
K
Ke Yang
H 指数: 22 · 论文数: 112
J
Jun Li
H 指数: 20 · 论文数: 158
查看更多