基本信息
姓名: Frank Xu
科研机构: School of Computer Science and Engineering
注册时间: 2017-10-15
活跃度: 1737
关注的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
bb1FMInternational Symposium on Formal Methods2021-04-302021-07-162021-11-20
baa1DSNInternational Conference on Dependable Systems and Networks2020-12-042021-03-082021-06-21
aa*S&PIEEE Symposium on Security and Privacy2020-12-032021-02-192021-05-23
aa1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2020-10-152020-12-232021-03-27
bETAPSEuropean Joint Conferences on Theory and Practice of Software2020-10-152020-12-232021-03-27
ba*a1AAMASInternational Joint Conference on Autonomous Agents and Multi-agent Systems2020-10-022020-12-182021-05-03
b2ICSCInternational Conference on Semantic Computing2020-09-282020-11-152021-01-27
aa*a1ICSEInternational Conference on Software Engineering2020-08-28 2021-05-23
aaa2PPoPPACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming2020-08-062020-10-102021-02-27
cSSSInternational Symposium on Stabilization, Safety, and Security of Distributed Systems2020-07-272020-09-272020-11-18
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
bb1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
全称会议日期会议地点
International Symposium on Formal Methods2018-07-15Oxford, UK
关注的期刊
CCF全称影响因子出版商ISSN
bJournal of Parallel and Distributed Computing1.819Elsevier0743-7315
bIEEE Transactions on Services Computing5.707IEEE1939-1374
aArtificial Intelligence4.483Elsevier0004-3702
cFuture Generation Computer Systems5.768Elsevier0167-739X
bKnowledge and Information Systems2.008Springer0219-1377
cKnowledge-Based Systems5.101Elsevier0950-7051
bData Mining and Knowledge Discovery3.16Springer1384-5810
bRequirements Engineering0.862Springer0947-3602
bIET Software0.733IET1751-8806
bFormal Methods in System Design0.875Springer0925-9856
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据.
姓名科研机构活跃度
没有找到数据.
关注的职位
职位名称雇主职位地点
没有找到数据.
职位名称雇主职位地点
没有找到数据.
浏览的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
AISAIEEE SERVICES Workshop on Artificial Intelligence and Services Adaption2020-04-062020-04-272020-07-20
BDEInternational Conference on Big Data Engineering2021-01-152021-02-052021-05-26
AIACTInternational Conference on Artificial Intelligence, Automation and Control Technologies2020-10-252020-11-252021-03-26
AIAATInternational Conference on Artificial Intelligence Applications and Technologies2020-07-052020-07-202020-08-07
cb1FMCADFormal Methods in Computer-Aided Design2020-05-092020-07-022020-09-21
caTrustComInternational Conference on Trust, Security and Privacy in Computing and Communications2020-08-152020-09-292020-12-29
cb4FMICSInternational Conference on Formal Methods for Industrial Critical Systems2020-05-222020-07-012020-09-02
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-01-242020-03-162020-07-15
cbb1ICANNInternational Conference on Artificial Neural Networks2020-04-302020-06-302020-09-15
aa*a1OSDIUSENIX Symposium on Operating Systems Design and Implementation2020-05-052020-07-242020-11-04