基本信息
姓名: Xianqi Zhao
科研机构: Beihang University
注册时间: 2014-09-08
活跃度: 54
关注的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
bb1FMInternational Symposium on Formal Methods2021-04-302021-07-162021-11-20
cab2ICSTInternational Conference on Software Testing, Verification and Validation2020-10-052020-12-112021-04-12
aa*a1ICSEInternational Conference on Software Engineering2020-08-28 2021-05-23
cbb1FSTTCSIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science2020-07-172020-09-142020-12-14
cbb3LOPSTRInternational Symposium on Logic-Based Program Synthesis and Transformation2020-06-052020-07-122020-09-07
cb1FMCADFormal Methods in Computer-Aided Design2020-05-092020-07-022020-09-21
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2020-05-062020-06-242020-10-26
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2020-05-042020-06-292020-08-24
cb1ICFEMInternational Conference on Formal Engineering Methods2020-05-012020-06-192020-11-02
baa2EMSOFTInternational Conference on Embedded Software 2020-04-032020-07-062020-10-11
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
没有找到数据.
全称会议日期会议地点
没有找到数据.
关注的期刊
CCF全称影响因子出版商ISSN
bFormal Methods in System Design0.875Springer0925-9856
cJournal of Symbolic Logic Association for Symbolic Logic0022-4812
cJournal of Logic and Computation0.586Oxford University Press0955-792X
cThe Journal of Logic and Algebraic ProgrammingElsevier1567-8326
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bFormal Aspects of Computing1.226Springer0934-5043
全称影响因子出版商
Formal Methods in System Design0.875Springer
Journal of Symbolic Logic Association for Symbolic Logic
Journal of Logic and Computation0.586Oxford University Press
The Journal of Logic and Algebraic ProgrammingElsevier
Logical Methods in Computer Science Logical Methods in Computer Science
Formal Aspects of Computing1.226Springer
关注的科研人员
姓名科研机构注册时间活跃度
Xiaox LeeBeihang University2014-09-29542
Feng ZhangBeihang University2014-08-301784
Dou SunConference Partner2011-02-2484879
姓名科研机构活跃度
Xiaox LeeBeihang University542
Feng ZhangBeihang University1784
Dou SunConference Partner84879
关注的职位
职位名称雇主职位地点
没有找到数据.
职位名称雇主职位地点
没有找到数据.
浏览的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
没有找到数据.
简称全称截稿日期会议日期
没有找到数据.
浏览的期刊
CCF全称影响因子出版商ISSN
没有找到数据.
全称影响因子出版商
没有找到数据.