基本信息
姓名: AA BB
科研机构: Alibaba Group
注册时间: 2019-06-16
活跃度: 1173
关注的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2022-04-222022-06-212022-08-22
cb1ICFEMInternational Conference on Formal Engineering Methods2022-04-102022-06-262022-10-24
aa*a1FSEACM SIGSOFT Symposium on the Foundations of Software Engineering2022-03-102022-06-142022-11-14
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2022-02-272022-04-102022-07-08
bab1SATInternational Conference on Theory and Applications of Satisfiability Testing2022-02-212022-05-302022-08-02
ba*b1IJCARInternational Joint Conference on Automated Reasoning2022-02-112022-04-252022-08-07
baa1ICALPInternational Colloquium on Automata, Languages and Programming2022-02-102022-04-112022-07-04
aa*a1CAVInternational Conference on Computer Aided Verification2022-01-212022-04-302022-08-07
aa*a1SODAACM-SIAM Symposium on Discrete Algorithms2021-07-05 2022-01-09
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
全称会议日期会议地点
International Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
关注的期刊
CCF全称影响因子出版商ISSN
cInformation Processing Letters0.959Elsevier0020-0190
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bTheoretical Computer Science1.002Elsevier0304-3975
bFormal Aspects of Computing1.226Springer0934-5043
bMathematical Structures in Computer Science Cambridge University Press0960-1295
Electronic Notes in Theoretical Computer Science Elsevier1571-0661
全称影响因子出版商
Information Processing Letters0.959Elsevier
Logical Methods in Computer Science Logical Methods in Computer Science
Theoretical Computer Science1.002Elsevier
Formal Aspects of Computing1.226Springer
Mathematical Structures in Computer Science Cambridge University Press
Electronic Notes in Theoretical Computer Science Elsevier
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据.
姓名科研机构活跃度
没有找到数据.
关注的职位
职位名称雇主职位地点
没有找到数据.
职位名称雇主职位地点
没有找到数据.
浏览的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
没有找到数据.
简称全称截稿日期会议日期
没有找到数据.
浏览的期刊
CCF全称影响因子出版商ISSN
没有找到数据.
全称影响因子出版商
没有找到数据.