基本信息
姓名: Zy Ming
科研机构: Guizhou University
注册时间: 2022-07-18
活跃度: 125
研究兴趣画像 系统自动生成

根据浏览过的会议与期刊，该研究者最可能关注的研究方向是 软件工程, 安全与隐私。 高频浏览的会议 / 期刊包括 CAV, VMCAI, CSL, TASE, ICLP。

简历
关注的会议
总计5条数据。
CCFICOREQUALIS简称全称截稿日期通知日期会议日期
BB1ICLPInternational Conference on Logic Programming2026-01-312026-03-122026-07-20
AA*A1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
BBA2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
CBB1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
CB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
参加的会议
CCFICOREQUALIS简称全称会议日期会议地点
没有找到数据。
关注的期刊
总计2条数据。
CCF全称影响因子出版商ISSN
BFormal Methods in System Design0.8Springer0925-9856
CLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据。