Basic Information
Name: Frank Xu
Institution: School of Computer Science and Engineering
Registration: 2017-10-15
Score: 2123
CV
Tracked Conferences
Showing 41-50 of 53 items.
CCFCOREQUALISShortFull NameSubmissionNotificationConference
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
cb2IDEALInternational Conference on Intelligent Data Engineering and Automated Learning2023-06-122023-07-312023-11-22
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
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
Attend Conferences
Showing 1-2 of 2 items.
CCFCOREQUALISShortFull NameConferenceLocation
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
ab1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
Showing 1-2 of 2 items.
Full NameConferenceLocation
International Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
International Symposium on Formal Methods2018-07-15Oxford, UK
Tracked Journals
Showing 21-23 of 24 items.
CCFFull NameImpact FactorPublisherISSN
bJournal of Systems and Software4.1Elsevier0164-1212
cIEEE Transactions on Industrial Informatics11.7IEEE1551-3203
aIEEE Transactions on Dependable and Secure Computing7.5IEEE1545-5971
Showing 21-23 of 24 items.
Full NameImpact FactorPublisher
Journal of Systems and Software4.1Elsevier
IEEE Transactions on Industrial Informatics11.7IEEE
IEEE Transactions on Dependable and Secure Computing7.5IEEE
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.