Basic Information
Name: Frank Xu
Institution: School of Computer Science and Engineering
Registration: 2017-10-15
Score: 2123
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2023-03-012023-04-202023-07-01
aa*a2LICSIEEE Symposium on Logic in Computer Science2023-01-182023-04-052023-06-26
cba2COMPSACInternational Computer Software and Applications Conference2023-01-152023-04-012023-06-26
NFMNASA Formal Methods Symposium2022-12-092023-02-202023-05-16
aa*S&PIEEE Symposium on Security and Privacy2022-12-022023-03-102023-05-22
aa*a1PLDIACM SIGPLAN conference on Programming Language Design and Implementation2022-11-102023-02-242023-06-19
ba*a1AAMASInternational Joint Conference on Autonomous Agents and Multi-agent Systems2022-10-212023-01-042023-05-29
aa1TACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2022-10-132022-12-222023-04-22
bETAPSEuropean Joint Conferences on Theory and Practice of Software2022-10-132022-12-222023-04-22
bb1FMInternational Symposium on Formal Methods2022-09-042022-11-152023-03-06
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
bb1FMInternational Symposium on Formal Methods2018-07-15Oxford, UK
Full NameConferenceLocation
International Symposium on Theoretical Aspects of Software Engineering2020-07-15Hangzhou, China
International Symposium on Formal Methods2018-07-15Oxford, UK
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
bJournal of Parallel and Distributed Computing3.734Elsevier0743-7315
bIEEE Transactions on Services Computing5.823IEEE1939-1374
aArtificial Intelligence9.088Elsevier0004-3702
cFuture Generation Computer Systems7.307Elsevier0167-739X
bKnowledge and Information Systems2.822Springer0219-1377
cKnowledge-Based Systems8.038Elsevier0950-7051
bData Mining and Knowledge Discovery3.670Springer1384-5810
bRequirements Engineering2.273Springer0947-3602
bIET Software0.733IET1751-8806
bFormal Methods in System Design0.442Springer0925-9856
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
No results found.
ShortFull NameSubmissionConference
No results found.
Viewed Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.