基本信息
姓名: Frank Xu
科研机构: School of Computer Science and Engineering
注册时间: 2017-10-15
活跃度: 2123
关注的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
aa*a1SOSPACM Symposium on Operating Systems Principles2024-04-122024-08-052024-11-04
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
aa*a1FOCSIEEE Symposium on Foundations of Computer Science2024-04-042024-07-012024-10-27
cab5ICSSPInternational Conference on Software and Systems Process2024-03-222024-04-302024-09-04
baa2MODELSInternational Conference on Model Driven Engineering Languages and Systems2024-03-212024-06-172024-09-22
bb1QRSInternational Conference on Software Quality, Reliability and Security2024-03-112024-05-062024-07-01
bab1LCTESACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems2024-02-162024-04-012024-06-24
bb1SafeCompInternational Conference on Computer Safety, Reliability and Security2024-02-042024-04-212024-09-17
ba*b1IJCARInternational Joint Conference on Automated Reasoning2024-01-292024-03-282024-07-01
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
参加的会议
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
没有找到数据.
全称影响因子出版商
没有找到数据.