Basic Information
Name: Shengxin Dai
Institution: Sichuan University
Registration: 2015-04-17
Score: 382
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a1ICSEInternational Conference on Software Engineering2020-08-28 2021-05-23
cb1FMCADFormal Methods in Computer-Aided Design2020-05-092020-07-022020-09-21
cb1ICFEMInternational Conference on Formal Engineering Methods2020-05-012020-06-192020-11-02
b1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2020-04-182020-06-292020-09-01
ShortFull NameSubmissionConference
ICSEInternational Conference on Software Engineering2020-08-282021-05-23
FMCADFormal Methods in Computer-Aided Design2020-05-092020-09-21
ICFEMInternational Conference on Formal Engineering Methods2020-05-012020-11-02
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2020-04-182020-09-01
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
No results found.
Full NameConferenceLocation
No results found.
Tracked Journals
CCFFull NameImpact FactorPublisherISSN
IEEE Transactions on Emerging Topics in Computing4.989IEEE2168-6750
cIntegration, the VLSI Journal1.150Elsevier0167-9260
cFrontiers of Computer Science0.434Springer2095-2228
bJournal of Systems and Software2.559Elsevier0164-1212
bJournal of Parallel and Distributed Computing1.819Elsevier0743-7315
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.