Basic Information
Name: Frank Xu
Institution: School of Computer Science and Engineering
Registration: 2017-10-15
Score: 1737
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
baa2CADEInternational Conference on Automated Deduction2017-02-112017-04-222017-08-06
ShortFull NameSubmissionConference
CADEInternational Conference on Automated Deduction2017-02-112017-08-06
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
bb1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
Full NameConferenceLocation
International Symposium on Formal Methods2018-07-15Oxford, UK
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
bComputers & Security3.062Elsevier0167-4048
bJournal of Systems and Software2.559Elsevier0164-1212
IEEE Transactions on Industrial Informatics7.377IEEE1551-3203
aIEEE Transactions on Dependable and Secure Computing6.404IEEE1545-5971
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.
Tracked Jobs
Job TitleEmployerJob Location
No results found.
Job TitleEmployerJob Location
No results found.
Viewed Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
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