基本信息
姓名: Zy Ming
科研机构: Guizhou University
注册时间: 2022-07-18
活跃度: 125
关注的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-02-012025-04-012025-07-14
bba2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2024-10-012024-11-082025-01-20
ccb1CSLConference on Computer Science Logic2024-07-182024-10-272025-02-10
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
ab1ICLPInternational Conference on Logic Programming2022-01-142022-03-142022-07-31
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
没有找到数据.
全称会议日期会议地点
没有找到数据.
关注的期刊
CCF全称影响因子出版商ISSN
bFormal Methods in System Design0.700Springer0925-9856
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
全称影响因子出版商
Formal Methods in System Design0.700Springer
Logical Methods in Computer Science Logical Methods in Computer Science
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据.
姓名科研机构活跃度
没有找到数据.
关注的职位
职位名称雇主职位地点
没有找到数据.
职位名称雇主职位地点
没有找到数据.
浏览的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
没有找到数据.
简称全称截稿日期会议日期
没有找到数据.
浏览的期刊
CCF全称影响因子出版商ISSN
没有找到数据.
全称影响因子出版商
没有找到数据.