基本信息
姓名: Frank Xu
科研机构: School of Computer Science and Engineering
注册时间: 2017-10-15
活跃度: 2123
关注的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
NFMNASA Formal Methods Symposium2022-12-092023-02-202023-05-16
cSSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2022-08-052022-09-232022-11-15
bb1SEFMInternational Conference on Software Engineering and Formal Methods2022-06-202022-08-072022-09-28
aa*a2ESECEuropean Software Engineering Conference2022-03-102022-06-142022-11-14
bb1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
cb1SEAAEuromicro Conference on Software Engineering and Advanced Applications2021-04-202021-05-252021-09-01
b2ICSCInternational Conference on Semantic Computing2020-10-122020-11-252021-01-27
bb1KESInternational Conference on Knowledge-Based and Intelligent Information & Engineering Systems2020-05-152020-06-052020-09-16
bb1ARESInternational Conference on Availability, Reliability and Security2020-04-152020-06-032020-08-24
SCSSSScandinavian Conference System and Software Safety2017-11-08 2018-05-21
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
ab1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
全称会议日期会议地点
International Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
International Symposium on Formal Methods2018-07-15Oxford, UK
关注的期刊
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据.
姓名科研机构活跃度
没有找到数据.
关注的职位
职位名称雇主职位地点
没有找到数据.
职位名称雇主职位地点
没有找到数据.
浏览的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
没有找到数据.
简称全称截稿日期会议日期
没有找到数据.
浏览的期刊
CCF全称影响因子出版商ISSN
没有找到数据.
全称影响因子出版商
没有找到数据.