Conference Partner » 科研人员: Xianqi Zhao
基本信息
姓名: Xianqi Zhao
科研机构: Beihang University
注册时间: 2014-09-08
活跃度: 54
CV
关注的会议
第11-14条，共14条数据.
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
baa2EMSOFTInternational Conference on Embedded Software 2025-03-232025-07-132025-09-28
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
aa*a2LICSIEEE Symposium on Logic in Computer Science2025-01-162025-04-082025-06-23
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
没有找到数据。
全称会议日期会议地点
没有找到数据。
关注的期刊
第1-6条，共6条数据.
CCF全称影响因子出版商ISSN
bFormal Methods in System Design0.700Springer0925-9856
cJournal of Symbolic LogicAssociation for Symbolic Logic0022-4812
cJournal of Logic and Computation0.700Oxford University Press0955-792X
cThe Journal of Logic and Algebraic ProgrammingElsevier1567-8326
cLogical Methods in Computer ScienceLogical Methods in Computer Science1860-5974
bFormal Aspects of Computing1.400ACM0934-5043
第1-6条，共6条数据.
全称影响因子出版商
Formal Methods in System Design0.700Springer
Journal of Symbolic LogicAssociation for Symbolic Logic
Journal of Logic and Computation0.700Oxford University Press
The Journal of Logic and Algebraic ProgrammingElsevier
Logical Methods in Computer ScienceLogical Methods in Computer Science
Formal Aspects of Computing1.400ACM
关注的科研人员
第1-3条，共3条数据.
姓名科研机构注册时间Score
Xiaox LeeBeihang University2014-09-29542
Feng ZhangBeihang University2014-08-302320
Dou SunConference Partner2011-02-24145911
第1-3条，共3条数据.
姓名科研机构Score
Xiaox LeeBeihang University542
Feng ZhangBeihang University2320
Dou SunConference Partner145911

惊喜